]> Git — Sourcephile - comptalang.git/blob - calculus/hcompta-calculus.cabal
Ajout : Calculus.Lambda.Omega.Explicit.
[comptalang.git] / calculus / hcompta-calculus.cabal
1 author: Julien Moutinho <julm+hcompta@autogeree.net>
2 bug-reports: http://doc.autogeree.net/hcompta/bugs
3 build-type: Simple
4 cabal-version: >= 1.8
5 category: Finance
6 -- data-dir: data
7 -- data-files:
8 description: Accounting calculus.
9 extra-source-files: Test.hs
10 extra-tmp-files:
11 homepage: http://doc.autogeree.net/coop/hcompta
12 license: GPL
13 license-file: COPYING
14 maintainer: Julien Moutinho <julm+hcompta@autogeree.net>
15 name: hcompta-calculus
16 stability: experimental
17 synopsis: Accounting calculus based upon a typed lambda-calculus.
18 tested-with: GHC==7.8.4
19 version: 0.0.0
20
21 source-repository head
22 location: git://git.autogeree.net/hcompta
23 type: git
24
25 Flag dev
26 Default: False
27 Description: Turn on development settings.
28
29 Flag dump
30 Default: False
31 Description: Dump some intermediate files.
32 Manual: True
33
34 Flag exe
35 Description: Build only executable.
36 Default: False
37
38 Flag lib
39 Description: Build only library.
40 Default: False
41
42 Flag prof
43 Default: False
44 Description: Turn on profiling settings.
45
46 Flag threaded
47 Default: True
48 Description: Enable threads.
49 Manual: True
50
51 Library
52 extensions: NoImplicitPrelude
53 ghc-options: -Wall -fno-warn-tabs
54 if flag(dev)
55 cpp-options: -DDEVELOPMENT
56 ghc-options:
57 -- -ddump-splices
58 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
59 -- -fno-warn-type-defaults -fno-warn-orphans
60 else
61 ghc-options: -O2
62 if flag(dump)
63 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
64 if flag(exe)
65 Buildable: False
66 if flag(prof)
67 cpp-options: -DPROFILING
68 ghc-options: -O2 -fprof-auto
69 -- default-language: Haskell2010
70 exposed-modules:
71 Calculus.Abstraction.DeBruijn.Generalized
72 Calculus.Lambda.Omega.Explicit
73 Calculus.Lambda.Omega.Explicit.Read
74 Calculus.Lambda.Omega.Implicit
75 build-depends:
76 base >= 4.6 && < 5
77 , array
78 , containers >= 0.5 && < 0.6
79 , deepseq >= 1.4 && < 1.5
80 , directory
81 , filepath
82 , parsec >= 3.1.2 && < 4
83 , semigroups
84 , strict
85 , test-framework
86 , test-framework-hunit
87 , text
88 , text-format
89 , time
90 , transformers >= 0.4 && < 0.5
91
92 Executable hcompta-calculus-explicit
93 extensions: NoImplicitPrelude
94 ghc-options: -Wall -fno-warn-tabs
95 -main-is Calculus.Lambda.Omega.Explicit.REPL
96 if flag(threaded)
97 ghc-options: -threaded -rtsopts -with-rtsopts=-N
98 if flag(dev)
99 cpp-options: -DDEVELOPMENT
100 ghc-options:
101 else
102 ghc-options: -O2
103 if flag(prof)
104 cpp-options: -DPROFILING
105 ghc-options: -fprof-auto
106 if flag(lib)
107 Buildable: False
108 exposed-modules:
109 main-is: Calculus/Lambda/Omega/Explicit/REPL.hs
110 hs-source-dirs: .
111 build-depends:
112 base >= 4.6 && < 5
113 , ansi-terminal >= 0.4 && < 0.7
114 , bytestring
115 , containers >= 0.5 && < 0.6
116 , Decimal
117 , deepseq
118 , directory
119 , filepath
120 , haskeline >= 0.7 && < 0.8
121 , hcompta-calculus
122 , mtl >= 2.0
123 , parsec
124 , semigroups
125 , strict
126 , text
127 , text-format
128 , time
129 , transformers >= 0.4 && < 0.5