diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6af2f74 --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ +SRC = $(wildcard *.ml) +OBJ = $(SRC:.ml=.cmo) +PROG = prog + + +all: $(PROG) + + +$(PROG): $(OBJ) + ocamlc -o $@ unix.cma $^ + + +%.cmo: %.ml + ocamlc -o $@ -c $^ + +.PHONY: all |