From e716e48fa2e5d9992974cdebd089ec94da4a9453 Mon Sep 17 00:00:00 2001 From: mark Date: Tue, 10 Oct 2023 20:46:36 -0700 Subject: [PATCH] Added build.sh --- resources/scripts/build.sh | 45 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100755 resources/scripts/build.sh diff --git a/resources/scripts/build.sh b/resources/scripts/build.sh new file mode 100755 index 0000000..fa8aae7 --- /dev/null +++ b/resources/scripts/build.sh @@ -0,0 +1,45 @@ +#!/usr/bin/env bash +START=$(pwd) +OUTPUT="${START}/_output" + +function build() { + local DIR="$(dirname "${1}")" + local MAIN="$(basename "${1}")" + local NAME="$(basename "${DIR}")" + + echo "|> Building ${NAME}..." + cd "${DIR}" + + tectonic \ + --outfmt pdf \ + --chatter minimal \ + main.tex + + stat=$? + + if [[ $stat == 0 ]]; then + mv main.pdf "${OUTPUT}/${NAME}.pdf" + echo "" + else + rm -f main.pdf + echo "|> Build failed" + echo "" + fi +} + + +for d in ../../Advanced/*/ ; do + DIR=$(realpath "${d}") + OUTPUT="${START}/_output/Advanced" + mkdir -p "${OUTPUT}" + + build "${DIR}/main.tex" +done + +for d in ../../Intermediate/*/ ; do + DIR=$(realpath "${d}") + OUTPUT="${START}/_output/Intermediate" + mkdir -p "${OUTPUT}" + + build "${DIR}/main.tex" +done \ No newline at end of file