Merge branch 'configure'

1 files changed, 23 insertions, 0 deletions

diff --git a/configure b/configure
new file mode 100755
index 0000000..2e56ed4
--- /dev/null
+++ b/configure
@@ -0,0 +1,23 @@
+#!/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 -en "\n${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\
+ -type d \! -name "document.tex" -a -name "*.tex" -exec echo {} +; ) >> Makefile
+done
+
+for gen in gen/*.orig.tex; do
+    BASE=$(basename $gen .orig.tex)
+    echo "gen/${BASE}.tex: gen/make${BASE}.sh gen/${BASE}.orig.tex" >> Makefile
+    echo -e "\t$<\n" >> Makefile
+done