aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-15 01:16:31 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-15 01:16:31 +0100
commit9901c3b2db0a3f85105489faa860fc27227ad4ac (patch)
treecc14f042f113c4356042e3d0fcefabf46bfd6617 /configure
parente83270cc0c9c17951669874bcfb5284301272ede (diff)
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).
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 5 insertions, 1 deletions
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 <<EOF