coq-http/Makefile at master · liyishuai/coq-http · GitHub

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
27
28
29
30
31
32
33
34
35
36
37
38
39
COQMAKEFILE?=Makefile.coq
EXE?=TestHttp.native
INSTALLDIR?=$(shell opam var bin)

all: coq
	$(MAKE) -C extract

coq: $(COQMAKEFILE)
	@+$(MAKE) -f $^

test: all
	$(MAKE) -C $@

install: $(COQMAKEFILE)
	@+$(MAKE) -f $^ $@
	install extract/$(EXE) $(INSTALLDIR)

uninstall: $(COQMAKEFILE)
	@+$(MAKE) -f $^ $@
	@rm -f $(INSTALLDIR)/$(EXE)

clean: $(COQMAKEFILE)
	@+$(MAKE) -f $^ cleanall
	@rm -f $^ $^.conf */*~
	$(MAKE) -C extract $@

$(COQMAKEFILE): _CoqProject
	$(COQBIN)coq_makefile -f $^ -o $@

force _CoqProject Makefile: ;

%: $(COQMAKEFILE) force
	@+$(MAKE) -f $< $@

.PHONY: all clean force test

publish%:
	opam publish --packages-directory=released/packages \
		--repo=coq/opam-coq-archive --tag=v$* -v $* liyishuai/coq-http