opam

opam-version: "2.0"
name: "rmem"
version: "0.1"
synopsis: "Executable concurrency models for ARMv8, RISC-V, Power, and x86"
description: """
The rmem tool comprises executable operational models for the relaxed-memory concurrency semantics of the Power, ARMv8, RISC-V, and x86 (TSO) processor architectures, as well as machinery for executing the models on litmus tests and ELF binaries: allowing one to interactively step through the legal concurrency behaviours, pseudorandomly find legal outcomes, and exhaustively enumerate all architecturally allowed outcomes of small bounded concurrent programs. For ARM, it supports both the current ARMv8-A multicopy atomic model and the earlier ARMv8-A non-multicopy-atomic model.
"""
maintainer: "rmem devs <cl-rmem-dev@lists.cam.ac.uk>"
authors: "the rmem developers (see homepage)"
license: "2-Clause BSD"
homepage: "https://github.com/rems-project/rmem"
bug-reports: "https://github.com/rems-project/rmem/issues"
dev-repo: "git+https://github.com/rems-project/rmem.git"
depends: [ 
  "ocaml" {>= "4.06.1"}
  "ocamlfind"
  "ocamlbuild"
  "lem" {>= "2018-12-14"}
  "linksem" {>= "0.3"}
  "sail"
  "sail-riscv"
  "conf-gmp"
  "lwt" {>= "4.1.0" & <= "4.5.0"}
  "lambda-term" {>= "1.13"}
  "zarith"
#  "js_of_ocaml" {<= "3.3.0"}
#  "js_of_ocaml-ppx" {<= "3.3.0"}
  "base64"
  "zed" {>= "1.6"}
]
build: [make "SHARE_DIR=%{rmem:share}%"]
install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{rmem:share}%" "install"]