From e1f79b07440f35e5e6296b61819cf50e6f60f090 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Oct 2022 17:31:24 +0200
Subject: Start generating documentation

---
 aeneas.opam | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 aeneas.opam

(limited to 'aeneas.opam')

diff --git a/aeneas.opam b/aeneas.opam
new file mode 100644
index 00000000..4048f9a0
--- /dev/null
+++ b/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"
-- 
cgit v1.2.3