opam-version: "2.0"
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: "git+https://github.com/herd/herdtools7.git"
build: ["./build.sh" "%{prefix}%"]
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
  "ocaml" {>= "4.02.0"}
  "ocamlbuild" {build}
]
synopsis: "This is herdtools7, a tool suite to test weak memory models."
description: """
We provide the following tools:

 - herd7: a generic simulator for weak memory models
 - litmus7: run litmus tests (given as assembler programs for Power, ARM or X86) to test the memory model of the executing machine
 - diy7: produce litmus tests from concise specifications
 - some tools to analyse run logs of both herd and litmus

herdtools7 is the successor of the diy tool suite."""
url {
  src: "https://github.com/herd/herdtools7/archive/7.42-beta.3.tar.gz"
  checksum: "md5=0ed28e0eb623b252a2621027b1633656"
}
