diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/Makefile | 8 | ||||
| -rw-r--r-- | src/lem_interp/interp.lem | 2 | ||||
| l--------- | src/lem_interp/interp_ast.lem (renamed from src/lem_interp/ast.lem) | 0 |
3 files changed, 5 insertions, 5 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 diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 1b935668..98cf658e 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -1,6 +1,6 @@ open Pervasives open Pmap -open Ast +open Interp_ast type nat = num diff --git a/src/lem_interp/ast.lem b/src/lem_interp/interp_ast.lem index 37719b1b..37719b1b 120000 --- a/src/lem_interp/ast.lem +++ b/src/lem_interp/interp_ast.lem |