Merge pull request ocaml#11412 from maranget/opam-publish/herdtools7.…

…7.48 herdtools7.7.48 - via opam-publish
pveber · Feb 14, 2018 · bd491b4 · bd491b4
2 parents dcc7d9e + b999d75
commit bd491b4
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/packages/herdtools7/herdtools7.7.48/descr b/packages/herdtools7/herdtools7.7.48/descr
@@ -0,0 +1,7 @@
+herdtools7, a tool suite for shared memory models.
+
+herdtools7 is a tool suite for testing shared memory models.
+
+We provide several tools, litmus7 for running tests, diy7 generators for producing tests from concise specifications, and herd7 for simulating memory models.
+
+See also <http://diy.inria.fr/>
diff --git a/packages/herdtools7/herdtools7.7.48/opam b/packages/herdtools7/herdtools7.7.48/opam
@@ -0,0 +1,18 @@
+opam-version: "1.2"
+maintainer: "Vincent Jacques <vincent@russian-dolls-sunflowers.com>"
+authors: [
+  "Luc Maranget <Luc.Maranget@inria.fr>"
+  "Jade Alglave <j.alglave@ucl.ac.uk>"
+  "Vincent Jacques <vincent@russian-dolls-sunflowers.com>"
+]
+homepage: "http://diy.inria.fr/"
+bug-reports: "http://github.com/herd/herdtools7/issues/"
+doc: "http://diy.inria.fr/doc/index.html"
+dev-repo: "https://github.com/herd/herdtools7.git"
+build: ["./build.sh" "%{prefix}%"]
+install: ["./install.sh" "%{prefix}%"]
+remove: ["./uninstall.sh" "%{prefix}%"]
+depends: [
+  "ocamlbuild" {build}
+]
+available: [ocaml-version >= "4.02.0"]
diff --git a/packages/herdtools7/herdtools7.7.48/url b/packages/herdtools7/herdtools7.7.48/url
@@ -0,0 +1,2 @@
+http: "https://github.com/herd/herdtools7/archive/7.48.tar.gz"
+checksum: "9d21465ad125a056d8e14e4e963c69aa"