From 8ad734ddcd359f559f8aa0054b5c60408703b056 Mon Sep 17 00:00:00 2001 From: Marshall Roch Date: Thu, 7 Dec 2017 11:53:01 -0800 Subject: [PATCH] use topkg to help with releases --- pkg/pkg.ml | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 pkg/pkg.ml diff --git a/pkg/pkg.ml b/pkg/pkg.ml new file mode 100644 index 0000000..b3a1bf2 --- /dev/null +++ b/pkg/pkg.ml @@ -0,0 +1,4 @@ +#use "topfind" +#require "topkg-jbuilder" + +let () = Topkg_jbuilder.describe ~licenses:[ Topkg.Pkg.std_file "LICENSE" ] ()