Merge pull request #1 from kit-ty-kate/fix-dune

Fix package installation with dune + unrelated clean
martindemello · Apr 6, 2020 · 89da5fe · 89da5fe
2 parents e5ff49c + 5b56477
commit 89da5fe
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 143 deletions.
diff --git a/_tags b/_tags
diff --git a/anthill.opam b/anthill.opam
@@ -4,7 +4,7 @@ build: [
 ]
 depends: [
   "ocaml" {>= "4.06"}
-  "dune" {build & >= "1.0"}
+  "dune" {>= "1.0"}
   "core"
   "pcre"
   "mparser"

diff --git a/bin/.merlin b/bin/.merlin
diff --git a/bin/dune b/bin/dune
@@ -1,4 +1,5 @@
 (executable
  (name main)
+ (public_name anthill)
  (libraries anthill core pcre mparser mparser.pcre lwt lambda-term)
  (preprocess (pps lwt_ppx)))
diff --git a/lib/dune b/lib/dune
@@ -1,5 +1,6 @@
 (library
  (name anthill)
+ (public_name anthill)
  (modules_without_implementation engine)
  (libraries core pcre mparser mparser.pcre lwt lambda-term)
  (preprocess (pps lwt_ppx)))