/
lotos.cabal
46 lines (44 loc) · 1.6 KB
/
lotos.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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
name: lotos
version: 0.1.0.0
synopsis: Tools for the LOTOS process calculus
-- description:
homepage: https://github.com/jameysharp/lotos
license: GPL-2
license-file: LICENSE
author: Jamey Sharp
maintainer: jamey@minilop.net
-- copyright:
category: Language
build-type: Simple
cabal-version: >=1.8
library
exposed-modules: LOTOS.AST,
LOTOS.AST.Util,
LOTOS.Controllable,
LOTOS.Parser,
LOTOS.Simplify,
LOTOS.Specialize,
LOTOS.Synthesize,
LOTOS.Trace,
LOTOS.Util
-- other-modules:
ghc-options: -Wall -fno-warn-name-shadowing
build-depends: base ==4.6.*,
containers ==0.5.*,
language-c ==0.4.*,
parsec ==3.1.*,
pretty ==1.1.*,
RepLib ==0.5.*,
transformers ==0.3.*,
unbound ==0.4.*
executable lotos-eater
main-is: lotos-eater.hs
ghc-options: -Wall -Werror -fno-warn-name-shadowing
build-depends: base ==4.6.*,
containers ==0.5.*,
language-c ==0.4.*,
parsec ==3.1.*,
pretty ==1.1.*,
RepLib ==0.5.*,
transformers ==0.3.*,
unbound ==0.4.*