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