Commit 532b50f3 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Generalize compilation of ocaml files

parent d6561362
......@@ -3,5 +3,5 @@
......@@ -3,10 +3,13 @@ DKS = $(wildcard *.dk)
DKOS = $(
.PHONY: clean depend
.SUFFIXES: .dk .dko
.SUFFIXES: .dk .dko .ml .native
dkcheck -e -nc -r $<
ocamlbuild -use-menhir $@
all: $(DKOS) sigmaid.native
depend: .depend
......@@ -14,10 +17,7 @@ depend: .depend
dkdep dk_*.dk > .depend
rm -f *.dko .depend sigmaid.native
ocamlbuild -use-menhir sigmaid.native
rm -rf *.dko .depend sigmaid.native _build sigmaid.native
./sigmaid.native test.sigma >
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment