summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
commit546afdcf2148087f3a90b69c23ea756550f64433 (patch)
treeac56c71393aacf0fade729e98eeecb1e87a88534 /dune-project
Initial commit
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project15
1 files changed, 15 insertions, 0 deletions
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..fddf7a5
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,15 @@
+(lang dune 2.9)
+(name transcriptor)
+(generate_opam_files true)
+
+(using menhir 2.0)
+
+
+(package
+ (name transcriptor)
+ (synopsis "Text transcriptor")
+ (depends
+ (menhirLib (>= 20210419))
+ )
+ )
+