add eliom-distillery executable installation

ocsigen · Apr 16, 2019 · 4376b77 · 4376b77
1 parent 8a32e5e
commit 4376b77
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/tools/dune b/src/tools/dune
@@ -14,6 +14,16 @@
   (modules
     eliomdep))
 
+(executable
+  (name distillery)
+  (public_name eliom-distillery)
+  (libraries
+    findlib
+    str
+    tools_utils)
+  (modules
+    distillery))
+
 (executable
   (name eliomc)
   (public_name eliomc)