diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | Makefile.am | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2012-04-11 Niels Möller <nisse@lysator.liu.se> + + * Makefile.am (check-mini-gmp): Pass -I../.. in EXTRA_CFLAGS, to + locate gmp.h. + 2012-04-11 Marco Bodrato <bodrato@mail.dm.unipi.it> * mini-gmp/mini-gmp.h (mpz_root, mpz_rootrem): define (correctly). diff --git a/Makefile.am b/Makefile.am index 568ac1b99..c2e84e806 100644 --- a/Makefile.am +++ b/Makefile.am @@ -410,7 +410,7 @@ check-mini-gmp: MINI_GMP_DIR="$$abs_srcdir/mini-gmp" \ LDFLAGS="-L../../.libs" \ LIBS="-lgmp -lm" \ - CC="$(CC_FOR_BUILD)" EXTRA_CFLAGS="-g" check + CC="$(CC_FOR_BUILD)" EXTRA_CFLAGS="-g -I../.." check clean-mini-gmp: if [ -d mini-gmp/tests ] ; then \ |