ppx: move ppx_deriving_tools to ppx/native

It's not longer generic, hardcodes JSON specifics but that's ok.
melange-community · Nov 26, 2024 · 63fb3ca · 63fb3ca
1 parent 7973a7d
commit 63fb3ca
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 7 deletions.
diff --git 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
@@ -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 → ppx/native/ppx_deriving_tools.ml b/ppx/tools/ppx_deriving_tools.ml → ppx/native/ppx_deriving_tools.ml
diff --git a/ppx/tools/ppx_deriving_tools.mli → ppx/native/ppx_deriving_tools.mli b/ppx/tools/ppx_deriving_tools.mli → ppx/native/ppx_deriving_tools.mli