diff options
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index e38dbb4d..c0172700 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -37,7 +37,8 @@ dispatch begin function (* 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"; - + ocaml_lib ~extern:true ~dir:"src_elf_libraries/batteries/_build/src" ~tag_name:"use_batteries" "src_elf_libraries/batteries"; + rule "lem -> ml" ~prod: "%.ml" ~dep: "%.lem" |