diff --git a/README.md b/README.md index 98ba9c0ea..c738067cc 100644 --- a/README.md +++ b/README.md @@ -93,11 +93,11 @@ for example $ docker run -it -v `pwd`:/src echidna echidna-test /src/examples/solidity/basic/flags.sol ``` - If you'd prefer to build from source, use [Stack](https://docs.haskellstack.org/en/stable/README/). `stack install` should build and compile `echidna-test` in `~/.local/bin`. You will need to link against libreadline and libsecp256k1 (built with recovery enabled), which should be installed with the package manager of your choosing. -Additionally, you need to install the latest release of [libff](https://github.com/scipr-lab/libff) (you can take a look to [this script](.travis/install-libff.sh) used in our CI tests) +Additionally, you need to install the latest release of [libff](https://github.com/scipr-lab/libff) (you can take a look to [this script](.travis/install-libff.sh) used in our CI tests). +Some linux distributions do not ship static libraries for certain things that Haskell needs, e.g. archlinux, which will cause `stack build` to fail with linking errors because we use the `-static` flag. Removing these from `package.yaml` should get everything to build if you are not looking for a static build. If you're getting errors building related to linking, try tinkering with `--extra-include-dirs` and `--extra-lib-dirs`.