summaryrefslogtreecommitdiff
path: root/Build/source/utils/xindy/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-05-11 08:37:27 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-05-11 08:37:27 +0000
commit06872fc557274e530ccbd5a36df590d3a36141f3 (patch)
tree35108cad46dc73b5fc3c490da666809daa0ad8fe /Build/source/utils/xindy/configure
parent240af01297ea298a6ada4e671ee6bb4cb2ec38a1 (diff)
build system: fix fonconfig detection, allow build without latex
git-svn-id: svn://tug.org/texlive/trunk@13042 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-xBuild/source/utils/xindy/configure26
1 files changed, 22 insertions, 4 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure
index e4aeeb429be..ae92948f17d 100755
--- a/Build/source/utils/xindy/configure
+++ b/Build/source/utils/xindy/configure
@@ -3971,9 +3971,18 @@ test -n "$latex" || latex="no"
export latex;
if test $latex = "no" ;
then
- { { $as_echo "$as_me:$LINENO: error: Unable to find a LaTeX application" >&5
+ if test "x$enable_build" = xno; then
+ { $as_echo "$as_me:$LINENO: WARNING: building xindy has been disabled and would fail because
+Unable to find a LaTeX application" >&5
+$as_echo "$as_me: WARNING: building xindy has been disabled and would fail because
+Unable to find a LaTeX application" >&2;}
+else
+ { { $as_echo "$as_me:$LINENO: error: Unable to find a LaTeX application" >&5
$as_echo "$as_me: error: Unable to find a LaTeX application" >&2;}
- { (exit 1); exit 1; }; };
+ { (exit 1); exit 1; }; }
+fi
+
+;
fi
@@ -4036,9 +4045,18 @@ test -n "$pdflatex" || pdflatex="no"
export pdflatex;
if test $pdflatex = "no" ;
then
- { { $as_echo "$as_me:$LINENO: error: Unable to find a PDFLaTeX application" >&5
+ if test "x$enable_build" = xno; then
+ { $as_echo "$as_me:$LINENO: WARNING: building xindy has been disabled and would fail because
+Unable to find a PDFLaTeX application" >&5
+$as_echo "$as_me: WARNING: building xindy has been disabled and would fail because
+Unable to find a PDFLaTeX application" >&2;}
+else
+ { { $as_echo "$as_me:$LINENO: error: Unable to find a PDFLaTeX application" >&5
$as_echo "$as_me: error: Unable to find a PDFLaTeX application" >&2;}
- { (exit 1); exit 1; }; };
+ { (exit 1); exit 1; }; }
+fi
+
+;
fi