From 1802e7c443a85ff86cc831ad41e4b29d73508600 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 19 Mar 2008 16:22:06 -0500
Subject: [PATCH] add random bootstrap

---
 extra/bootstrap/random/random.factor | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 extra/bootstrap/random/random.factor

diff --git a/extra/bootstrap/random/random.factor b/extra/bootstrap/random/random.factor
new file mode 100644
index 0000000000..7132860e1c
--- /dev/null
+++ b/extra/bootstrap/random/random.factor
@@ -0,0 +1,8 @@
+USING: vocabs.loader sequences system ;
+
+"random.mersenne-twister" require
+
+{
+    { [ windows? ] [ "random.windows" require ] }
+    { [ unix? ] [ "random.unix" require ] }
+} cond