diff options
| author | Gabriel Kerneis | 2014-05-01 14:48:38 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-12 16:45:54 +0100 |
| commit | ea256f57cf0f0907b5dbf73cefcb33c6cf84db63 (patch) | |
| tree | 074c02b9cf00593e22dd75b50d67dce8fec7734c | |
| parent | 242bcdc7cc2ae71c6c9c25dcc89f65db1c82d557 (diff) | |
OCamlbuild magic to use PPrint
| -rw-r--r-- | src/_tags | 3 | ||||
| -rw-r--r-- | src/myocamlbuild.ml | 1 |
2 files changed, 3 insertions, 1 deletions
@@ -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" |