1 files changed, 18 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/arith/init_random.c b/moon-abe/pbc-0.5.14/arith/init_random.c
new file mode 100644
index 00000000..bd040a38
--- /dev/null
+++ b/moon-abe/pbc-0.5.14/arith/init_random.c
@@ -0,0 +1,18 @@
+#include <stdio.h>
+#include <stdint.h> // for intptr_t
+#include <stdlib.h>
+#include <gmp.h>
+#include "pbc_utils.h"
+#include "pbc_random.h"
+
+void pbc_init_random(void) {
+  FILE *fp;
+  fp = fopen("/dev/urandom", "rb");
+  if (!fp) {
+    pbc_warn("could not open /dev/urandom, using deterministic random number generator");
+    pbc_random_set_deterministic(0);
+  } else {
+    pbc_random_set_file("/dev/urandom");
+    fclose(fp);
+  }
+}