aboutsummaryrefslogtreecommitdiff
path: root/editor.opam
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 16:00:56 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit1961a9779b482cf9cbdb3365137c2e74423067c6 (patch)
tree3965e0e464b9dfb8ddff10338dd6757af13238c2 /editor.opam
parentd20d14b4f4a903ef9aea4c01dd46fab5ecbab6ae (diff)
Text editor using quill
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}
+ ]
+]