From 2bfd25c51bb68b5747be29fbea3ca8c944fde171 Mon Sep 17 00:00:00 2001 From: Javier Chavarri Date: Thu, 15 Aug 2024 06:45:46 +0000 Subject: [PATCH] move tools to ppx folder --- ppx/browser/dune | 4 ++-- ppx/native/dune | 2 +- {tools => ppx/tools}/ppx_deriving_tools.ml | 0 {tools => ppx/tools}/ppx_deriving_tools.mli | 0 4 files changed, 3 insertions(+), 3 deletions(-) rename {tools => ppx/tools}/ppx_deriving_tools.ml (100%) rename {tools => ppx/tools}/ppx_deriving_tools.mli (100%) diff --git a/ppx/browser/dune b/ppx/browser/dune index 41407e6..e9661bd 100644 --- 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 index 0fafd3a..184b444 100644 --- 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 b/ppx/tools/ppx_deriving_tools.ml similarity index 100% rename from tools/ppx_deriving_tools.ml rename to ppx/tools/ppx_deriving_tools.ml diff --git a/tools/ppx_deriving_tools.mli b/ppx/tools/ppx_deriving_tools.mli similarity index 100% rename from tools/ppx_deriving_tools.mli rename to ppx/tools/ppx_deriving_tools.mli