Ethereum smart contract fuzzer
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.
 
 
 
 
 
echidna/package.yaml

142 lines
2.8 KiB

name: echidna
author: Trail of Bits <echidna-dev@trailofbits.com>
maintainer: Trail of Bits <echidna-dev@trailofbits.com>
version: 2.2.3
ghc-options:
- -O2
- -Wall
- -fno-warn-orphans
# https://github.com/haskell/cabal/issues/4739
- -optP-Wno-nonportable-include-path
- -fspecialize-aggressively
- -fexpose-all-unfoldings
dependencies:
- base
- aeson
- async
- base16-bytestring
- binary
- bytestring
- code-page
- containers
- data-bword
- data-dword
- deepseq
- extra
- directory
- exceptions
- filepath
- hashable
- hevm
- html-entities
- ListLike
- MonadRandom
- mtl
- optparse-applicative
- optics
- optics-core
- process
- random
- rosezipper
- semver
- split
- template-haskell
- text
- transformers
- time
- unliftio
- utf8-string
- vector
- with-utf8
- word-wrap
- yaml
- http-conduit
- html-conduit
- warp
- wai-extra
- xml-conduit
- strip-ansi-escape
language: GHC2021
default-extensions:
- DataKinds
- DuplicateRecordFields
- LambdaCase
- MultiWayIf
- NoFieldSelectors
- OverloadedLabels
- OverloadedRecordDot
- OverloadedStrings
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
ghc-options:
- -threaded
- '"-with-rtsopts=-A64m -N"'
when:
- condition: (os(linux) || os(windows)) && flag(static)
ghc-options:
- -optl-static
- condition: os(linux) || os(windows)
ghc-options:
- -O2
- -optl-pthread
- condition: os(darwin)
extra-libraries: c++
ld-options: -Wl,-keep_dwarf_unwind
ghc-options: -fcompact-unwind
- condition: os(windows) && impl(ghc >= 9.4)
dependencies: system-cxx-std-lib
- condition: os(windows) && impl(ghc < 9.4)
extra-libraries: stdc++
tests:
echidna-testsuite:
main: Spec.hs
source-dirs: src/test
dependencies:
- echidna
- tasty
- tasty-hunit
- tasty-quickcheck
when:
- condition: (os(linux) || os(windows)) && flag(static)
ghc-options:
- -optl-static
- condition: os(linux) || os(windows)
ghc-options:
- -O2
- -optl-pthread
- condition: os(darwin)
extra-libraries: c++
ld-options: -Wl,-keep_dwarf_unwind
ghc-options: -fcompact-unwind
- condition: os(windows) && impl(ghc >= 9.4)
dependencies: system-cxx-std-lib
- condition: os(windows) && impl(ghc < 9.4)
extra-libraries: stdc++
flags:
static:
description: Pass -static to ghc when linking the stack binary.
manual: true
default: false