diff --git a/dune b/dune index 4e1cfd734..8654e93f4 100644 --- a/dune +++ b/dune @@ -1 +1,6 @@ (dirs :standard \ node_modules js) + +; (install +; (package reason) +; (section bin) +; (files src/refmt/refmt.bc)) diff --git a/src/refmt/dune b/src/refmt/dune index 70419f88c..97ad91864 100644 --- a/src/refmt/dune +++ b/src/refmt/dune @@ -1,7 +1,7 @@ (executable - (name refmt_impl) (public_name refmt) (package reason) + (modes exe byte) (libraries reason reason.cmdliner dune-build-info)) (rule diff --git a/src/refmt/refmt_impl.ml b/src/refmt/refmt.ml similarity index 100% rename from src/refmt/refmt_impl.ml rename to src/refmt/refmt.ml