Changeset 7fdedf in git for factory/int_pp.cc

Timestamp:

Jul 13, 2020, 5:52:25 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b9f50b373314e74e83c7c060a651dd2913e1f033')

Children:

2486f460fbcdd44c72acea7779937ed446323e1f

Parents:

7c7d2697b29c975a9f58a4232aedffacdabc13ec

Message:

factory: check for NTL/FLINT, p2

File:

• factory/int_pp.cc (modified) (2 diffs)

factory/int_pp.cc

@@ -13 +13 @@
 #include "imm.h"
 
-#if !defined(HAVE_NTL) && !defined(HAVE_FLINT)
+#ifdef HAVE_FLINT
+#include "FLINTconvert.h"
+#endif
+
+#if !defined(HAVE_NTL)
+#if !defined(HAVE_FLINT)||(__FLINT_RELEASE==20600)
 GLOBAL_VAR mpz_t InternalPrimePower::primepow;
 GLOBAL_VAR mpz_t InternalPrimePower::primepowhalf;
@@ -410 +415 @@
 //}}}
 #endif
+#endif