Changeset 1733ed in git for m4


Ignore:
Timestamp:
Apr 3, 2021, 2:44:29 AM (3 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
aaa6f6460d57900fc385824435079130eedc9ba5
Parents:
a6066346d52c8c0689e6c1366c1a4d6badfcb3c1
git-author:
Matthias Koeppe <mkoeppe@math.ucdavis.edu>2021-04-02 17:44:29-07:00
git-committer:
Matthias Koeppe <mkoeppe@math.ucdavis.edu>2021-04-03 09:43:28-07:00
Message:
m4/flint-check.m4: In the search loop, put FLINT_CFLAGS to the front of CFLAGS; use AC_CHECK_HEADER instead of 'test -r'
File:
1 edited

Legend:

Unmodified
Added
Removed
  • m4/flint-check.m4

    ra60663 r1733ed  
    4444
    4545        # we suppose that mpfr and mpir to be in the same place or available by default
    46         CFLAGS="${BACKUP_CFLAGS} ${GMP_CPPFLAGS}"
     46        CFLAGS=" ${GMP_CPPFLAGS} ${BACKUP_CFLAGS}"
    4747        LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUP_LIBS}"
    4848
     
    6060        for FLINT_HOME in ${FLINT_HOME_PATH}
    6161        do
    62                 if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
    6362
    6463                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
     
    6665
    6766        # we suppose that mpfr and mpir to be in the same place or available by default
    68                 CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CPPFLAGS}"
     67                CFLAGS="${FLINT_CFLAGS} ${GMP_CPPFLAGS} ${BACKUP_CFLAGS}"
    6968                LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUP_LIBS}"
    7069
     70                AC_CHECK_HEADER([flint/fmpz.h], [
    7171                AC_CHECK_LIB(flint,fmpz_init,
    7272                [flint_found="yes"],
     
    7474                []
    7575                )
     76                ])
    7677                if test "x$flint_found" = "xyes" ; then
    7778                    break
    7879                  fi
    79                 fi
    8080        done
    8181fi
Note: See TracChangeset for help on using the changeset viewer.