name: language-boogie
version: 0.1
synopsis: Interpreter and language infrastructure for Boogie.
description: Boogaloo is an interpreter and run-time assertion checker for the Boogie intermediate verification language.
The package also provides a language infrastructure library, including a Boogie AST, parser, type checker, and pretty-printer.
homepage: https://bitbucket.org/nadiapolikarpova/boogaloo
license: BSD3
license-file: LICENSE
author: Nadia Polikarpova
maintainer: nadia.polikarpova@gmail.com
category: Language
build-type: Simple
cabal-version: >=1.8
source-repository head
type: hg
location: https://bitbucket.org/nadiapolikarpova/boogaloo
flag boogaloo
Description: Build the boogaloo executable
Default: True
flag tests
Description: Build boogaloo-tests executable
Default: False
library
exposed-modules: Language.Boogie.Util, Language.Boogie.TypeChecker, Language.Boogie.Tokens, Language.Boogie.Tester, Language.Boogie.PrettyPrinter, Language.Boogie.Position, Language.Boogie.Parser, Language.Boogie.Interpreter, Language.Boogie.BasicBlocks, Language.Boogie.AST, Language.Boogie.DataFlow, Language.Boogie.NormalForm, Language.Boogie.Intervals
-- other-modules:
build-depends: base ==4.5.*, cmdargs ==0.10.*, random ==1.0.*, time ==1.4.*, containers ==0.4.*, mtl ==2.1.*, pretty ==1.1.*, parsec ==3.1.*, transformers ==0.3.*
executable boogaloo
main-is: Boogaloo.hs
build-depends: base ==4.5.*, language-boogie ==0.1.*, containers ==0.4.*, parsec ==3.1.*, cmdargs ==0.10.*, random ==1.0.*, time ==1.4.*, mtl ==2.1.*, pretty ==1.1.*, transformers ==0.3.*
If !flag(boogaloo)
buildable: False
executable boogaloo-tests
main-is: Tests.hs
build-depends: base ==4.5.*, language-boogie ==0.1.*, containers ==0.4.*, filepath ==1.3.*, parsec ==3.1.*, HUnit ==1.2.*, mtl ==2.1.*, pretty ==1.1.*, transformers ==0.3.*
If !flag(tests)
buildable: False