-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsimpleabstractor.cabal
24 lines (22 loc) · 1.29 KB
/
simpleabstractor.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
-- Initial simpleabstractor.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: simpleabstractor
version: 0.1.0.0
synopsis: Simple abstractor for Termite project
-- description:
license: BSD3
license-file: LICENSE
author: Adam Walker
maintainer: [email protected]
copyright: 2014 Adam Walker
-- category:
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
exposed-modules: SimpleAbstractor.AST, SimpleAbstractor.Analysis, SimpleAbstractor.Backend, SimpleAbstractor.CompileHelpers, SimpleAbstractor.Parser, SimpleAbstractor.Predicate, SimpleAbstractor.Resolve, SimpleAbstractor.TopLevel
-- other-modules:
other-extensions: GADTs, DeriveFunctor, DeriveFoldable, DeriveTraversable, OverloadedStrings, RecordWildCards, PolymorphicComponents, ScopedTypeVariables
build-depends: base >=4.6 && <4.8, mtl >=2.1 && <2.3, containers >=0.5 && <0.6, text >=1.1 && <1.2, cudd >=0.1 && <0.2, parsec >=3.1 && <3.2, bifunctors ==4.1.*, safe ==0.3.*, tuple ==0.2.*, util ==0.1.*, wl-pprint-text ==1.1.*, errors ==1.4.*, synthesis
-- hs-source-dirs:
default-language: Haskell2010