summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 62245ae..681b651 100644
--- a/Makefile
+++ b/Makefile
@@ -1,17 +1,18 @@
.PHONY: clean
BIN=analyze
-SRCDIRS=libs,frontend,interpret
+SRCDIRS=libs,frontend,interpret,abstract
SRC= main.ml \
frontend/ast.ml \
frontend/parser.mly \
frontend/lexer.mll \
frontend/ast_printer.ml \
- interpret/data.ml \
+ abstract/formula.ml \
+ abstract/formula_printer.ml \
interpret/bad_interpret.ml \
interpret/interface.ml \
- interpret/interpret2.ml \
+ interpret/interpret.ml \
interpret/rename.ml
all: $(BIN)
@@ -23,4 +24,5 @@ $(BIN): $(SRC)
mv main.native $(BIN)
clean:
- rm -rf _build
+ rm $(BIN)
+ ocamlbuild -clean