Makefile 1.23 KB
Newer Older
1
2
all: tweetverif.pdf csf-supplementary/previous.pdf

3
SOURCES= code-tweetnacl.tex collection.bib conclusion.tex coq.tex highlevel.tex intro.tex lowlevel.tex preliminaries.tex proofs.tex rfc.tex t.bib tweetverif.tex tweetnacl.diff
benoit's avatar
benoit committed
4
PREVIOUS= csf-supplementary/previous.tex csf-supplementary/usenix-*.tex csf-supplementary/tweetverif-USENIX.pdf csf-supplementary/tweetverif-SP.pdf
benoit's avatar
benoit committed
5

6
tweetverif.pdf: $(SOURCES)
benoit's avatar
WIP    
benoit committed
7
	latex
8
	pdflatex tweetverif.tex
9
	bibtex tweetverif
10
11
	pdflatex tweetverif.tex
	pdflatex tweetverif.tex
benoit's avatar
benoit committed
12

benoit's avatar
benoit committed
13
csf-supplementary/previous.pdf: $(PREVIOUS)
14
	make -C csf-supplementary
15
16
17
18
19
20
21
22
23
24
25

tweetnacl.diff:
	@echo $(BOLD)$(YELLOW)"Generating tweetnacl.diff"$(NO_COLOR)$(DARKGRAY)
	diff -u ../proofs/vst/c/tweetnacl.c ../proofs/vst/c/tweetnaclVerifiableC.c > tweetnacl.diff.tmp; [ $$? -eq 1 ]
	sed -i -e 1,2d tweetnacl.diff.tmp
	echo '--- tweetnacl.c' >> tweetnacl.diff
	echo '+++ tweetnaclVerifiableC.c' >> tweetnacl.diff
	cat tweetnacl.diff.tmp >> tweetnacl.diff
	rm tweetnacl.diff.tmp


26
.PHONY: clean
benoit's avatar
benoit committed
27

Benoit Viguier's avatar
Benoit Viguier committed
28
clean:
29
30
31
32
33
	-rm tweetverif.aux
	-rm tweetverif.log
	-rm tweetverif.out
	-rm tweetverif.pdf
	-rm tweetverif.thm
34
35
36
	-rm tweetverif.bbl
	-rm tweetverif.blg
	-rm tweetverif.brf
37
	make -C csf-supplementary clean
benoit's avatar
benoit committed
38
39
40
41
42

spell:
	@for f in $(SOURCES) ; do \
		aspell -t -c $$f; \
	done