dyld: Library not loaded: libff.dylib

[PaulRBerg]

I ran these steps:

1. Download the v1.5.1 release from the Releases page
2. Unzip the tar.gz archive
3. Open the terminal and run ./echidna-test --version

And got this error:

dyld: Library not loaded: libff.dylib
Referenced from: /Users/paulrberg/Binaries/./echidna-test
Reason: image not found
Abort trap: 6

Using macOS@10.15.7.

[ggrieco-tob]

Hi!, thanks for testing our binary for OSX. You should have two additional libraries installed:

• libff (https://github.com/crytic/echidna/blob/master/.github/scripts/install-libff.sh)
• libsecp256k1 (https://github.com/crytic/echidna/blob/master/.github/scripts/install-libsecp256k1.sh)

Can you run these scripts to check if it solves this. Otherwise, you can use our docker container to run Echidna in OSX.

[PaulRBerg]

Thanks @ggrieco-tob, I ended up using Docker, it was much easier.

I think that it'd be worth it to mention that these libraries have to be installed when using the macOS binary.

[PaulRBerg]

For what it's worth, I just ran both of those scripts:

HOST_OS=macOS ./.github/scripts/install-libff.sh
HOST_OS=macOS ./.github/scripts/install-libsecp256k1.sh

And I reloaded my terminal, but I'm still getting the same error as in my original post.

[ggrieco-tob]

Uhm, interesting. We will investigate this issue. Let's keep this issue open. Thanks for the report. 🙂

[PaulRBerg]

Happy to help. Sorry to bug you - but do you happen to know what's going on in this other issue?

crytic/crytic-compile#115

[ggrieco-tob]

Sure, let me check that.

[fabiohild]

Ran into the same problem today. Installing libff with the bash script or from other sources does not seem to work. I'm on MacOS Mohave. Let me know if I can provide any useful info, will use the Docker container for now. Thanks!

[elopez]

@fabiohild @PaulRBerg could you try out the binaries from the draft PR above and see if they work any better? You should not need to build/install libff nor libsecp256k1, as they are bundled in the zip file.

https://github.com/crytic/echidna/actions/runs/323365632

[fabiohild]

Hey @elopez ,

It didn't work out of the box, but installing libgmp (through homebrew) was enough to get it working, it might be worth including it along with the binary too.

Thanks a lot!

[ggrieco-tob]

@elopez can you modify your PR to include libgmp or detail how to install that library in the README?

[elopez]

I've updated the PR and added a copy of libgmp as well, here's a fresh run if you want to try them out again.

https://github.com/crytic/echidna/actions/runs/350638716

[ggrieco-tob]

This should be fixed already. We don't have any release, but you can already try the MacOS nightly binaries.