From 904ff55c08b07b13261ba08c2e4401c26af64cc4 Mon Sep 17 00:00:00 2001 From: Will Song Date: Mon, 24 Feb 2020 11:42:46 -0800 Subject: [PATCH] update README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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`.