/
hipspec.cabal
103 lines (82 loc) · 2.64 KB
/
hipspec.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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
name: hipspec
category: Theorem Provers
version: 3.0
synopsis: HipSpec
homepage: http://github.com/danr/hipspec
license: GPL-3
license-file: LICENSE
author: Dan Rosén
maintainer: danr@chalmers.se
homepage: http://www.github.com/danr/hipspec
bug-reports: http://www.github.com/danr/hipspec/issues
category: Language
build-type: Simple
cabal-version: >=1.6
tested-with: GHC == 7.8.3
synopsis: HipSpec: prove properties of Haskell programs, with theory exploration from QuickSpec
description: Upp till bevis!
source-repository head
type: git
location: git://github.com/danr/hipspec.git
flag Werror
default: False
manual: True
flag JSON
default: False
manual: True
library
hs-source-dirs: src
ghc-options: -Wall
if flag(Werror)
ghc-options: -Werror
exposed-modules:
HipSpec
build-depends:
base >= 4 && < 5,
QuickCheck >= 2.5,
quickspec == 0.9.6
executable hipspec
hs-source-dirs: src
main-is: HipSpec/Main.hs
if flag(JSON)
cpp-options: -DSUPPORT_JSON
build-depends:
aeson >= 0.6
if flag(Werror)
ghc-options: -Werror
ghc-options: -threaded -Wall -rtsopts -auto-all -dynamic
build-depends:
base >= 4 && < 5,
ghc-paths == 0.1.*,
containers >= 0.4,
template-haskell,
bytestring,
-- mtl-2.1 contains a severe bug
mtl >= 2.0 && < 2.1 || >= 2.1.1 && < 2.3,
pretty >= 1.1,
pretty-show >= 1.5 && < 2,
geniplate >= 0.6,
genifunctors >= 0.2 && <= 0.3,
bifunctors,
void >= 0.6 && <= 1,
transformers >= 0.3,
split >= 0.1,
unification-fd >= 0.9 && < 1.0,
ghc,
ghc-prim,
-- QuickSpec
quickspec == 0.9.6,
-- Printing messages
time >= 1.4,
-- Command-line arguments
cmdargs >= 0.9,
-- Structural induction
structural-induction == 0.1,
-- Running Theorem Provers
stm-promise >= 0.0.3.1 && < 0.1,
process >= 1.0.1.1,
stm >= 2.3,
directory >= 1.0,
filepath >= 1.0,
jukebox >= 0.1 && < 1,
SHA >= 1.6 && < 2