From 6f4e8e9ded1fb1bace8ef0e46b08718ffd0916fd Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas.enge@inria.fr>
Date: Tue, 23 May 2023 19:21:49 +0200
Subject: [PATCH] Add a configure check for FLINT version 3 or higher.
* configure.ac: Add a check and define or not HAVE_FLINT3.
---
configure.ac | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/configure.ac b/configure.ac
index 498fa08..42a73b3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -282,6 +282,23 @@ error
[
AC_MSG_RESULT(yes)
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])
--
GitLab