aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorQuentin Carbonneaux <[email protected]>2015-04-05 15:22:04 -0400
committerQuentin Carbonneaux <[email protected]>2015-09-15 23:01:26 -0400
commit0aa0002337ca3a101752f19e9cc1a153afb846af (patch)
treeb192c6721ba18657acf61a430b2930bb1f3bc0eb /Makefile
parentcd75608a5459734dc3d2552ec836a3210cafd1ef (diff)
fix spill code
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 5af98f3..a8a58fc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,14 @@
-.PHONY: all test
+.PHONY: all test clean
all: bak
bak: elf.ml lo2.ml
- ocamlc -o bak elf.ml lo2.ml
+ ocamlc -g -o bak elf.ml lo2.ml
test: bak
./bak test
cc -o t tmain.c t.o
./t
+
+clean:
+ rm -f bak t t.o