diff paper/Makefile @ 91:6a12eb22be8c paper_final

Update Makefile
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:05:17 +0900 (2015-03-01)
parents 1181b4facaf9
children
line wrap: on
line diff
--- a/paper/Makefile	Fri Feb 20 22:14:01 2015 +0900
+++ b/paper/Makefile	Sun Mar 01 13:05:17 2015 +0900
@@ -1,20 +1,35 @@
-# target name
+# Settings
 TARGET=main
+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) $(wildcard fig/*.pdf)
-	ruby replace_agda.rb
+$(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
 	platex  $(TARGET).tex
-	pbibtex $(TARGET)
+	$(BIBTEX) $(TARGET)
 	platex  $(TARGET).tex
 	platex  $(TARGET).tex
 
+%.xbb: %.pdf
+	$(BB) $<
+
+%.agda.replaced: %.agda
+	ruby escape_agda.rb $<
+
 
 # commands
-.PHONY : clean all open remake setup
+.PHONY : clean all open remake
 
 clean:
 	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg
@@ -27,7 +42,3 @@
 remake:
 	make clean
 	make all
-
-setup:
-	extractbb fig/*.pdf
-	ruby replace_agda.rb