diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 0 insertions, 5 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 |