diff options
Diffstat (limited to 'proto/Makefile')
-rw-r--r-- | proto/Makefile | 13 |
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] |