Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 6f4e8e9d authored by Andreas Enge's avatar Andreas Enge
Browse files

Add a configure check for FLINT version 3 or higher.

* configure.ac: Add a check and define or not HAVE_FLINT3.
parent 3d1f1f2c
No related branches found
No related tags found
No related merge requests found
...@@ -282,6 +282,23 @@ error ...@@ -282,6 +282,23 @@ error
[ [
AC_MSG_RESULT(yes) AC_MSG_RESULT(yes)
AC_DEFINE([HAVE_FLINT],[1],[Define to 1 if FLINT is present.]) AC_DEFINE([HAVE_FLINT],[1],[Define to 1 if FLINT is present.])
AC_MSG_CHECKING(for FLINT 3 or higher)
AC_COMPILE_IFELSE(
[AC_LANG_SOURCE(
[[
#include "flint/flint.h"
#if __FLINT_RELEASE < 30000
# error "FLINT version is less than 3.0.0"
error
#endif
]])],
[
AC_MSG_RESULT(yes)
AC_DEFINE([HAVE_FLINT3],[1],[Define to 1 if FLINT 3 or later is present.])
],
[
AC_MSG_RESULT(no)
])
], ],
[ [
AC_MSG_RESULT([no, only FLINT version >= 2.7.0 works with CM]) AC_MSG_RESULT([no, only FLINT version >= 2.7.0 works with CM])
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment