summaryrefslogtreecommitdiff
path: root/compiler/aeneas.opam
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/aeneas.opam')
-rw-r--r--compiler/aeneas.opam29
1 files changed, 29 insertions, 0 deletions
diff --git a/compiler/aeneas.opam b/compiler/aeneas.opam
new file mode 100644
index 00000000..4048f9a0
--- /dev/null
+++ b/compiler/aeneas.opam
@@ -0,0 +1,29 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "0.1"
+synopsis: ""
+description: ""
+maintainer: ["son.ho@inria.fr"]
+authors: ["Son Ho" "Jonathan Protzenko" "Aymeric Fromherz" "Sidney Congard"]
+license: "Apache-2.0"
+homepage: "https://github.com/AeneasVerif/aeneas"
+bug-reports: "https://github.com/AeneasVerif/aeneas/issues"
+depends: [
+ "dune" {>= "2.8"}
+ "odoc" {with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]
+dev-repo: "git+https://github.com/AeneasVerif/aeneas.git"