summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile16
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