Makefile 344 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
#put the path of your dkcheck binary
DKCHECK ?= dkcheck
#put the path of your dkdep binary
DKDEP ?= dkdep
DKOPTIONS = $(DKFLAGS) -nl -errors-in-snf -e

DKCHECK_=$(DKCHECK) $(DKOPTIONS)

.PHONY: default orig cic clean

default: orig cic

orig:
	$(DKCHECK_) univ/orig/univ.dk
	cp univ/orig/univ.dko ./

cic:
	$(DKCHECK_) cic.dk

clean:
	rm *.dko