Changeset f8d27e1 in git for factory

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:

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

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
 }