Merge pull request #3 from hannesm/add-stdlibrandom

import mirage-stdlib-random

.travis.yml

@@ -0,0 +1,14 @@
+language: c
+install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-opam.sh
+script: bash -ex .travis-opam.sh
+sudo: required
+env:
+  global:
+    - PACKAGE="mirage-random"
+    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git"
+  matrix:
+    - OCAML_VERSION=4.02
+    - OCAML_VERSION=4.03
+    - OCAML_VERSION=4.04
+notifications:
+  email: false

README.md

@@ -1,7 +1,9 @@
-## mirage-random -- Random signatures for MirageOS
+## mirage-random -- Random signatures for MirageOS, and an implementation using stdlib
 
 mirage-random defines [Mirage_random.S][1] and [Mirage_random.C][2]
-the signature for random-related devices for MirageOS.
+the signature for random-related devices for MirageOS.  It also
+provides an implementation of `C` using `Random` from the OCaml standard
+library.
 
 [1]: https://mirage.github.io/mirage-random/Mirage_random.S.html
 [2]: https://mirage.github.io/mirage-random/Mirage_random.C.html

doc/api.odocl

@@ -1 +1,2 @@
-Mirage_random
+src/Mirage_random
+std/Stdlibrandom

pkg/META

@@ -1,3 +1,7 @@
 description = "Random-related devices for MirageOS"
 version = "%%VERSION_NUM%%"
-requires = ""
+requires = "cstruct"
+archive(byte) = "stdlibrandom.cma"
+archive(native) = "stdlibrandom.cmxa"
+plugin(byte) = "stdlibrandom.cma"
+plugin(native) = "stdlibrandom.cmxs"

pkg/pkg.ml

@@ -6,4 +6,6 @@ open Topkg
 let () =
   Pkg.describe "mirage-random" @@ fun c ->
   Ok [ Pkg.lib "pkg/META";
-       Pkg.lib ~exts:Exts.interface "src/mirage_random" ]
+       Pkg.lib ~exts:Exts.interface "src/mirage_random" ;
+       Pkg.mllib "std/stdlibrandom.mllib"
+     ]

std/stdlibrandom.ml

@@ -0,0 +1,14 @@
+
+type buffer = Cstruct.t
+
+type g = unit
+
+let generate ?g:_g n =
+  let b = Cstruct.create n in
+  for i = 0 to pred n do
+    Cstruct.set_uint8 b i (Random.int 256)
+  done ;
+  b
+
+let initialize () =
+  Random.self_init ()

std/stdlibrandom.mli

@@ -0,0 +1,5 @@
+
+include Mirage_random.S
+  with type buffer = Cstruct.t
+
+val initialize : unit -> unit

std/stdlibrandom.mllib

@@ -0,0 +1 @@
+Stdlibrandom