Changeset 0f95c48 in git for factory

Timestamp:

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

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

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)