search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

No mention of libgmp3-dev dependency #47

Closed andrewlvovsky closed 5 years ago

andrewlvovsky commented 5 years ago

When making Herbgrind on a fresh install of Ubuntu 16.04, I was getting the following error:

checking for __gmpz_init in -lgmp... no
configure: error: libgmp not found or uses a different ABI (including static vs shared)

A fix for this was simply running sudo apt-get install libgmp3-dev.

HazardousPeach commented 5 years ago

Huh, you really shouldn't need a system install of GMP, because Herbgrind unpacks and installs it's own version. Could you post the full makefile output?

andrewlvovsky commented 5 years ago

Sure, I've included a txt of the make results here: make_results.txt

HazardousPeach commented 5 years ago

Hmm. So I'm not quite sure what's going wrong, and having a little trouble reproducing your issue since a lot depends on gmp on my system. Will continue to look into it.

HazardousPeach commented 5 years ago

This issue is fixed in 1867ffb