opam

opam-version: "2.0"
maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
authors: [
  "Alasdair Armstrong"
  "Thomas Bauereiss"
  "Brian Campbell"
  "Shaked Flur"
  "Jonathan French"
  "Kathy Gray"
  "Robert Norton"
  "Christopher Pulte"
  "Peter Sewell"
  "Mark Wassell"
]
homepage: "http://www.cl.cam.ac.uk/~pes20/sail/"
bug-reports: "https://github.com/rems-project/sail/issues"
license: "BSD3"
dev-repo: "git+https://github.com/rems-project/sail.git"
build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
remove: [
  make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"
]
depends: [
  "ocaml" {>= "4.06.0"}
  "ocamlfind"
  "ocamlbuild"
  "zarith"
  "menhir"
  "linenoise"
  "ott" {>= "0.28"}
  "lem" {>= "2018-12-14"}
  "linksem" {>= "0.3"}
  "omd" {< "1.4"}
  "conf-gmp"
  "conf-zlib"
]
synopsis:
  "Sail is a language for describing the instruction semantics of processors."
description:
  "It has been used in several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/."
url {
  src: "https://github.com/rems-project/sail/archive/0.7.1.tar.gz"
  checksum: "md5=01a107c5fe60dbe130d4bbcc0bfc1dc6"
}