From 63fb3caa08bc4b32cefd88ef53fd514c3fd118f1 Mon Sep 17 00:00:00 2001
From: Andrey Popp <8mayday@gmail.com>
Date: Tue, 26 Nov 2024 20:48:26 +0400
Subject: [PATCH] ppx: move ppx_deriving_tools to ppx/native

It's not longer generic, hardcodes JSON specifics but that's ok.
---
 ppx/browser/dune                             | 5 +----
 ppx/native/dune                              | 3 ---
 ppx/{tools => native}/ppx_deriving_tools.ml  | 0
 ppx/{tools => native}/ppx_deriving_tools.mli | 0
 4 files changed, 1 insertion(+), 7 deletions(-)
 rename ppx/{tools => native}/ppx_deriving_tools.ml (100%)
 rename ppx/{tools => native}/ppx_deriving_tools.mli (100%)

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