move tools to ppx folder

melange-community · Aug 15, 2024 · 2bfd25c · 2bfd25c
1 parent 460e4a4
commit 2bfd25c
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/ppx/browser/dune b/ppx/browser/dune
@@ -42,7 +42,7 @@
  (files ../native/ppx_deriving_json_common.ml))
 
 (copy_files#
- (files ../../tools/ppx_deriving_tools.ml))
+ (files ../tools/ppx_deriving_tools.ml))
 
 (copy_files#
- (files ../../tools/ppx_deriving_tools.mli))
+ (files ../tools/ppx_deriving_tools.mli))
diff --git a/ppx/native/dune b/ppx/native/dune
@@ -39,4 +39,4 @@
    (run echo "let () = Ppxlib.Driver.standalone ()"))))
 
 (copy_files#
- (files ../../tools/ppx_deriving_tools.{ml,mli}))
+ (files ../tools/ppx_deriving_tools.{ml,mli}))
diff --git a/tools/ppx_deriving_tools.ml → ppx/tools/ppx_deriving_tools.ml b/tools/ppx_deriving_tools.ml → ppx/tools/ppx_deriving_tools.ml
diff --git a/tools/ppx_deriving_tools.mli → ppx/tools/ppx_deriving_tools.mli b/tools/ppx_deriving_tools.mli → ppx/tools/ppx_deriving_tools.mli