annotate paper/Makefile @ 130:80a196c82a4c

Update todo
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 18 Feb 2017 15:43:09 +0900
parents 40ae32725e55
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # Settings
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 TARGET=atton-master
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 3
diff changeset
3 BIBTEX=pbibtex
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 BB=extractbb
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 vpath pdf fig
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 FIGURES=$(wildcard fig/*.pdf)
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 vpath agda src
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 SOURCES=$(wildcard src/*agda)
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 # dependencies
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 $(TARGET).pdf : $(TARGET).dvi
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 dvipdfmx $<
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 $(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 platex $(TARGET).tex
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 $(BIBTEX) $(TARGET)
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 platex $(TARGET).tex
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 platex $(TARGET).tex
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 %.xbb: %.pdf
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 $(BB) $<
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 %.agda.replaced: %.agda
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 ruby escape_agda.rb $<
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 # commands
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 .PHONY : clean all open remake
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 clean:
66
40ae32725e55 Add push/pop description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
35 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced
3
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 all: $(TARGET).pdf
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 open: $(TARGET).pdf
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 open $(TARGET).pdf
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 remake:
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 make clean
715c01485a03 Import files for compile
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 make all