|
8
|
1 # Settings
|
|
|
2 TARGET=sigos
|
|
|
3 BIBTEX=pbibtex
|
|
|
4 BB=extractbb
|
|
0
|
5
|
|
8
|
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))
|
|
0
|
13
|
|
8
|
14 # dependencies
|
|
|
15 $(TARGET).pdf : $(TARGET).dvi
|
|
|
16 dvipdfmx $<
|
|
0
|
17
|
|
8
|
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
|
|
|
19 platex $(TARGET).tex
|
|
0
|
20 $(BIBTEX) $(TARGET)
|
|
8
|
21 platex $(TARGET).tex
|
|
|
22 platex $(TARGET).tex
|
|
0
|
23
|
|
8
|
24 %.xbb: %.pdf
|
|
|
25 $(BB) $<
|
|
|
26
|
|
|
27 %.agda.replaced: %.agda
|
|
|
28 ruby escape_agda.rb $<
|
|
0
|
29
|
|
|
30
|
|
8
|
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
|
|
0
|
37 all: $(TARGET).pdf
|
|
8
|
38
|
|
|
39 open: $(TARGET).pdf
|
|
0
|
40 open $(TARGET).pdf
|
|
|
41
|
|
8
|
42 remake:
|
|
|
43 make clean
|
|
|
44 make all
|
