diff --git a/ppx/browser/dune b/ppx/browser/dune index 80d1c95..da716d4 100644 --- a/ppx/browser/dune +++ b/ppx/browser/dune @@ -39,7 +39,4 @@ (files ../native/ppx_deriving_json_common.ml)) (copy_files# - (files ../tools/ppx_deriving_tools.ml)) - -(copy_files# - (files ../tools/ppx_deriving_tools.mli)) + (files ../native/ppx_deriving_tools.{ml,mli})) diff --git a/ppx/native/dune b/ppx/native/dune index 6f0e2db..01c1a7b 100644 --- a/ppx/native/dune +++ b/ppx/native/dune @@ -37,6 +37,3 @@ (with-stdout-to %{target} (run echo "let () = Ppxlib.Driver.standalone ()")))) - -(copy_files# - (files ../tools/ppx_deriving_tools.{ml,mli})) diff --git a/ppx/tools/ppx_deriving_tools.ml b/ppx/native/ppx_deriving_tools.ml similarity index 100% rename from ppx/tools/ppx_deriving_tools.ml rename to ppx/native/ppx_deriving_tools.ml diff --git a/ppx/tools/ppx_deriving_tools.mli b/ppx/native/ppx_deriving_tools.mli similarity index 100% rename from ppx/tools/ppx_deriving_tools.mli rename to ppx/native/ppx_deriving_tools.mli