Mercurial > hg > Papers > 2020 > ryokka-master

comparison paper/Makefile @ 0:41a936510fd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initialize
author ryokka
date Thu, 02 Jan 2020 21:25:52 +0900
parents
children ee44dbda6bd3
comparison
equal deleted inserted replaced
-1:000000000000 0:41a936510fd0
1 # Settings
2 TARGET=master_paper
3 BIBTEX=pbibtex
4 BB=extractbb
5
6 vpath pdf fig
7 FIGURES=$(wildcard fig/*.pdf)
8 FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))
9
10 vpath agda src
11 SOURCES=$(wildcard src/*agda)
12 SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))
13
14 # dependencies
15 $(TARGET).pdf : $(TARGET).dvi
16 dvipdfmx $<
17
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
19 platex $(TARGET).tex
20 $(BIBTEX) $(TARGET)
21 platex $(TARGET).tex
22 platex $(TARGET).tex
23
24 %.xbb: %.pdf
25 $(BB) $<
26
27 %.agda.replaced: %.agda
28 ruby escape_agda.rb $<
29
30
31 # commands
32 .PHONY : clean all open remake
33
34 clean:
35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced
36
37 all: $(TARGET).pdf
38
39 open: $(TARGET).pdf
40 open $(TARGET).pdf
41
42 remake:
43 make clean
44 make all