From ea256f57cf0f0907b5dbf73cefcb33c6cf84db63 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 1 May 2014 14:48:38 +0100
Subject: OCamlbuild magic to use PPrint

---
 src/_tags           | 3 ++-
 src/myocamlbuild.ml | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/_tags b/src/_tags
index 0938900a..9088a3a2 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,7 +1,8 @@
 true: -traverse, debug
 <**/*.ml>: bin_annot, annot
 <lem_interp> or <test>:  include
+<sail.{byte,native}>: use_pprint
+<pprint> or <pprint/src>: include
 # see http://caml.inria.fr/mantis/view.php?id=4943
 <lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem
 <test/*> and not <test/*.cmxa>: use_nums, use_lem, use_str
-
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index 70e2b633..4c5505ee 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -36,6 +36,7 @@ dispatch begin function
 | After_rules ->
     (* ocaml_lib "lem_interp/interp"; *)
     ocaml_lib ~extern:true ~dir:lem_libdir  ~tag_name:"use_lem" lem_lib;
+    ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib";
 
     rule "lem -> ml"
     ~prod: "%.ml"
-- 
cgit v1.2.3