From f5ab894675add6e3968e58df4b7351898ef68bf6 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 10 Mar 2020 02:22:14 -0700 Subject: [PATCH] [sledge] Dedup preprocess entries in dune files Summary: Define a `ppx_sledge` ppx rewriter that composes all the ppx rewriters used, so that the list needs to be specified only once. Reviewed By: jvillard Differential Revision: D20322874 fbshipit-source-id: f15540b7f --- sledge/bin/dune | 3 +-- sledge/lib/dune | 3 +-- sledge/lib/import/dune | 3 +-- sledge/ppx_sledge/dune | 11 +++++++++++ 4 files changed, 14 insertions(+), 6 deletions(-) create mode 100644 sledge/ppx_sledge/dune diff --git a/sledge/bin/dune b/sledge/bin/dune index 1b3fca0c6..6ebae77b3 100644 --- a/sledge/bin/dune +++ b/sledge/bin/dune @@ -12,5 +12,4 @@ (flags (:standard -open Import -open Sledgelib -open Model)) (preprocess - (pps ppx_compare ppx_custom_printf ppx_expect ppx_hash ppx_here - ppx_inline_test ppx_let ppx_sexp_conv ppx_sexp_value ppx_trace))) + (pps ppx_sledge))) diff --git a/sledge/lib/dune b/sledge/lib/dune index 89cc52564..86e292d3a 100644 --- a/sledge/lib/dune +++ b/sledge/lib/dune @@ -9,6 +9,5 @@ (flags (:standard -open Import)) (preprocess - (pps ppx_compare ppx_custom_printf ppx_expect ppx_hash ppx_here - ppx_inline_test ppx_let ppx_sexp_conv ppx_sexp_value ppx_trace)) + (pps ppx_sledge)) (inline_tests)) diff --git a/sledge/lib/import/dune b/sledge/lib/import/dune index 7a05cf0f2..00ec926ad 100644 --- a/sledge/lib/import/dune +++ b/sledge/lib/import/dune @@ -9,6 +9,5 @@ (libraries core core_kernel.fheap zarith trace) (flags (:standard)) (preprocess - (pps ppx_compare ppx_custom_printf ppx_expect ppx_hash ppx_here - ppx_inline_test ppx_let ppx_sexp_conv ppx_sexp_value ppx_trace)) + (pps ppx_sledge)) (inline_tests)) diff --git a/sledge/ppx_sledge/dune b/sledge/ppx_sledge/dune new file mode 100644 index 000000000..1537bb95f --- /dev/null +++ b/sledge/ppx_sledge/dune @@ -0,0 +1,11 @@ +; Copyright (c) Facebook, Inc. and its affiliates. +; +; This source code is licensed under the MIT license found in the +; LICENSE file in the root directory of this source tree. + +(library + (name ppx_sledge) + (kind ppx_rewriter) + (libraries ppx_compare ppx_custom_printf ppx_expect ppx_hash ppx_here + ppx_inline_test ppx_let ppx_sexp_conv ppx_sexp_value ppx_trace) + (preprocess no_preprocessing))