• Software ke stažení
  • nucad (C++, GAlib, Boost)
  • Digital Watermarking (C++, Qt3, gnulib)
  • rob08 (C++, Qt4, Flex, Readline, Boost)
  • vyp08 (Flex, Bison, C++, Boost)
  • Fast SAT Solver (C++, GAlib)
  • RRV (C++, OpenGL)
• Webové komponenty
  • CharsetDetector (PHP)
  • QuickMenu (Javascript, PHP)
• Studijní materiály
  • Základy programování (IZP)
  • Algoritmy (IAL)
  • Softwarové inženýrství (IUS)
• Archiv
  • FileBrowser (Javascript, PHP, Smarty)
  • SGVis (Java, Prefuse)
  • Share Library (C++)
  • emulT9 (C++, Qt4)
  • FastPad (Asembler)
  • GED 2006 (C++)
  • IFJ 05 (Jazyk C)
  • Drobné programy (C, C++, C#, ...)
• Kontakt

Fast SAT Solver (C++, GAlib)

Zpět na hlavní stránku

Detail souboru

Přejít do složky

Jméno:	Makefile [Stáhnout]
Umístění:	fss > doc
Velikost:	349 B
Poslední změna:	2022-09-09 13:06

Zdrojový kód

DOC=proj_doc
PPT=overview
 
PDF=$(DOC).pdf $(PPT).pdf
 
.PHONY: all clean $(PDF)
 
all:
	$(MAKE) clean
	$(MAKE) $(DOC).pdf
	$(MAKE) $(PPT).pdf
 
$(DOC).pdf:
	pdflatex $(DOC)
	bibtex $(DOC)
	pdflatex $(DOC)
	pdflatex $(DOC)
 
$(PPT).pdf:
	pdflatex $(PPT)
	pdflatex $(PPT)
 
clean:
	rm -f *.dvi *.log *.blg *.bbl *.toc *.aux *.out *.nav *.snm *.vrb #$(PDF)