Skip to content

Commit a480af9

Browse files
committed
chg: adapt flint check macro to newer version of flint
1 parent d3befee commit a480af9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

factory/flint-check.m4

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -47,10 +47,10 @@ fi
4747
4848
for FLINT_HOME in ${FLINT_HOME_PATH}
4949
do
50-
if test -r "$FLINT_HOME/include/fmpz.h"; then
50+
if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
5151
5252
if test "x$FLINT_HOME" != "x/usr"; then
53-
FLINT_CFLAGS="-I${FLINT_HOME}/include"
53+
FLINT_CFLAGS="-I${FLINT_HOME}/include/flint"
5454
FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr -lmpir"
5555
else
5656
FLINT_CFLAGS=

0 commit comments

Comments
 (0)