Installation error: library mpfr not found

[marti-mcfly]

Hi,

I keep getting an error when trying to run the ./configure script.

Specifically, the script is unable to find mpfr.h even though it is located in the prefix.
I have set MPFR_PREFIX environment path as well as the -mpfr-prefix argument to the same directory.

For some reason, with gmp, which is also locally installed, using the exact same procedure works.

See output below.

Cheers,
Matthias

looking for gmp in prefix /software/gmp-6.2.0/gmp-6.2.0/
include gmp.h: found
include gmp.h: found
library gmp: found
library gmp found with prefix /software/gmp-6.2.0/gmp-6.2.0/
looking for mpfr in prefix /home/hmt/ERAN/mpfr-4.1.0/
include mpfr.h: not found
include mpfr.h: not found
looking for mpfr in prefix /usr/local
include mpfr.h: not found
include mpfr.h: not found
looking for mpfr in prefix /usr
include mpfr.h: not found
include mpfr.h: not found
looking for mpfr in prefix /home/hmt
include mpfr.h: not found
include mpfr.h: not found
library mpfr not found
MPFR not found, set MPFR_PREFIX