diff options
author | Olivier Gayot <olivier.gayot@sigexec.com> | 2020-01-09 12:17:45 +0100 |
---|---|---|
committer | Olivier Gayot <olivier.gayot@sigexec.com> | 2020-01-09 14:38:41 +0100 |
commit | 1973427f962122ab6dc251546f20393a2be33e5b (patch) | |
tree | 755df4955aecd3d7bcb578afe20de6d971487192 /Makefile | |
parent | 40f7bd6e1f0bc2926c8884b5ef55ac6fe40b22ed (diff) |
First attempt
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
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 |