diff options
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure index 5629607aaa8..7b0694d1423 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -858,6 +858,7 @@ enable_dtl enable_dvi2tty enable_dvidvi enable_dviljk +enable_dviout_util enable_dvipdfm_x enable_dvipng enable_debug @@ -1665,6 +1666,7 @@ Optional Features: --disable-dvi2tty do not build the dvi2tty package --disable-dvidvi do not build the dvidvi package --disable-dviljk do not build the dviljk package + --disable-dviout-util do not build the dviout-util package --disable-dvipdfm-x do not build the dvipdfm-x package --disable-dvipng do not build the dvipng package --disable-debug Compile without debug (-d) option @@ -5125,6 +5127,28 @@ test "x$enable_dviljk" = xno || { need_kpathsea=yes } +## texk/dviout-util/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/dviout-util/ +## configure options and TL libraries required for dviout-util +# Check whether --enable-dviout-util was given. +if test "${enable_dviout_util+set}" = set; then : + enableval=$enable_dviout_util; +fi +case $enable_dviout_util in #( + yes|no) : + ;; #( + *) : + + enable_dviout_util=$enable_all_pkgs + { $as_echo "$as_me:${as_lineno-$LINENO}: Assuming \`--enable-dviout-util=$enable_dviout_util'" >&5 +$as_echo "$as_me: Assuming \`--enable-dviout-util=$enable_dviout_util'" >&6;} + ac_configure_args="$ac_configure_args '--enable-dviout-util=$enable_dviout_util'" + ;; +esac + +test "x$enable_dviout_util" = xno || { + need_ptexenc=yes +} + ## texk/dvipdfm-x/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/dvipdfm-x/ ## configure options and TL libraries required for dvipdfm-x # Check whether --enable-dvipdfm-x was given. |