comparison Paper/Makefile @ 11:ea10413281c5

tweak Makefile and create reference.bib
author Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 06 Nov 2018 14:17:41 +0900
parents afefc0e58ea1
children 80944267f9c7
comparison
equal deleted inserted replaced
10:9c172999d70e 11:ea10413281c5
1 # Settings 1 TARGET = anatofuz
2 TARGET=anatofuz
3 BIBTEX=dvipdfmx
4 BB=extractbb
5 2
6 vpath pdf fig 3 LATEX = platex
7 FIGURES=$(wildcard fig/*.pdf) 4 BIBTEX = pbibtex
8 FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES)) 5 #DVIPS = dvips
6 #DVIPDFM = dvipdfmx
7 RM = rm -f
8 DVIPDF=dvipdfmx -p a4
9 # Option definitions
10 #DVIPDFMOPT =
11 #DVIPSOPT = -D 720 -mode esphi -O 0mm,0mm -N0
9 12
10 vpath agda src 13 # Suffixes definitions
11 SOURCES=$(wildcard src/*agda) 14 .SUFFIXES: .tex .dvi .pdf
12 SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))
13 15
14 # dependencies 16 .tex.dvi:
15 $(TARGET).pdf : $(TARGET).dvi 17 $(LATEX) $<
16 dvipdfmx $< 18 $(BIBTEX) $(TARGET)
19 $(LATEX) $<
20 $(LATEX) $<
17 21
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX) 22 .dvi.pdf:
19 platex $(TARGET).tex 23 $(DVIPDF) $(DVIPDF_OPT) $<
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 24
30 25
31 # commands 26 all: $(TARGET).pdf
32 .PHONY : clean all open remake 27 open $(TARGET).pdf
28
29 dvi: $(TARGET).dvi
30
31 pdf: $(TARGET).pdf
32
33 33
34 clean: 34 clean:
35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced *.fls *.fdb_latexmk 35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *~ *.core
36
37 all: $(TARGET).pdf
38
39 open: $(TARGET).pdf
40 open $(TARGET).pdf
41
42 remake:
43 make clean
44 make all