From 5e8360560db59a1e66a71c73a8ea5d1dd9ccff0e Mon Sep 17 00:00:00 2001
From: Marco Bodrato <bodrato@mail.dm.unipi.it>
Date: Sun, 17 Nov 2019 00:12:24 +0100
Subject: mini-gmp: Enable testing with different limb sizes (types).

---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 5e5dc898b..f69f05218 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -442,7 +442,7 @@ check-mini-gmp:
 		MINI_GMP_DIR="$$abs_srcdir/mini-gmp" \
 		LDFLAGS="-L../../.libs" \
 		LIBS="-lgmp -lm" \
-		CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="-I../.." check
+		CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS) -I../.." check
 
 clean-mini-gmp:
 	if [ -d mini-gmp/tests ] ; then \
-- 
cgit v1.2.1