opam


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

opam-version: "1.2"
name: "sail-riscv"
version: "0.4"
maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
authors: [
  "Alasdair Armstrong"
  "Thomas Bauereiss"
  "Brian Campbell"
  "Shaked Flur"
  "Jonathan French"
  "Prashanth Mundkur"
  "Robert Norton"
  "Christopher Pulte"
  "Peter Sewell"
]
homepage: "https://github.com/rems-project/sail-riscv/"
bug-reports: "https://github.com/rems-project/sail-riscv/issues"
license: "BSD3"
dev-repo: "https://github.com/rems-project/sail-riscv.git"
build: [make "LEM_DIR=%{lem:share}%" "SAIL_DIR=%{sail:share}%" "SAIL=sail" "opam-build"]
depends: [
  "ocamlfind"
  "ocamlbuild"
  "lem"
  "sail" {>= "0.9"}
  "linksem" {>= "0.3"}
  "conf-gmp"
  "conf-zlib"
]
available: [ocaml-version >= "4.06.1"]