diff options
| author | Gabriel Kerneis | 2013-10-10 13:24:20 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-10 13:24:20 +0100 |
| commit | c140486c55213052db3b97723da6d745cc15fd62 (patch) | |
| tree | 873a29f4b108f15e03d66ae9df60dba32655ac21 | |
| parent | 5954ac7e83869beb3a80f2ba7fdec7089f4dddce (diff) | |
Rename Ast to Interp_ast for the interpreter
| -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 | ||||
| -rw-r--r-- | src/process_file.ml | 2 |
4 files changed, 6 insertions, 6 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 diff --git a/src/process_file.ml b/src/process_file.ml index ce99f037..31a58b79 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -137,7 +137,7 @@ let output1 libpath out_arg filename defs (* alldoc_accum alldoc_inc_accum alldo begin let (o, ext_o) = open_output_with_check (f' ^ ".lem") in Format.fprintf o "(* %s *)@\n" (generated_line filename); - Format.fprintf o "open Ast@\n"; + Format.fprintf o "open Interp_ast@\n"; Format.fprintf o "let defs = "; Pretty_print.pp_lem_defs o defs; close_output_with_check ext_o |