Changeset 7c00d6 in git

Timestamp:

Oct 18, 2012, 1:50:00 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

2d9fc3c572b958577b01f8be953e8e6b9ac7676c

Parents:

8fa570bc2512a954200ce7945519522f1072e7e2

git-author:

Martin Lee <martinlee84@web.de>2012-10-18 13:50:00+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-10-25 15:13:41+02:00

Message:

chg: adapted flint check macro due to changes in FLINT

File:

• m4/flint-check.m4 (modified) (1 diff)

m4/flint-check.m4

@@ -48 +48 @@
 for FLINT_HOME in ${FLINT_HOME_PATH} 
  do     
-if test -r "$FLINT_HOME/include/fmpz.h"; then
+if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
 
         if test "x$FLINT_HOME" != "x/usr"; then
-                FLINT_CFLAGS="-I${FLINT_HOME}/include"
+                FLINT_CFLAGS="-I${FLINT_HOME}/include/flint"
                 FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr -lmpir"
         else