summaryrefslogtreecommitdiff
path: root/cryptominisat5/cryptominisat-5.6.3/docs/satcomp14-pdf/Makefile
blob: 99046573a4c9b33367e092071dbaffc40e8be735 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
TEX = pdflatex -shell-escape -interaction=nonstopmode -file-line-error
PRE =  $(TEX) -ini -job-name="preamble" "&pdflatex preamble.tex\dump"
BIB = bibtex

all: cmsv4.pdf

view :
	    open cmsv4.pdf

cmsv4.pdf : cmsv4.tex cmsv4.bbl cmsv4.blg
	    $(TEX) cmsv4.tex

cmsv4.bbl cmsv4.blg : cmsv4.bib cmsv4.aux
	    $(BIB) cmsv4

cmsv4.aux : cmsv4.tex
	    $(TEX) cmsv4.tex

cmsv4.bib : cmsv4.tex
	    $(TEX) cmsv4.tex

clean:
	rm -f *.aux *.bbl *.out cmsv4.pdf *.log *.blg
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback