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/lem_interp | |
| parent | b3a69210b3e3d1b5ebc1d6687884ecfe3fd202f2 (diff) | |
Clean-up build-related files
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/Makefile | 16 |
1 files changed, 0 insertions, 16 deletions
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 |