when I excute $ make, it shows error message "configure: error: libmpfr not found or uses a different ABI (including static vs shared).
make: *** [Makefile:173: deps/mpc-64/herbgrind-install/lib/libmpc.a] Error 1", and the Makefile: 173 is
what should I do to solve it? Thanks
when I excute $ make, it shows error message "configure: error: libmpfr not found or uses a different ABI (including static vs shared). make: *** [Makefile:173: deps/mpc-64/herbgrind-install/lib/libmpc.a] Error 1", and the Makefile: 173 is what should I do to solve it? Thanks