Changeset d6c852 in git for factory/cf_random.cc

Timestamp:

Jul 6, 2020, 10:46:08 AM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

2ca80a7735f57cf908060cfb800bfa302c2afc8f

Parents:

9e20b9f7749f3bf1b809cdfca51f8fdbbc25e754f8d27e1651a82b4063c80d3de252b7aee270308f

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2020-07-06 10:46:08+02:00

git-committer:

GitHub <noreply@github.com>2020-07-06 10:46:08+02:00

Message:

Merge pull request #1015 from fingolfin/mh/fix-testsuite

Move FLINTrandom into factory to fix test suite crashes

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
 }