From 2ff3292091a39572f2f12efcb0df38a2507f502b Mon Sep 17 00:00:00 2001 From: Mindy Preston Date: Thu, 3 Aug 2017 13:30:51 -0500 Subject: [PATCH] set name in pkg.ml --- pkg/pkg.ml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pkg/pkg.ml b/pkg/pkg.ml index 1a04c2b..c7c88ed 100644 --- 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" ()