haftmann@20948: 
haftmann@20948: ## targets
haftmann@20948: 
haftmann@20948: default: dvi
haftmann@20948: 
haftmann@20948: 
haftmann@20948: ## dependencies
haftmann@20948: 
haftmann@20989: include ../Makefile.in
haftmann@20948: 
haftmann@20948: NAME = codegen
haftmann@20948: 
haftmann@28213: FILES = $(NAME).tex Thy/document/*.tex \
haftmann@30209:   style.sty ../iman.sty ../extra.sty ../isar.sty \
haftmann@30209:   ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
haftmann@30209:   ../manual.bib ../proof.sty
haftmann@20948: 
haftmann@20948: dvi: $(NAME).dvi
haftmann@20948: 
haftmann@31050: $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
haftmann@20948: 	$(LATEX) $(NAME)
haftmann@20948: 	$(BIBTEX) $(NAME)
haftmann@20948: 	$(LATEX) $(NAME)
haftmann@20948: 	$(LATEX) $(NAME)
haftmann@20948: 
haftmann@20948: pdf: $(NAME).pdf
haftmann@20948: 
haftmann@31050: $(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
haftmann@20948: 	$(PDFLATEX) $(NAME)
haftmann@20948: 	$(BIBTEX) $(NAME)
haftmann@20948: 	$(PDFLATEX) $(NAME)
haftmann@20948: 	$(PDFLATEX) $(NAME)
haftmann@20948: 	$(FIXBOOKMARKS) $(NAME).out
haftmann@20948: 	$(PDFLATEX) $(NAME)
haftmann@20948: 	$(PDFLATEX) $(NAME)
haftmann@30734: 
wenzelm@30881: architecture.dvi: Thy/pictures/architecture.tex
haftmann@30734: 	latex -output-directory=$(dir $@) $<
haftmann@30734: 
haftmann@31050: adaptation.dvi: Thy/pictures/adaptation.tex
wenzelm@30881: 	latex -output-directory=$(dir $@) $<
wenzelm@30881: 
wenzelm@30881: architecture.eps: architecture.dvi
haftmann@30734: 	dvips -E -o $@ $<
haftmann@30734: 
haftmann@31050: adaptation.eps: adaptation.dvi
wenzelm@30881: 	dvips -E -o $@ $<
wenzelm@30881: 
wenzelm@30881: architecture.pdf: architecture.eps
haftmann@30734: 	epstopdf --outfile=$@ $<
wenzelm@30881: 
haftmann@31050: adaptation.pdf: adaptation.eps
wenzelm@30881: 	epstopdf --outfile=$@ $<