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