summaryrefslogtreecommitdiff
path: root/chadprover.opam
diff options
context:
space:
mode:
Diffstat (limited to 'chadprover.opam')
-rw-r--r--chadprover.opam24
1 files changed, 24 insertions, 0 deletions
diff --git a/chadprover.opam b/chadprover.opam
new file mode 100644
index 0000000..9664991
--- /dev/null
+++ b/chadprover.opam
@@ -0,0 +1,24 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Experimentation with automated proofs"
+authors: ["Filip Rabiega"]
+license: "MIT"
+depends: [
+ "ocaml"
+ "dune" {>= "3.13"}
+ "odoc" {with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]