summaryrefslogtreecommitdiff
path: root/Build/source/utils/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/configure')
-rwxr-xr-xBuild/source/utils/configure17
1 files changed, 17 insertions, 0 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index 0ee0702a931..f401f6b1d2c 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -765,6 +765,7 @@ enable_uptex_synctex
enable_euptex
enable_euptex_synctex
enable_aleph
+enable_hitex
enable_pdftex
enable_pdftex_synctex
enable_luatex
@@ -1560,6 +1561,7 @@ Optional Features:
--disable-euptex do not compile and install e-upTeX
--disable-euptex-synctex build e-upTeX without SyncTeX support
--disable-aleph do not compile and install Aleph
+ --enable-hitex compile and install HiTeX
--disable-pdftex do not compile and install pdfTeX
--disable-pdftex-synctex build pdfTeX without SyncTeX support
--disable-luatex do not compile and install LuaTeX
@@ -4560,6 +4562,21 @@ case $enable_aleph in #(
*) :
enable_aleph=yes ;;
esac
+# Check whether --enable-hitex was given.
+if test ${enable_hitex+y}
+then :
+ enableval=$enable_hitex;
+fi
+case $enable_hitex in #(
+ yes | no) :
+ ;; #(
+ *) :
+ enable_hitex=no ;;
+esac
+
+test "x$enable_web2c:$enable_hitex" = xyes:yes && {
+ need_zlib=yes
+}
# Check whether --enable-pdftex was given.
if test ${enable_pdftex+y}
then :