mirror of https://github.com/crytic/echidna
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
95 lines
1.5 KiB
95 lines
1.5 KiB
name: echidna
|
|
|
|
author: Trail of Bits <echidna-dev@trailofbits.com>
|
|
maintainer: Trail of Bits <echidna-dev@trailofbits.com>
|
|
|
|
version: 2.0.0
|
|
|
|
ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS
|
|
|
|
dependencies:
|
|
- base
|
|
- aeson
|
|
- ansi-terminal
|
|
- base16-bytestring
|
|
- binary
|
|
- brick
|
|
- base16-bytestring
|
|
- bytestring
|
|
- containers
|
|
- data-dword
|
|
- data-has
|
|
- deepseq
|
|
- extra
|
|
- directory
|
|
- exceptions
|
|
- filepath
|
|
- hashable
|
|
- hevm
|
|
- lens
|
|
- lens-aeson
|
|
- ListLike
|
|
- megaparsec
|
|
- MonadRandom
|
|
- mtl
|
|
- optparse-applicative
|
|
- process
|
|
- random
|
|
- rosezipper
|
|
- semver
|
|
- sbv
|
|
- stm
|
|
- split
|
|
- temporary
|
|
- text
|
|
- transformers
|
|
- time
|
|
- unix
|
|
- unliftio
|
|
- unliftio-core
|
|
- utf8-string
|
|
- unordered-containers
|
|
- vector
|
|
- vector-instances
|
|
- vty
|
|
- wl-pprint-annotated
|
|
- word8
|
|
- yaml
|
|
|
|
default-extensions:
|
|
- OverloadedStrings
|
|
|
|
library:
|
|
source-dirs: lib/
|
|
|
|
executables:
|
|
echidna-test:
|
|
main: Main.hs
|
|
source-dirs: src/
|
|
dependencies: echidna
|
|
when:
|
|
- condition: os(linux)
|
|
ghc-options:
|
|
- -threaded
|
|
- -static
|
|
- -O2
|
|
cc-options: -static
|
|
ld-options: -static -pthread
|
|
|
|
tests:
|
|
echidna-testsuite:
|
|
main: Spec.hs
|
|
source-dirs: src/test
|
|
dependencies:
|
|
- echidna
|
|
- tasty
|
|
- tasty-hunit
|
|
- tasty-quickcheck
|
|
when:
|
|
- condition: os(linux)
|
|
ghc-options:
|
|
- -threaded
|
|
- -static
|
|
- -O2
|
|
cc-options: -static
|
|
ld-options: -static -pthread
|
|
|