summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4ba9f1f..62245ae 100644
--- a/Makefile
+++ b/Makefile
@@ -9,8 +9,10 @@ SRC= main.ml \
frontend/lexer.mll \
frontend/ast_printer.ml \
interpret/data.ml \
- interpret/interpret.ml \
- interpret/sca.ml
+ interpret/bad_interpret.ml \
+ interpret/interface.ml \
+ interpret/interpret2.ml \
+ interpret/rename.ml
all: $(BIN)