name:                why3
version:             0.8
synopsis:            Haskell support for the Why3 input format.
license:             MIT
license-file:        LICENSE
author:              Galois, Inc.
maintainer:          sjw@galois.com
copyright:           2012, 2014, 2015, Galois Inc.
category:            Languages
build-type:          Simple
cabal-version:       >=1.8
tested-with:         GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.1

description: This package implements the Why3 language parser and printer.

extra-source-files:
  CHANGELOG.md

Library
  HS-source-dirs: src
  GHC-options: -Wall
  Exposed-modules:
    Language.Why3.AST
    Language.Why3.CSE
    Language.Why3.Lens
    Language.Why3.Lexer
    Language.Why3.Names
    Language.Why3.PP
    Language.Why3.Parser
  Other-modules:
    Language.Why3.LexerUtils
  Build-depends:
    array       >= 0.4 && < 0.6,
    base        >= 4.6 && < 4.9,
    bytestring  >= 0.10 && < 0.11,
    containers  >= 0.5 && < 0.6,
    deepseq     >= 1.3 && < 1.5,
    directory   >= 1.2 && < 1.3,
    filepath    >= 1.3 && < 1.5,
    monadLib    >= 3.7 && < 3.8,
    pretty      >= 1.1 && < 1.2,
    pretty-show >= 1.6 && < 1.7,
    profunctors >= 5.1 && < 5.2,
    text        >= 1.2 && < 1.3

  build-tools: alex, happy

source-repository head
  type: git
  location: http://github.com/GaloisInc/why3