diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -1,8 +1,18 @@ #!/bin/sh +python3 --version >/dev/null|| echo "Install python3" && exit 1 +pdftex --version >/dev/null|| echo "Install pdftex (TeXLive)" && exit 1 +make -v >/dev/null || echo "Install make" && exit 1 +python -c "import numpy" >/dev/null || echo "Install numpy" && exit 1 +python -c "import scipy" >/dev/null || echo "Install scipy" && exit 1 +python -c "import matplotlib" >/dev/null || echo "Install matplotlib" && exit 1 +gs --version >/dev/null || echo "Ghostscript not installed (no PNG poster)" + cp Makefile.orig Makefile for tgt in */document.tex; do DIR=$(dirname $tgt) - ( echo; echo -n "${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\ + ( echo -en "\n${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\ -type d \! -name "document.tex" -a -name "*.tex" -exec echo {} +; ) >> Makefile + echo -e "\noutputs/${DIR}.pdf: ${DIR}/document.pdf outputs\n\tcp -f $< \$@"\ + >> Makefile done |