doc-src/Codegen/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 31050 555b56b66fcf
permissions -rw-r--r--
eliminated copies of isabelle style files;
haftmann@20948
     1
haftmann@20948
     2
## targets
haftmann@20948
     3
haftmann@20948
     4
default: dvi
haftmann@20948
     5
haftmann@20948
     6
haftmann@20948
     7
## dependencies
haftmann@20948
     8
haftmann@20989
     9
include ../Makefile.in
haftmann@20948
    10
haftmann@20948
    11
NAME = codegen
haftmann@20948
    12
haftmann@28213
    13
FILES = $(NAME).tex Thy/document/*.tex \
haftmann@30226
    14
  style.sty ../iman.sty ../extra.sty ../isar.sty \
wenzelm@42511
    15
  ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \
haftmann@30226
    16
  ../manual.bib ../proof.sty
haftmann@20948
    17
haftmann@20948
    18
dvi: $(NAME).dvi
haftmann@20948
    19
haftmann@31050
    20
$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
haftmann@20948
    21
	$(LATEX) $(NAME)
haftmann@20948
    22
	$(BIBTEX) $(NAME)
haftmann@20948
    23
	$(LATEX) $(NAME)
haftmann@20948
    24
	$(LATEX) $(NAME)
haftmann@20948
    25
haftmann@20948
    26
pdf: $(NAME).pdf
haftmann@20948
    27
haftmann@31050
    28
$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
haftmann@20948
    29
	$(PDFLATEX) $(NAME)
haftmann@20948
    30
	$(BIBTEX) $(NAME)
haftmann@20948
    31
	$(PDFLATEX) $(NAME)
haftmann@20948
    32
	$(PDFLATEX) $(NAME)
haftmann@20948
    33
	$(FIXBOOKMARKS) $(NAME).out
haftmann@20948
    34
	$(PDFLATEX) $(NAME)
haftmann@20948
    35
	$(PDFLATEX) $(NAME)
haftmann@30734
    36
wenzelm@30882
    37
architecture.dvi: Thy/pictures/architecture.tex
wenzelm@30882
    38
	latex -output-directory=$(dir $@) $<
wenzelm@30882
    39
haftmann@31050
    40
adaptation.dvi: Thy/pictures/adaptation.tex
haftmann@30734
    41
	latex -output-directory=$(dir $@) $<
haftmann@30734
    42
wenzelm@30882
    43
architecture.eps: architecture.dvi
wenzelm@30882
    44
	dvips -E -o $@ $<
wenzelm@30882
    45
haftmann@31050
    46
adaptation.eps: adaptation.dvi
haftmann@30734
    47
	dvips -E -o $@ $<
haftmann@30734
    48
wenzelm@30882
    49
architecture.pdf: architecture.eps
haftmann@30734
    50
	epstopdf --outfile=$@ $<
wenzelm@30882
    51
haftmann@31050
    52
adaptation.pdf: adaptation.eps
wenzelm@30882
    53
	epstopdf --outfile=$@ $<