summary refs log tree commit diff
path: root/proto/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'proto/Makefile')
-rw-r--r--proto/Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/proto/Makefile b/proto/Makefile
new file mode 100644
index 0000000..c6ebd16
--- /dev/null
+++ b/proto/Makefile
@@ -0,0 +1,13 @@
+.PHONY: all test clean
+
+all: bak
+
+bak: elf.ml lo2.ml
+	ocamlc -g -o bak elf.ml lo2.ml
+
+test: bak
+	@./bak test
+	@cc -O2 -o t.out tmain.c t.o && ./t.out
+
+clean:
+	rm -f bak *.out *.o *.cm[io]