forked from GaloisInc/reopt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreopt.cabal
151 lines (135 loc) · 2.73 KB
/
reopt.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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
name: reopt
version: 0.1.0
author: Galois, Inc.
maintainer: [email protected]
build-type: Simple
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
flag enable-hpc
Description: Collect HPC coverage information.
Default: False
flag enable-arm
Description: Enable support for ARM binaries
Default: False
library
default-language: Haskell2010
build-depends:
base >= 4,
aeson,
ansi-wl-pprint,
bytestring,
containers,
elf-edit >= 0.34,
flexdis86 >= 0.1.1,
hashable,
language-c,
lens,
llvm-pretty >= 0.7.1.1,
macaw-base >= 0.3.14,
macaw-x86 >= 0.3.1,
mtl,
parameterized-utils >= 2.0.0.0.102,
pretty,
process,
reopt-vcg-ann,
text,
transformers,
unix,
unordered-containers,
vector
hs-source-dirs: src
exposed-modules:
Reopt
Reopt.Analysis.Domains.DiffEquations
Reopt.Analysis.Stack
Reopt.CFG.FnRep
Reopt.CFG.FnRep.X86
Reopt.CFG.FunctionCheck
Reopt.CFG.LLVM
Reopt.CFG.LLVM.X86
Reopt.CFG.Recovery
Reopt.CFG.RegisterUse
Reopt.CFG.StackDepth
Reopt.ExternalTools
Reopt.Header
Reopt.Hints
Reopt.Relinker
Reopt.Relinker.Object
Reopt.Relinker.Redirection
Reopt.Relinker.Relocations
Reopt.Utils.Hex
if flag(enable-arm)
cpp-options: -DSUPPORT_ARM
build-depends:
hvex,
macaw-arm-vex >= 0.1.0
ghc-options: -Wall
ghc-options: -fno-warn-unticked-promoted-constructors
ghc-prof-options: -O2 -fprof-auto-top
executable reopt
default-language: Haskell2010
build-depends:
base >= 4,
aeson,
ansi-wl-pprint,
bytestring,
containers,
cmdargs,
elf-edit,
filepath,
lens,
macaw-base,
macaw-x86,
parameterized-utils >= 0.1.6,
unordered-containers,
reopt,
reopt-vcg-ann
hs-source-dirs: reopt
main-is: Main_reopt.hs
other-modules:
Paths_reopt
if flag(enable-hpc)
ghc-options: -fhpc
ghc-options: -Wall
ghc-prof-options: -O2 -fprof-auto-top
executable reopt-relink
default-language: Haskell2010
build-depends:
base >= 4,
bytestring,
cmdargs,
elf-edit,
lens,
yaml,
reopt
hs-source-dirs: reopt-relink
main-is: Main_relink.hs
other-modules:
Paths_reopt
if flag(enable-hpc)
ghc-options: -fhpc
ghc-options: -Wall
ghc-prof-options: -O2 -fprof-auto-top
test-suite reopt-tests
type: exitcode-stdio-1.0
default-language: Haskell2010
ghc-options: -Wall
main-is: Main.hs
other-modules: ReoptTests
hs-source-dirs: tests
build-depends:
ansi-wl-pprint,
base,
bytestring,
containers,
elf-edit,
exceptions,
filemanip,
filepath,
macaw-base,
reopt,
temporary,
tasty,
tasty-hunit,
unordered-containers