diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 17:57:59 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 17:59:12 -0400 |
commit | fd6f2bc4f1c97234b5d3d9989ea5fb4016969622 (patch) | |
tree | a7b4b48155f6164392f863eb002742a942a6904a /configure | |
parent | 090dc2da6abd7dfcb9ab22559ccb684700148794 (diff) |
generalized python/pdftex/gs and added dep checks
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 |