diff options
| author | Gabriel Kerneis | 2013-10-09 16:33:26 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-09 16:33:35 +0100 |
| commit | 142af1025a401ded6148aeac43a1c5d734649bf2 (patch) | |
| tree | 69d6355cbe81fb7a699aba9a827891ff819681fd /src | |
| parent | caed2d0e87df23cf18e2b332066e146b2e40f53d (diff) | |
add lem->ml in Makefile
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/lem_interp/Makefile b/src/lem_interp/Makefile index 2cf27ad1..96c8eb8b 100644 --- a/src/lem_interp/Makefile +++ b/src/lem_interp/Makefile @@ -5,10 +5,12 @@ OCAMLPATH:=$(LEMDIR)/ocaml-lib:$(OCAMLPATH) all: interp.native -.PHONY: interp.native -interp.native: +ast.ml interp.ml: ast.lem interp.lem + $(LEMDIR)/lem -ocaml $^ + +interp.native: ast.ml interp.ml OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem interp.native clean: -ocamlbuild -clean - -rm -rf _build + -rm -rf _build *.ml |