diff options
| author | Gabriel Kerneis | 2013-11-11 10:21:16 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-11 10:21:16 +0000 |
| commit | f0bbc49b54862bec08df26fa753ac270f2042ae4 (patch) | |
| tree | 216a8bf2eac3154ae662dc9e263834ba65380128 /src | |
| parent | 326a8a7c5a6a8fdf64aa6e800788f0f4cbe65ceb (diff) | |
Remove lem-lib hack
Lem has now switched to the new library by default
(remember to "make ocaml-libs" in Lem to build it).
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 5 | ||||
| -rw-r--r-- | src/_tags | 3 |
2 files changed, 1 insertions, 7 deletions
diff --git a/src/Makefile b/src/Makefile index de254cef..d36441b6 100644 --- a/src/Makefile +++ b/src/Makefile @@ -6,11 +6,6 @@ all: test: all ./run_tests.native -update_lem_lib: - mkdir -p lem_lib - ../../lem/lem -ocaml -only_changed_output -outdir lem_lib ../../lem/library-new/*.lem - rm -f lem_lib/basic_classes.ml - clean: -ocamlbuild -clean -rm -rf _build @@ -1,8 +1,7 @@ true: -traverse, debug <**/*.ml>: bin_annot, annot -<lem_interp> or <test> or <lem_lib>: include +<lem_interp> or <test>: include # see http://caml.inria.fr/mantis/view.php?id=4943 <lem_interp/*> and not <lem_interp/*.cmxa>: use_nums, use_lem -<lem_lib/*> and not <lem_lib/*.cmxa>: use_nums, use_lem <test/*> and not <test/*.cmxa>: use_nums, use_lem |