aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-05-28 17:57:59 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-05-28 17:59:12 -0400
commitfd6f2bc4f1c97234b5d3d9989ea5fb4016969622 (patch)
treea7b4b48155f6164392f863eb002742a942a6904a /configure
parent090dc2da6abd7dfcb9ab22559ccb684700148794 (diff)
generalized python/pdftex/gs and added dep checks
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 11 insertions, 1 deletions
diff --git a/configure b/configure
index 91ce029..0e08c74 100755
--- a/configure
+++ b/configure
@@ -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