Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
proper nesting of tests
Browse files Browse the repository at this point in the history
  • Loading branch information
dimpase committed May 21, 2019
1 parent 37fa1a1 commit 4f6434c
Showing 1 changed file with 13 additions and 11 deletions.
24 changes: 13 additions & 11 deletions build/pkgs/flint/spkg-configure.m4
Original file line number Diff line number Diff line change
Expand Up @@ -13,22 +13,24 @@ dnl Just part the options here
*)
AC_MSG_ERROR([allowed values for --with-flint are system and install]);;
esac
case "$with_flint" in
system)
AC_CHECK_HEADER(flint/flint.h, [], [sage_spkg_install_flint=yes])
AC_CHECK_HEADER(flint/flint.h, [
dnl fmpz_mat_is_hadamard appears in Flint 2.5.0
AC_SEARCH_LIBS([fmpz_mat_is_hadamard], [flint], [], [sage_spkg_install_flint=yes])
AC_SEARCH_LIBS([fmpz_mat_is_hadamard], [flint], [
dnl check that NTL is linked in
AC_SEARCH_LIBS([fmpz_poly_get_ZZX], [flint], [break], [sage_spkg_install_flint=yes])
dnl
AC_MSG_CHECKING([that GC is not enabled in Flint... ])
AC_RUN_IFELSE([
AC_LANG_PROGRAM([[#include <flint/flint.h>]], [[return HAVE_GC;]])],
[AC_MSG_RESULT([GC not enabled. Good.])],
[AC_MSG_RESULT([GC enabled. Incompatible with Sage.])
sage_spkg_install_flint=yes])
AC_SEARCH_LIBS([fmpz_poly_get_ZZX], [flint], [
AC_MSG_CHECKING([that GC is not enabled in Flint... ])
AC_RUN_IFELSE([
AC_LANG_PROGRAM([[#include <flint/flint.h>]], [[return HAVE_GC;]])],
[AC_MSG_RESULT([GC not enabled. Good.])],
[AC_MSG_RESULT([GC enabled. Incompatible with Sage.])
sage_spkg_install_flint=yes])
], [sage_spkg_install_flint=yes])
], [sage_spkg_install_flint=yes])
], [sage_spkg_install_flint=yes])
if test x$sage_spkg_install_flint = xyes; then
AC_SUBST(SAGE_FLINT_PREFIX, ['$SAGE_LOCAL'])
AC_MSG_RESULT([using Sage's flint SPKG])
Expand Down

0 comments on commit 4f6434c

Please sign in to comment.