view paper/Makefile @ 1:80536d2080d2

Add main tex from atton-master
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Thu, 21 Dec 2017 22:00:37 +0900
parents
children b3fc9cc0d85f
line wrap: on
line source

# Settings
TARGET=atton-master
BIBTEX=pbibtex
BB=extractbb

vpath pdf fig
FIGURES=$(wildcard fig/*.pdf)
FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))

vpath agda src
SOURCES=$(wildcard src/*agda)
SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))

# dependencies
$(TARGET).pdf : $(TARGET).dvi
	dvipdfmx $<

$(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
	platex  $(TARGET).tex
	$(BIBTEX) $(TARGET)
	platex  $(TARGET).tex
	platex  $(TARGET).tex

%.xbb: %.pdf
	$(BB) $<

%.agda.replaced: %.agda
	ruby escape_agda.rb $<


# commands
.PHONY : clean all open remake

clean:
	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg *.idx src/*.replaced

all: $(TARGET).pdf

open: $(TARGET).pdf
	open $(TARGET).pdf

remake:
	make clean
	make all