|
|
|
|
name: echidna
|
|
|
|
|
|
|
|
|
|
author: Trail of Bits <echidna-dev@trailofbits.com>
|
|
|
|
|
maintainer: Trail of Bits <echidna-dev@trailofbits.com>
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
- bytestring
|
|
|
|
|
- code-page
|
|
|
|
|
- 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
|
|
|
|
|
- unliftio
|
|
|
|
|
- utf8-string
|
|
|
|
|
- unordered-containers
|
|
|
|
|
- vector
|
|
|
|
|
- vector-instances
|
|
|
|
|
- with-utf8
|
|
|
|
|
- word-wrap
|
|
|
|
|
- yaml
|
|
|
|
|
|
|
|
|
|
language: GHC2021
|
|
|
|
|
|
|
|
|
|
default-extensions:
|
|
|
|
|
- LambdaCase
|
|
|
|
|
- OverloadedStrings
|
|
|
|
|
|
|
|
|
|
- DuplicateRecordFields
|
|
|
|
|
- NoFieldSelectors
|
|
|
|
|
- OverloadedRecordDot
|
|
|
|
|
|
|
|
|
|
library:
|
|
|
|
|
source-dirs: lib/
|
|
|
|
|
|
|
|
|
|
when:
|
|
|
|
|
- condition: "!os(windows)"
|
|
|
|
|
cpp-options: -DINTERACTIVE_UI
|
|
|
|
|
dependencies:
|
|
|
|
|
- brick
|
|
|
|
|
- unix
|
|
|
|
|
- vty
|
|
|
|
|
|
|
|
|
|
executables:
|
|
|
|
|
echidna:
|
|
|
|
|
main: Main.hs
|
|
|
|
|
source-dirs: src/
|
|
|
|
|
dependencies: echidna
|
|
|
|
|
when:
|
|
|
|
|
- condition: (os(linux) || os(windows)) && 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
|
|
|
|
|
- condition: os(windows)
|
|
|
|
|
extra-libraries: stdc++
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
- condition: os(windows)
|
|
|
|
|
extra-libraries: stdc++
|
|
|
|
|
|
|
|
|
|
flags:
|
|
|
|
|
static:
|
|
|
|
|
description: Pass -static to ghc when linking the stack binary.
|
|
|
|
|
manual: true
|
|
|
|
|
default: false
|
