aboutsummaryrefslogtreecommitdiff
path: root/editor.opam
diff options
context:
space:
mode:
Diffstat (limited to 'editor.opam')
-rwxr-xr-xeditor.opam25
1 files changed, 25 insertions, 0 deletions
diff --git a/editor.opam b/editor.opam
new file mode 100755
index 0000000..c50744b
--- /dev/null
+++ b/editor.opam
@@ -0,0 +1,25 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Text editor"
+maintainer: ["Sébastien Dailly"]
+authors: ["Sébastien Dailly"]
+depends: [
+ "dune" {>= "2.7"}
+ "ocaml" {>= "4.10.0"}
+ "brr" {>= "0.0.1"}
+ "odoc" {with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]