diff options
| author | Gabriel Kerneis | 2013-11-05 16:07:08 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-05 16:07:08 +0000 |
| commit | 5aefb7b88db04c2d0e8a8fffe3050d3d35ace4c1 (patch) | |
| tree | 51acc71e19281de2ac49a2db0667c6e0c04b2d8c /src | |
| parent | b3a69210b3e3d1b5ebc1d6687884ecfe3fd202f2 (diff) | |
Clean-up build-related files
Diffstat (limited to 'src')
| -rw-r--r-- | src/_tags | 2 | ||||
| -rw-r--r-- | src/lem_interp/Makefile | 16 |
2 files changed, 1 insertions, 17 deletions
@@ -1,6 +1,6 @@ true: -traverse, debug <**/*.ml>: bin_annot, annot -<lem_interp>: include +<lem_interp> or <test>: include # see http://caml.inria.fr/mantis/view.php?id=4943 <lem_interp/*> and not <lem_interp/*.cmxa>: use_lem, use_nums <test/*> and not <test/*.cmxa>: use_lem, use_nums diff --git a/src/lem_interp/Makefile b/src/lem_interp/Makefile deleted file mode 100644 index 5043a330..00000000 --- a/src/lem_interp/Makefile +++ /dev/null @@ -1,16 +0,0 @@ -.PHONY: all clean - -LEMDIR=$(abspath ../../../lem) -OCAMLPATH:=$(LEMDIR)/ocaml-lib:$(OCAMLPATH) - -all: interp.cma interp.cmxa - -interp_ast.ml interp.ml: interp_ast.lem interp.lem - $(LEMDIR)/lem -ocaml $^ - -interp.cma interp.cmxa: interp_ast.ml interp.ml - OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem $@ - -clean: - -ocamlbuild -clean - -rm -rf _build *.ml |