From 9901c3b2db0a3f85105489faa860fc27227ad4ac Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Mon, 15 Jul 2019 01:16:31 +0100 Subject: Minor corrections in configure and high-level Configure script: when `texlive-ready-tlmgr' is not created, it is similar to not having installed TeXLive. A check was added so in this scenario the `./configure' script doesn't crash. high-level.mk: `cairo' and `pixman' are now installed in parallel and with `V=1' (so the full compilation and linking command is printed). --- .file-metadata | Bin 6106 -> 6179 bytes configure | 6 +++++- reproduce/software/make/high-level.mk | 9 +++++---- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/.file-metadata b/.file-metadata index 587ad74..c5db26b 100644 Binary files a/.file-metadata and b/.file-metadata differ diff --git a/configure b/configure index 6bf62b3..49f7d9e 100755 --- a/configure +++ b/configure @@ -1157,7 +1157,11 @@ fi # will just stop at the stage when all the processing is complete and it is # only necessary to build the PDF. So we don't want to stop the project's # configuration and building if its not present. -texlive_result=$(cat $itidir/texlive-ready-tlmgr) +if [ -f $itidir/texlive-ready-tlmgr ]; then + texlive_result=$(cat $itidir/texlive-ready-tlmgr) +else + texlive_result="NOT!" +fi if [ x"$texlive_result" = x"NOT!" ]; then cat < $@ $(ibidir)/fftw: $(tdir)/fftw-$(fftw-version).tar.gz @@ -449,7 +449,8 @@ $(ibidir)/openmpi: $(tdir)/openmpi-$(openmpi-version).tar.gz && echo "Open MPI $(openmpi-version)" > $@ $(ibidir)/pixman: $(tdir)/pixman-$(pixman-version).tar.gz - $(call gbuild, $<, pixman-$(pixman-version), static) \ + $(call gbuild, $<, pixman-$(pixman-version), static, , \ + -j$(numthreads) V=1) \ && echo "Pixman $(pixman-version)" > $@ $(ibidir)/tides: $(tdir)/tides-$(tides-version).tar.gz -- cgit v1.2.1