frap/Makefile at master · achlipala/frap · 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
40
41
42
43
44
45
46
47
48
49
50
51
52
.PHONY: all lib coq install

all: frap_book.pdf coq

frap_book.pdf: frap_book.tex Makefile
	pdflatex frap_book
	pdflatex frap_book
	makeindex frap_book
	pdflatex frap_book
	pdflatex frap_book

coq: Makefile.coq
	$(MAKE) -f Makefile.coq

lib: Makefile.coq
	$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo SepCancel.vo

Makefile.coq: Makefile _CoqProject *.v
	rocq makefile -f _CoqProject -o Makefile.coq

clean:: Makefile.coq
	$(MAKE) -f Makefile.coq clean
	rm -f Makefile.coq

frap.tgz: Makefile _CoqProject *.v *.tex *.html
	git archive --format=tar.gz HEAD >frap.tgz

fraplib.tgz: Makefile
	rm -rf fraplib
	mkdir fraplib
	cp LICENSE fraplib/
	cp Makefile.fraplib fraplib/Makefile
	cp _CoqProject.fraplib fraplib/_CoqProject
	cp Relations.v fraplib/
	cp Map.v fraplib/
	cp Var.v fraplib/
	cp Invariant.v fraplib/
	cp ModelCheck.v fraplib/
	cp FrapWithoutSets.v fraplib/
	cp Sets.v fraplib/
	cp Frap.v fraplib/
	cp Imp.v fraplib/
	cp AbstractInterpret.v fraplib/
	cp SepCancel.v fraplib/
	tar cf fraplib.tgz fraplib/*

install: index.html frap_book.pdf frap.tgz fraplib.tgz
	mkdir -p publish
	cp frap_book.pdf publish/
	cp frap.tgz publish/
	cp fraplib.tgz publish/
	cp index.html publish/