diff options
Diffstat (limited to 'src')
| -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" |