summaryrefslogtreecommitdiff
path: root/src/lem_interp/Makefile
diff options
context:
space:
mode:
authorGabriel Kerneis2013-10-10 13:24:20 +0100
committerGabriel Kerneis2013-10-10 13:24:20 +0100
commitc140486c55213052db3b97723da6d745cc15fd62 (patch)
tree873a29f4b108f15e03d66ae9df60dba32655ac21 /src/lem_interp/Makefile
parent5954ac7e83869beb3a80f2ba7fdec7089f4dddce (diff)
Rename Ast to Interp_ast for the interpreter
Diffstat (limited to 'src/lem_interp/Makefile')
-rw-r--r--src/lem_interp/Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/lem_interp/Makefile b/src/lem_interp/Makefile
index 96c8eb8b..5043a330 100644
--- a/src/lem_interp/Makefile
+++ b/src/lem_interp/Makefile
@@ -3,13 +3,13 @@
LEMDIR=$(abspath ../../../lem)
OCAMLPATH:=$(LEMDIR)/ocaml-lib:$(OCAMLPATH)
-all: interp.native
+all: interp.cma interp.cmxa
-ast.ml interp.ml: ast.lem interp.lem
+interp_ast.ml interp.ml: interp_ast.lem interp.lem
$(LEMDIR)/lem -ocaml $^
-interp.native: ast.ml interp.ml
- OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem interp.native
+interp.cma interp.cmxa: interp_ast.ml interp.ml
+ OCAMLPATH=$(OCAMLPATH) ocamlbuild -use-ocamlfind -pkg lem $@
clean:
-ocamlbuild -clean