From 8337097cf0b66a251ec14e203bb3cb3d45505712 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 11 Mar 2020 04:28:45 -0700
Subject: [PATCH] [sledge] Move Domain_itv and dependency on APRON from lib to
 bin

Reviewed By: ngorogiannis

Differential Revision: D20373384

fbshipit-source-id: 496f850b6
---
 sledge/{lib => bin}/domain_itv.ml  | 0
 sledge/{lib => bin}/domain_itv.mli | 0
 sledge/bin/dune                    | 6 +++---
 sledge/lib/dune                    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)
 rename sledge/{lib => bin}/domain_itv.ml (100%)
 rename sledge/{lib => bin}/domain_itv.mli (100%)

diff --git a/sledge/lib/domain_itv.ml b/sledge/bin/domain_itv.ml
similarity index 100%
rename from sledge/lib/domain_itv.ml
rename to sledge/bin/domain_itv.ml
diff --git a/sledge/lib/domain_itv.mli b/sledge/bin/domain_itv.mli
similarity index 100%
rename from sledge/lib/domain_itv.mli
rename to sledge/bin/domain_itv.mli
diff --git a/sledge/bin/dune b/sledge/bin/dune
index 3fdd8e2a1..993508f6d 100644
--- a/sledge/bin/dune
+++ b/sledge/bin/dune
@@ -6,9 +6,9 @@
 (executable
  (public_name sledge)
  (package sledge)
- (libraries ctypes ctypes.foreign dune-build-info llvm llvm.irreader
-   llvm.analysis llvm.scalar_opts llvm.target llvm.ipo llvm.linker
-   shexp.process yojson trace import sledgelib model)
+ (libraries apron apron.boxMPQ ctypes ctypes.foreign dune-build-info llvm
+   llvm.irreader llvm.analysis llvm.scalar_opts llvm.target llvm.ipo
+   llvm.linker shexp.process yojson trace import sledgelib model)
  (flags
   (:standard -open Import -open Sledgelib -open Model))
  (preprocess
diff --git a/sledge/lib/dune b/sledge/lib/dune
index 71f66145c..6f16daefa 100644
--- a/sledge/lib/dune
+++ b/sledge/lib/dune
@@ -5,7 +5,7 @@
 
 (library
  (name sledgelib)
- (libraries apron apron.boxMPQ trace import)
+ (libraries trace import)
  (flags
   (:standard -open Import))
  (preprocess