Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Commit

Permalink
Merge pull request #8 from hannesm/update
Browse files Browse the repository at this point in the history
remove stdlibrandom, update to dune
  • Loading branch information
samoht authored Oct 21, 2018
2 parents 715807c + eb463ae commit 5dcadef
Show file tree
Hide file tree
Showing 9 changed files with 20 additions and 39 deletions.
1 change: 1 addition & 0 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ sudo: required
env:
global:
- PACKAGE="mirage-random"
- PINS="mirage-random.dev:."
- REVDEPS=true
matrix:
- OCAML_VERSION=4.04
Expand Down
6 changes: 2 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,7 @@
## mirage-random -- Random signatures for MirageOS, and an implementation using stdlib
## mirage-random -- Random signatures for MirageOS

mirage-random defines [Mirage_random.S][1] and [Mirage_random.C][2]
the signature for random-related devices for MirageOS. It also
provides an implementation of `C` using `Random` from the OCaml standard
library.
the signature for random-related devices for MirageOS.

[1]: https://mirage.github.io/mirage-random/Mirage_random.S.html
[2]: https://mirage.github.io/mirage-random/Mirage_random.C.html
Expand Down
2 changes: 2 additions & 0 deletions dune-project
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
(lang dune 1.1)
(name mirage-random)
17 changes: 11 additions & 6 deletions mirage-random.opam
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
opam-version: "1.2"
opam-version: "2.0"
maintainer: "[email protected]"
homepage: "https://github.com/mirage/mirage-random"
bug-reports: "https://github.com/mirage/mirage-random/issues"
dev-repo: "https://github.com/mirage/mirage-random.git"
dev-repo: "git+https://github.com/mirage/mirage-random.git"
doc: "https://mirage.github.io/mirage-random/"
authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
"Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
Expand All @@ -11,13 +11,18 @@ tags: [ "org:mirage"]
license: "ISC"

build: [
[ "jbuilder" "subst" ] {pinned}
[ "jbuilder" "build" "-p" name "-j" jobs ]
[ "dune" "subst" ] {pinned}
[ "dune" "build" "-p" name "-j" jobs ]
]

depends: [
"jbuilder" {build & >="1.0+beta9"}
"dune" {build & >="1.1.0"}
"cstruct" {>= "1.9.0"}
"ocaml" {>= "4.04.2"}
]

available: [ ocaml-version >= "4.04.2" ]
synopsis: "Random-related devices for MirageOS"
description: """
mirage-random defines `Mirage_random.S` and `Mirage_random.C` the signature for
random-related devices for MirageOS.
"""
3 changes: 0 additions & 3 deletions pkg/pkg.ml

This file was deleted.

4 changes: 4 additions & 0 deletions src/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
(library
(name mirage_random)
(public_name mirage-random)
(libraries cstruct))
7 changes: 0 additions & 7 deletions src/jbuild

This file was deleted.

14 changes: 0 additions & 14 deletions src/stdlibrandom.ml

This file was deleted.

5 changes: 0 additions & 5 deletions src/stdlibrandom.mli

This file was deleted.

0 comments on commit 5dcadef

Please sign in to comment.