2014-10-09 15:20:20 +02:00
|
|
|
export TEXINPUTS := $(shell pwd)//:${TEXINPUTS}
|
|
|
|
|
2014-10-09 17:30:00 +02:00
|
|
|
doc:
|
|
|
|
cd source; latexmk -pdf -shell-escape avremu
|
|
|
|
|
2014-10-09 15:20:20 +02:00
|
|
|
test: test-simple
|
|
|
|
cd source/test-suite; ./test-suite
|
|
|
|
|
|
|
|
test-simple: source/simple-testsuite.tex
|
|
|
|
pdflatex -halt-on-error $<
|
|
|
|
|
|
|
|
test-%: source/test-suite/%.c
|
|
|
|
cd source/test-suite; ./test-suite single $(shell basename $<)
|
|
|
|
|
2014-10-09 17:30:00 +02:00
|
|
|
.PHONY: test-simple doc
|