Commit 4027595e authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Improve Makefile

parent 07fe59ef
......@@ -43,8 +43,13 @@ INSTALL_DIR = /usr/local/bin
.PHONY: clean depend
.SUFFIXES: .dk .dko .ml .native .byte .v .vo
DKCHECK=dkcheck
DKDEP=dkdep
DKCHECKOPTIONS=
DKDEPOPTIONS=-v
.dk.dko:
dkcheck -e -nc $<
$(DKCHECK) -e $(DKCHECKOPTIONS) $<
.v.vo:
coqc $<
......@@ -58,7 +63,7 @@ all: $(DKOS) sigmaid
depend: .depend
.depend:
dkdep pts.dk dk_*.dk > .depend
$(DKDEP) $(DKDEPOPTIONS) pts.dk dk_*.dk > .depend
clean:
rm -rf *.dko *.vo *.glob .depend tmp.dk \
......
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