Changeset f8d27e1 in git for factory/cf_random.cc
- Timestamp:
- Jul 6, 2020, 12:23:58 AM (4 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- d6c852edab73f91c0b7fd573de9f4cb9c4880d7b
- Parents:
- 9e20b9f7749f3bf1b809cdfca51f8fdbbc25e754
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_random.cc
r9e20b9f rf8d27e1 14 14 #include "gfops.h" 15 15 #include "imm.h" 16 17 #ifdef HAVE_FLINT 18 extern "C" 19 { 20 #ifndef __GMP_BITS_PER_MP_LIMB 21 #define __GMP_BITS_PER_MP_LIMB GMP_LIMB_BITS 22 #endif 23 #include <flint/flint.h> 24 25 GLOBAL_VAR flint_rand_t FLINTrandom; 26 } 27 #endif 16 28 17 29 class RandomGenerator { … … 174 186 } 175 187 188 176 189 void factoryseed ( int s ) 177 190 { 178 191 ranGen.seed( s ); 192 193 #ifdef HAVE_FLINT 194 flint_randinit(FLINTrandom); 195 #endif 179 196 }
Note: See TracChangeset
for help on using the changeset viewer.