From dcd0ec7eb46603d3758ed58e3b20f93baefff9bd Mon Sep 17 00:00:00 2001
From: Thierry Martinez <thierry.martinez@inria.fr>
Date: Thu, 27 Jul 2023 00:19:56 +0200
Subject: [PATCH] Fix #19: add gmp_prefix for configuring mpfr

`-I$gmp_prefix/include` is added to CC flags for looking to MPFR
headers and getting MPFR version major.
---
 configure | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 3ddc6b4..34419cf 100755
--- a/configure
+++ b/configure
@@ -1,11 +1,9 @@
 #! /bin/sh
-
 # configuration script for mlgmpidl
 # based on the configure script from apron
 #
 # generates automatically a suitable Makefile.config
 
-
 ##############################################
 # help
 #######
@@ -284,14 +282,14 @@ if test $? -eq 0; then err "GMP not found, set GMP_PREFIX"; fi
 gmp_prefix="$prefix"
 
 if test "x$mpfr_prefix" != "x"; then MPFR_PREFIX="$mpfr_prefix"; fi
-checkprefix "$cc $cflags" mpfr.h mpfr "$MPFR_PREFIX"
+checkprefix "$cc $cflags -I$gmp_prefix/include" mpfr.h mpfr "$MPFR_PREFIX"
 if test $? -eq 0; then err "MPFR not found, set MPFR_PREFIX"; fi
 mpfr_prefix="$prefix"
 
 # Get MPFR major version:
 
 mpfr_cflags=""
-test "x$mpfr_prefix" != "x" && mpfr_cflags="-I$mpfr_prefix/include";
+test "x$mpfr_prefix" != "x" && mpfr_cflags="-I$gmp_prefix/include -I$mpfr_prefix/include";
 mpfr_version_major=$( echo MPFR_VERSION_MAJOR \
 			  | "$cc" $mpfr_cflags -imacros mpfr.h -E -P - \
 			  | "$grep" '[^[:blank:]]' )