From 6a9990b5a4d13d7628902b0dc067c74e782922de Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Sun, 18 Nov 2018 19:45:46 +0000 Subject: Pipeline also installs TeX live and necessary packages Since the final product of the pipeline is a LaTeX-created PDF file, it was necessary to also have LaTeX within the pipeline. With this commit, TeX Live is also built as part of the configuration and all the necessary packages to build the PDF are also installed and mentioned in the paper along with their versions. --- reproduce/src/make/Top-Makefile | 25 ++++++++++++++----------- 1 file changed, 14 insertions(+), 11 deletions(-) (limited to 'reproduce/src/make/Top-Makefile') diff --git a/reproduce/src/make/Top-Makefile b/reproduce/src/make/Top-Makefile index 5d94766..abd0f45 100644 --- a/reproduce/src/make/Top-Makefile +++ b/reproduce/src/make/Top-Makefile @@ -92,17 +92,20 @@ tex/pipeline.tex: $(foreach f, initialize \ delete-me \ , $(mtexdir)/$(f).tex) - # If no PDF is requested, then just exit here. -ifeq ($(pdf-build-final),) - @echo - @echo - @echo "-----" - @echo "Everything is OK until this point, but not building PDF." - @echo "To do so, give a value to the 'pdf-build-final' variable." - @echo "It is defined in 'reproduce/config/pipeline/pdf-build.mk'." - @echo - @exit 1 -endif + # If no PDF is requested, or if LaTeX isn't available, don't + # continue to building LaTeX. + @if ! latex --version &> /dev/null || [ x$(pdf-build-final) = x ]; then + echo + echo "-----" + echo "The processing has COMPLETED SUCCESSFULLY! But we won't be" + echo "building the final LaTeX-built PDF." + echo + echo "To do so, make sure you have LaTeX within the pipeline and" + echo "give a value to the 'pdf-build-final' variable. It is defined" + echo "in 'reproduce/config/pipeline/pdf-build.mk'." + echo + exit 1 + fi # Merge all the TeX macros that are prepared for building the PDF. @cat $(mtexdir)/*.tex > $@ -- cgit v1.2.1