forked from crytic/echidna
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.yaml
115 lines (104 loc) · 2.16 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
name: echidna
author: Trail of Bits <[email protected]>
maintainer: Trail of Bits <[email protected]>
version: 2.0.5
# https://github.com/haskell/cabal/issues/4739
ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS -optP-Wno-nonportable-include-path
dependencies:
- base
- aeson
- base16-bytestring
- binary
- brick
- bytestring
- containers
- data-bword
- data-dword
- extra
- directory
- exceptions
- filepath
- hashable
- hevm
- html-entities
- lens
- ListLike
- MonadRandom
- mtl
- optparse-applicative
- process
- random
- rosezipper
- semver
- split
- text
- transformers
- time
- unix
- unliftio
- utf8-string
- unordered-containers
- vector
- vector-instances
- vty
- word-wrap
- yaml
- http-conduit
- html-conduit
- xml-conduit
language: GHC2021
default-extensions:
- LambdaCase
- OverloadedStrings
- DuplicateRecordFields
- NoFieldSelectors
- OverloadedRecordDot
library:
source-dirs: lib/
executables:
echidna:
main: Main.hs
source-dirs: src/
dependencies: echidna
when:
- condition: os(linux) && flag(static)
ghc-options:
- -static
- -O2
cc-options: -static
ld-options: -static -pthread
- condition: os(linux)
ghc-options:
- -O2
ld-options: -pthread
- condition: os(darwin)
extra-libraries: c++
ld-options: -Wl,-keep_dwarf_unwind
tests:
echidna-testsuite:
main: Spec.hs
source-dirs: src/test
dependencies:
- echidna
- tasty
- tasty-hunit
- tasty-quickcheck
when:
- condition: os(linux) && flag(static)
ghc-options:
- -static
- -O2
cc-options: -static
ld-options: -static -pthread
- condition: os(linux)
ghc-options:
- -O2
ld-options: -pthread
- condition: os(darwin)
extra-libraries: c++
ld-options: -Wl,-keep_dwarf_unwind
flags:
static:
description: Pass -static to ghc when linking the stack binary.
manual: true
default: false