aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-07-06 18:20:32 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-07-06 18:41:47 -0400
commita1d245cfd1979ec78bbc01e5125af80071f8cc42 (patch)
tree9bf0ec38631e4f0879940dc4a0b133d78fc2f17c /configure
parent5a18c8a33b90003a2c930a207f766800883c3622 (diff)
File reorganization
More makefile-friendly
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure23
1 files changed, 0 insertions, 23 deletions
diff --git a/configure b/configure
deleted file mode 100755
index 2e56ed4..0000000
--- a/configure
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/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