Makefile

   1 MAIN = main
   2 SOURCES = $(MAIN).tex abstract.tex intro.tex ddn.tex xpl.tex promela.tex translation.tex proof.tex complexity.tex exp.tex conclusion.tex abbrev.bib biblioand.bib
   3 LOG=logLatex
   4
   5 pdf: $(MAIN).pdf
   6
   7 $(MAIN).pdf: $(SOURCES)
   8         @printf "***** Compilation 1 *****\n"
   9         @pdflatex $(MAIN) > $(LOG)
  10         @printf "*****    Biblio     *****\n"
  11         @bibtex $(MAIN) >> $(LOG)
  12         @printf "***** Compilation 2 *****\n"
  13         @pdflatex $(MAIN) >> $(LOG)
  14         @printf "***** Compilation 3 *****\n"
  15         @pdflatex $(MAIN) >> $(LOG)
  16
  17 all:
  18         latex   $(MAIN).tex > $(LOG)
  19         latex   $(MAIN).tex >> $(LOG)
  20         bibtex  $(MAIN) >> $(LOG)
  21         latex   $(MAIN).tex >> $(LOG)
  22         dvips -t a4 $(MAIN).dvi -o >> $(LOG)
  23         ps2pdf $(MAIN).ps >> $(LOG)
  24
  25 fast:
  26         latex   $(MAIN).tex > $(LOG)
  27         dvips -t a4 $(MAIN).dvi -o >> $(LOG)
  28         ps2pdf $(MAIN).ps >> $(LOG)
  29
  30 test:
  31         acroread $(MAIN).pdf
  32
  33 testr:
  34         kghostview $(MAIN).ps
  35
  36 clean:
  37         rm -rf *~  *.aux *.log *.bbl *.blg *.dvi *.bak *.thm *.lof *.loe *.lot  *.out *.toc
  38
  39
  40 # construit l'archive toute prete (pour Springer)
  41 TEXSOURCES = main.tex ddn.tex
  42 PACKAGES = mathpartir.sty synttree.sty bcprules.sty arydshln.sty
  43 CLSSTY = llncs.cls llncsdoc.sty splncs.bst sprmindx.sty
  44 UTIL = Makefile copyright.pdf CL07-CameraReady.pdf readme
  45 FILES = $(TEXSOURCES) $(PACKAGES) $(CLSSTY) $(UTIL)
  46
  47 arch:
  48         zip Archive.zip $(FILES)
  49