diff options
| author | Rutger Broekhoff | 2025-07-07 21:52:08 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2025-07-07 21:52:08 +0200 |
| commit | ba61dfd69504ec6263a9dee9931d93adeb6f3142 (patch) | |
| tree | d6c9b78e50eeab24e0c1c09ab45909a6ae3fd5db /mininix.opam | |
| download | verified-dyn-lang-interp-ba61dfd69504ec6263a9dee9931d93adeb6f3142.tar.gz verified-dyn-lang-interp-ba61dfd69504ec6263a9dee9931d93adeb6f3142.zip | |
Initialize repository
Diffstat (limited to 'mininix.opam')
| -rw-r--r-- | mininix.opam | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/mininix.opam b/mininix.opam new file mode 100644 index 0000000..f28f0cb --- /dev/null +++ b/mininix.opam | |||
| @@ -0,0 +1,39 @@ | |||
| 1 | # This file is generated by dune, edit dune-project instead | ||
| 2 | opam-version: "2.0" | ||
| 3 | authors: ["Anonymous Authors"] | ||
| 4 | license: "LICENSE" | ||
| 5 | depends: [ | ||
| 6 | "dune" {>= "3.15"} | ||
| 7 | "ocaml" {< "5"} | ||
| 8 | "coq" {>= "8.20" & < "8.21"} | ||
| 9 | "coq-stdpp" {>= "1.11" & < "1.12"} | ||
| 10 | "coq-flocq" | ||
| 11 | "core" | ||
| 12 | "core_unix" | ||
| 13 | "linenoise" | ||
| 14 | "menhir" | ||
| 15 | "pprint" | ||
| 16 | "sexp_pretty" | ||
| 17 | "stdio" | ||
| 18 | "ppx_sexp_conv" | ||
| 19 | "ppx_blob" | ||
| 20 | "ppx_let" | ||
| 21 | "bisect_ppx" | ||
| 22 | "merlin" {dev} | ||
| 23 | "ocamlformat" {dev} | ||
| 24 | "odoc" {with-doc} | ||
| 25 | ] | ||
| 26 | build: [ | ||
| 27 | ["dune" "subst"] {dev} | ||
| 28 | [ | ||
| 29 | "dune" | ||
| 30 | "build" | ||
| 31 | "-p" | ||
| 32 | name | ||
| 33 | "-j" | ||
| 34 | jobs | ||
| 35 | "@install" | ||
| 36 | "@runtest" {with-test} | ||
| 37 | "@doc" {with-doc} | ||
| 38 | ] | ||
| 39 | ] | ||