Changeset 0f95c48 in git for factory/cf_gcd.cc

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

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)