Mercurial > hg > Papers > 2017 > atton-master
comparison paper/Makefile @ 3:715c01485a03
Import files for compile
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 16 Jan 2017 15:18:03 +0900 |
parents | |
children | 5c0e43b1b559 |
comparison
equal
deleted
inserted
replaced
2:a8d3cbdebb3e | 3:715c01485a03 |
---|---|
1 # Settings | |
2 TARGET=atton-master | |
3 BIBTEX=echo # 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 | |
36 | |
37 all: $(TARGET).pdf | |
38 | |
39 open: $(TARGET).pdf | |
40 open $(TARGET).pdf | |
41 | |
42 remake: | |
43 make clean | |
44 make all |