source: git/m4/flint-check.m4 @ 2e7e3dc

# Check for FLINT
# Bradford Hovinen, 2001-06-13
# Modified by Pascal Giorgi, 2003-12-03
# Inspired by gnome-bonobo-check.m4 by Miguel de Icaza, 99-04-12
# Stolen from Chris Lahey       99-2-5
# stolen from Manish Singh again
# stolen back from Frank Belew
# stolen from Manish Singh
# Shamelessly stolen from Owen Taylor

dnl Test for FLINT and define
dnl FLINT_CFLAGS and FLINT_LIBS

AC_DEFUN([LB_CHECK_FLINT],
[
DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"

AC_ARG_WITH(flint,
[  --with-flint=<path>|yes|no  Use FLINT library. If argument is no, you do not have
                            the library installed on your machine (set as
                            default). If argument is yes or <empty> that means
                            the library is reachable with the standard search
                            path (/usr or /usr/local). Otherwise you give the
                            <path> to the directory which contain the library.
             ],
             [if test "x$withval" = xyes ; then
                        FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"
              elif test "x$withval" != xno ; then
                        FLINT_HOME_PATH="$withval"
             fi],
             [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])

dnl Check for existence
BACKUP_CFLAGS=${CFLAGS}
BACKUP_LIBS=${LIBS}

AC_LANG_PUSH([C])

flint_found="no"
dnl check for system installed libraries if FLINT_HOME_PATH is the default
if test "$FLINT_HOME_PATH" = "$DEFAULT_CHECKING_PATH" ; then
        FLINT_CFLAGS=""
        FLINT_LIBS="-lflint -lmpfr -lgmp"

        # we suppose that mpfr and mpir to be in the same place or available by default
        CFLAGS="${BACKUP_CFLAGS} ${GMP_CPPFLAGS}"
        LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUP_LIBS}"

        AC_CHECK_HEADER([flint/fmpz.h],
                [AC_CHECK_LIB(flint,fmpz_init,
                        [flint_found="yes"],
                        [],
                        [])],
                [],
                [])
fi

dnl if flint was not previously found, search FLINT_HOME_PATH
if test "x$flint_found" = "xno" ; then
        for FLINT_HOME in ${FLINT_HOME_PATH}
        do
                if test -r "$FLINT_HOME/include/flint/fmpz.h"; then

                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
                FLINT_LIBS="-L${FLINT_HOME}/lib -Wl,-rpath -Wl,${FLINT_HOME}/lib -lflint -lmpfr -lgmp"

        # we suppose that mpfr and mpir to be in the same place or available by default
                CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CPPFLAGS}"
                LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUP_LIBS}"

                AC_CHECK_LIB(flint,fmpz_init,
                [flint_found="yes"],
                [],
                []
                )
                fi
        done
fi

AC_LANG_POP([C])

CFLAGS=${BACKUP_CFLAGS}
LIBS=${BACKUP_LIBS}
#unset LD_LIBRARY_PATH

AC_MSG_CHECKING(for FLINT)

if test "x$flint_found" = "xyes" ; then
        AC_DEFINE(HAVE_FLINT,1,[Define if FLINT is installed])
        HAVE_FLINT=yes
        AC_MSG_RESULT(found)
else
        AC_MSG_RESULT(not found)
        FLINT_CFLAGS=""
        FLINT_LIBS=""
        FLINT_HOME=""
fi
AC_SUBST(FLINT_CFLAGS)
AC_SUBST(FLINT_LIBS)
AC_SUBST(FLINT_HOME)
])