Changeset f8d27e1 in git

Timestamp:

Jul 6, 2020, 12:23:58 AM (4 years ago)

Author:

Max Horn <max@…>

Branches:

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

Children:

d6c852edab73f91c0b7fd573de9f4cb9c4880d7b

Parents:

9e20b9f7749f3bf1b809cdfca51f8fdbbc25e754

Message:

Move FLINTrandom into factory to fix test suite crashes

Without this, `make check` runs into segfaults in tests that use factory but
not the full Singular library, as factory accesses FLINTrandom but does not
contain its definition.

Files:

• Singular/misc_ip.cc (modified) (2 diffs)
• factory/cf_random.cc (modified) (2 diffs)

Singular/misc_ip.cc

@@ -1328 +1328 @@
 * initialize components of Singular
 */
-#ifdef HAVE_FLINT
-extern "C" 
-{
-GLOBAL_VAR flint_rand_t FLINTrandom;
-}
-#endif
-
 void siInit(char *name)
 {
@@ -1397 +1390 @@
   siRandomStart=t;
   feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
-  #ifdef HAVE_FLINT
-  flint_randinit(FLINTrandom);
-  #endif
 
 // ressource table: ----------------------------------------------------

factory/cf_random.cc

@@ -14 +14 @@
 #include "gfops.h"
 #include "imm.h"
+
+#ifdef HAVE_FLINT
+extern "C"
+{
+#ifndef __GMP_BITS_PER_MP_LIMB
+#define __GMP_BITS_PER_MP_LIMB GMP_LIMB_BITS
+#endif
+#include <flint/flint.h>
+
+GLOBAL_VAR flint_rand_t FLINTrandom;
+}
+#endif
 
 class RandomGenerator {
@@ -174 +186 @@
 }
 
+
 void factoryseed ( int s )
 {
     ranGen.seed( s );
+
+#ifdef HAVE_FLINT
+    flint_randinit(FLINTrandom);
+#endif
 }