blob: 1efedbc72d859cd739bcb468fdbc12f5dd84bc2a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
COQMAKEFILE ?= Makefile.coq
all: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE)
$(COQMAKEFILE): _CoqProject
coq_makefile -f _CoqProject -o $(COQMAKEFILE)
clean: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE) clean
rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf
.PHONY: all clean
|
