Changeset 0f95c48 in git

Timestamp:

Jun 29, 2020, 12:23:50 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

dd9c128e5b8a3ed58205fcbddc6de82c0c77819a

Parents:

bcbd9673baf0c05725db1a9cfe641f7a0b46645f

Message:

factory: without both NTL and FLINT

File:

• factory/cf_gcd.cc (modified) (1 diff)

factory/cf_gcd.cc

@@ -101 +101 @@
   if ( getCharacteristic() != 0 )
   {
+    if (0) ; // dummy, to be able to build without NTL and FLINT
     #if defined(HAVE_FLINT) && ( __FLINT_RELEASE >= 20503)
     if ( isOn( SW_USE_FL_GCD_P)