annotate paper/Makefile @ 92:0354d3693324 default tip

Added tag paper_final for changeset 6a12eb22be8c
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:08:51 +0900
parents 6a12eb22be8c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
1 # Settings
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 TARGET=main
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
3 BIBTEX=pbibtex
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
4 BB=extractbb
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
5
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
6 vpath pdf fig
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
7 FIGURES=$(wildcard fig/*.pdf)
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
8 FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
9
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
10 vpath agda src
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
11 SOURCES=$(wildcard src/*agda)
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
12 SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 # dependencies
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 $(TARGET).pdf : $(TARGET).dvi
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 dvipdfmx $<
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
54
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
19 platex $(TARGET).tex
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
20 $(BIBTEX) $(TARGET)
54
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
21 platex $(TARGET).tex
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
22 platex $(TARGET).tex
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
24 %.xbb: %.pdf
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
25 $(BB) $<
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
26
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
27 %.agda.replaced: %.agda
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
28 ruby escape_agda.rb $<
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
29
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 # commands
91
6a12eb22be8c Update Makefile
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
32 .PHONY : clean all open remake
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 clean:
54
bf136bd59e7a Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg
2
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 all: $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 open: $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 open $(TARGET).pdf
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 remake:
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 make clean
1e28ac702c1e Add template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 make all