Evgenii Akentev
·
2019-01-18
Makefile
1AGDA=agda
2AFLAGS=-i/Users/ak3n/Develop/agda-stdlib/src -i. --latex --allow-unsolved-metas
3SOURCE=thesis
4LATEX=latexmk -pdf -use-make -e '$$pdflatex=q/lualatex %O %S/'
5
6all:
7 $(AGDA) $(AFLAGS) Prelude.agda
8 $(AGDA) $(AFLAGS) NetworkAndService.lagda
9 $(AGDA) $(AFLAGS) Syntax.lagda
10 $(AGDA) $(AFLAGS) Typesystem.lagda
11 $(AGDA) $(AFLAGS) Typingrules.lagda
12 $(AGDA) $(AFLAGS) Semantics.lagda
13 $(AGDA) $(AFLAGS) Theorems.lagda
14 $(AGDA) $(AFLAGS) thesis.lagda
15 cp thesis.bib latex/thesis.bib
16 cd latex/ && \
17 $(LATEX) $(SOURCE).tex && \
18 mv $(SOURCE).pdf ..