diff options
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 |