From a1d245cfd1979ec78bbc01e5125af80071f8cc42 Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Mon, 6 Jul 2020 18:20:32 -0400 Subject: File reorganization More makefile-friendly --- configure | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 configure (limited to 'configure') 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 -- cgit