Changeset f8d27e1 in git for Singular/misc_ip.cc

Timestamp:

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

Author:

Max Horn <max@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

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.

File:

• Singular/misc_ip.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: ----------------------------------------------------