diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 16:01:09 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-15 16:01:09 +0000 |
commit | 8f81c407bef49a7501926f54011055a2a70d0413 (patch) | |
tree | b54c595e10b5c7e2cad815e9e4f0d5b67529395f /Build/source/texk/web2c/configure | |
parent | d7f57509ce0c5b91ed9abb642f8263fe33178ff4 (diff) |
handling of configure options for texk/web2c
--disable-mf implies --without-mf-x-toolkit and --without-x
git-svn-id: svn://tug.org/texlive/trunk@13767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-x | Build/source/texk/web2c/configure | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure index 3f49a0adf28..74f45748d6f 100755 --- a/Build/source/texk/web2c/configure +++ b/Build/source/texk/web2c/configure @@ -19004,9 +19004,11 @@ fi # Handle --with-mf-x-toolkit and --with-x +test "x$enable_mf" = xno || enable_mf=yes case $with_mf_x_toolkit in yes|no) : ;; - ''|y|ye) with_mf_x_toolkit=yes ;; + '') with_mf_x_toolkit=$enable_mf ;; + y|ye) with_mf_x_toolkit=yes ;; n) with_mf_x_toolkit=no ;; *) { $as_echo "$as_me:$LINENO: WARNING: unknown --with-mf-x-toolkit argument \`$with_mf_x_toolkit'; using yes." >&5 $as_echo "$as_me: WARNING: unknown --with-mf-x-toolkit argument \`$with_mf_x_toolkit'; using yes." >&2;} @@ -19015,7 +19017,7 @@ esac test "x$with_x_toolkit" = xyes && with_x=yes test "x$with_x" = xno && with_x_toolkit=no -: ${with_x=yes} # tell PATH_XTRA to use X by default, if not specified. +: ${with_x=$enable_mf} # tell PATH_XTRA to use X for Metafont, if not specified. # Distinguish no X at all, no toolkit, or toolkit. { $as_echo "$as_me:$LINENO: checking for X" >&5 @@ -20399,8 +20401,8 @@ fi if test "x$with_x" = xyes; then if test "x$no_x" = xyes; then - { { $as_echo "$as_me:$LINENO: error: Sorry, could not find required X include and library files." >&5 -$as_echo "$as_me: error: Sorry, could not find required X include and library files." >&2;} + { { $as_echo "$as_me:$LINENO: error: Sorry, could not find X include and library files required for Metafont." >&5 +$as_echo "$as_me: error: Sorry, could not find X include and library files required for Metafont." >&2;} { (exit 1); exit 1; }; } fi test -n "$x_libraries" && XLFLAG="-L$x_libraries" |