diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2022-11-16 17:40:17 +0000 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-05-31 00:27:23 -0700 |
| commit | 6693700ad7509c4fff3bb22416048dbe0ea0a0d8 (patch) | |
| tree | 5a027faec7873ec925edf77171514aefed994160 /coq-sail-riscv.opam | |
| parent | 566c58eb5a8aa26c2feb8529f2402b5b796ac552 (diff) | |
| download | sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.zip sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.tar.gz sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.tar.bz2 | |
Add opam packaging for the Coq output
Diffstat (limited to 'coq-sail-riscv.opam')
| -rw-r--r-- | coq-sail-riscv.opam | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/coq-sail-riscv.opam b/coq-sail-riscv.opam new file mode 100644 index 0000000..a9879f2 --- /dev/null +++ b/coq-sail-riscv.opam @@ -0,0 +1,35 @@ +opam-version: "2.0" +name: "coq-sail-riscv" +version: "0.5" +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: "git+https://github.com/rems-project/sail-riscv.git" +build: [ + [make "ARCH=RV64" "riscv_coq_build"] + [make "ARCH=RV32" "riscv_coq_build"] +] +install: [make "riscv_coq_install"] +depends: [ + "ocaml" {>= "4.06.1"} + "ocamlfind" + "ocamlbuild" + "sail" + "coq-sail" + "conf-gmp" + "conf-zlib" +] +synopsis: + "A model of the RISC-V instruction set architecture in Coq, generated from Sail" |