Mercurial > hg > Papers > 2015 > atton-icfp
annotate Makefile @ 3:11a86cf869e2
Wrote introduction
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 24 Feb 2015 15:54:22 +0900 |
parents | 32308ce01324 |
children |
rev | line source |
---|---|
0
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 # target name |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 TARGET=delta |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 # dependencies |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 $(TARGET).pdf : $(TARGET).dvi |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 dvipdfmx $< |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 $(TARGET).dvi : $(wildcard **/*.tex) $(TARGET).tex |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 platex $(TARGET).tex |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 platex $(TARGET).tex |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 platex $(TARGET).tex |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 # commands |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 .PHONY : clean all open remake |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 clean: |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 all: $(TARGET).pdf |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 open: $(TARGET).pdf |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 open $(TARGET).pdf |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 remake: |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 make clean |
32308ce01324
Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 make all |