blob: 4bcf4fbc3a7678aa763b07b3d462a82fcf5378ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
MAKEFLAGS := -r
.SUFFIXES:
.PHONY: clean all config tags install
COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
all: $(COQMAKEFILE)
$(COQMAKE) all
$(COQMAKEFILE) config:
$(COQBIN)coq_makefile -f Make -o $(COQMAKEFILE)
clean: $(COQMAKEFILE)
$(COQMAKE) clean
$(RM) -rf $(COQMAKEFILE)
tags:
$(COQBIN)coqtags `find . -name \*.v`
install:
%: Makefile.coq
$(COQMAKE) $@
|
