blob: efbda2d82b366fc9e8b3c156ce80f0a047058e48 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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
|
