summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure24
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.