-
Notifications
You must be signed in to change notification settings - Fork 41
/
Copy pathpackage.yaml
124 lines (116 loc) · 2.69 KB
/
package.yaml
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
name: adverse
version: 0.0.0.1
github: "plsyssec/adverse"
license: GPL
author: "Adverse team"
maintainer: "[email protected]"
copyright: "2018 Adverse team"
extra-source-files:
- README.md
- ChangeLog.md
# Metadata used when publishing your package
# synopsis: Short description of your package
# category: Web
# To avoid duplicated efforts in documentation and dealing with the
# complications of embedding Haddock markup inside cabal files, it is
# common to point users to the README.md file.
description: Light-weight modular, symbolic execution for LLVM
dependencies:
- base >= 4.7 && < 5
library:
source-dirs: src
ghc-options:
- -Wall
dependencies:
- llvm-hs >= 9.0.1
- llvm-hs-pure >= 9.0.0
- llvm-hs-pretty >= 0.9.0.0
- text
- bytestring
- utf8-string
- containers
- hashable
- boolector >= 0.0.0.11
- mtl
- stm
- threads
- set-extra
- split
- filepath
- directory
- filemanip
executables:
sys:
main: Main.hs
source-dirs: app
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
- -Wall
dependencies:
- adverse
- filepath
- directory
- filemanip
- containers
- threads
- llvm-hs >= 6.2.0
- llvm-hs-pure >= 6.2.0
tests:
adverse-test:
main: Spec.hs
source-dirs: test
when:
- condition: false # this is an ugly hack to exclude the Bench module but include all other modules in the test/ directory (as is default). Couldn't figure out a better way to do this.
other-modules: Bench
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
- -Wall
dependencies:
- adverse
- directory
- tasty
- tasty-hunit
- tasty-golden
- criterion
- text
- bytestring
- containers
- unordered-containers
- llvm-hs
- llvm-hs-pure
- llvm-hs-pretty
- utf8-string
- stm
- threads
- mtl
- filemanip
- set-extra
benchmarks:
adverse-bench-tests: # run performance benchmarks on tests
main: Bench.hs
source-dirs: test
when:
- condition: false # this is an ugly hack to exclude the Spec module but include all other modules in the test/ directory (as is default). Couldn't figure out a better way to do this.
other-modules: Spec
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
- -Wall
dependencies:
- adverse
- tasty
- tasty-hunit
- tasty-golden
- criterion
- text
- bytestring
- containers
- llvm-hs
- llvm-hs-pure
- llvm-hs-pretty
- utf8-string