aboutsummaryrefslogtreecommitdiff
path: root/ocaml/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/Makefile')
-rw-r--r--ocaml/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocaml/Makefile b/ocaml/Makefile
index c905b2e..f7df3a7 100644
--- a/ocaml/Makefile
+++ b/ocaml/Makefile
@@ -1,5 +1,5 @@
-STEPS = step0_repl.ml step1_read_print.ml step2_eval.ml
-MODULES = types.ml reader.ml printer.ml
+STEPS = step0_repl.ml step1_read_print.ml step2_eval.ml step3_env.ml
+MODULES = types.ml reader.ml printer.ml env.ml
LIBS = str.cma
STEP_BINS = $(STEPS:%.ml=%)