Merge pull request #71 from yomimono/name-in-pkg

set name in pkg.ml
mirage · Aug 4, 2017 · 56d2839 · 56d2839
2 parents 7db704f + 2ff3292
commit 56d2839
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/pkg/pkg.ml b/pkg/pkg.ml
@@ -1,2 +1,7 @@
 #use "topfind"
-#require "topkg-jbuilder.auto"
+#require "topkg-jbuilder"
+
+open Topkg
+
+let () =
+  Topkg_jbuilder.describe ~name:"charrua-core" ()