Port to dune

Signed-off-by: Marcello Seri <[email protected]>
mseri · Nov 22, 2018 · b724338 · b724338
1 parent 172cbc9
commit b724338
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -0,0 +1 @@
+(lang dune 1.4)
diff --git a/jbuild b/jbuild
diff --git a/md2mld.opam b/md2mld.opam
@@ -11,7 +11,7 @@ tags: [  ]
 build: [["jbuilder" "build" "-p" name "-j" jobs]]
 synopsis: "Little cli tool to convert md files into mld files"
 depends: [
-  "jbuilder" {build}
+  "dune" {build & >= "1.4.0"}
   "base-bytes"
   "omd"
 ]
diff --git a/src/dune b/src/dune
@@ -0,0 +1,5 @@
+(executable
+ (name main)
+ (public_name md2mld)
+ (libraries omd)
+)
diff --git a/src/jbuild b/src/jbuild