From 8abad29200f659542e3122be80a0e40540a0015a Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 10 Jun 2020 07:05:01 -0700 Subject: [PATCH] [sledge] Build: Move LLAIR into separate sublibrary Reviewed By: jvillard Differential Revision: D21720983 fbshipit-source-id: 531112329 --- sledge/dune | 15 ++++++++++++++- sledge/src/{ => llair}/exp.ml | 0 sledge/src/{ => llair}/exp.mli | 0 sledge/src/{ => llair}/global.ml | 0 sledge/src/{ => llair}/global.mli | 0 sledge/src/{ => llair}/llair.ml | 0 sledge/src/{ => llair}/llair.mli | 0 sledge/src/{ => llair}/loc.ml | 0 sledge/src/{ => llair}/loc.mli | 0 sledge/src/{ => llair}/reg.ml | 0 sledge/src/{ => llair}/reg.mli | 0 sledge/src/{ => llair}/typ.ml | 0 sledge/src/{ => llair}/typ.mli | 0 13 files changed, 14 insertions(+), 1 deletion(-) rename sledge/src/{ => llair}/exp.ml (100%) rename sledge/src/{ => llair}/exp.mli (100%) rename sledge/src/{ => llair}/global.ml (100%) rename sledge/src/{ => llair}/global.mli (100%) rename sledge/src/{ => llair}/llair.ml (100%) rename sledge/src/{ => llair}/llair.mli (100%) rename sledge/src/{ => llair}/loc.ml (100%) rename sledge/src/{ => llair}/loc.mli (100%) rename sledge/src/{ => llair}/reg.ml (100%) rename sledge/src/{ => llair}/reg.mli (100%) rename sledge/src/{ => llair}/typ.ml (100%) rename sledge/src/{ => llair}/typ.mli (100%) diff --git a/sledge/dune b/sledge/dune index 7f06860d1..e2bcab535 100644 --- a/sledge/dune +++ b/sledge/dune @@ -33,12 +33,25 @@ ppx_sexp_conv ppx_sexp_value) (preprocess no_preprocessing)) +(subdir + src/llair + (library + (name llair) + (public_name sledge.llair) + (wrapped false) + (libraries nonstdlib) + (flags + (:standard -open NS)) + (preprocess + (pps ppx_sledge ppx_trace)) + (inline_tests))) + (subdir src (library (name sledge) (public_name sledge) - (libraries nonstdlib) + (libraries nonstdlib llair) (flags (:standard -open NS)) (preprocess diff --git a/sledge/src/exp.ml b/sledge/src/llair/exp.ml similarity index 100% rename from sledge/src/exp.ml rename to sledge/src/llair/exp.ml diff --git a/sledge/src/exp.mli b/sledge/src/llair/exp.mli similarity index 100% rename from sledge/src/exp.mli rename to sledge/src/llair/exp.mli diff --git a/sledge/src/global.ml b/sledge/src/llair/global.ml similarity index 100% rename from sledge/src/global.ml rename to sledge/src/llair/global.ml diff --git a/sledge/src/global.mli b/sledge/src/llair/global.mli similarity index 100% rename from sledge/src/global.mli rename to sledge/src/llair/global.mli diff --git a/sledge/src/llair.ml b/sledge/src/llair/llair.ml similarity index 100% rename from sledge/src/llair.ml rename to sledge/src/llair/llair.ml diff --git a/sledge/src/llair.mli b/sledge/src/llair/llair.mli similarity index 100% rename from sledge/src/llair.mli rename to sledge/src/llair/llair.mli diff --git a/sledge/src/loc.ml b/sledge/src/llair/loc.ml similarity index 100% rename from sledge/src/loc.ml rename to sledge/src/llair/loc.ml diff --git a/sledge/src/loc.mli b/sledge/src/llair/loc.mli similarity index 100% rename from sledge/src/loc.mli rename to sledge/src/llair/loc.mli diff --git a/sledge/src/reg.ml b/sledge/src/llair/reg.ml similarity index 100% rename from sledge/src/reg.ml rename to sledge/src/llair/reg.ml diff --git a/sledge/src/reg.mli b/sledge/src/llair/reg.mli similarity index 100% rename from sledge/src/reg.mli rename to sledge/src/llair/reg.mli diff --git a/sledge/src/typ.ml b/sledge/src/llair/typ.ml similarity index 100% rename from sledge/src/typ.ml rename to sledge/src/llair/typ.ml diff --git a/sledge/src/typ.mli b/sledge/src/llair/typ.mli similarity index 100% rename from sledge/src/typ.mli rename to sledge/src/llair/typ.mli