summaryrefslogtreecommitdiff
path: root/Build/source/utils
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils')
-rwxr-xr-xBuild/source/utils/configure16
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index a6cda4be57e..e43a49ce1f8 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -667,6 +667,7 @@ enable_ipc
enable_omfonts
enable_tex
enable_etex
+enable_ptex
enable_aleph
enable_pdftex
enable_luatex
@@ -1432,6 +1433,7 @@ Optional Features:
versions)
--disable-tex do not compile and install TeX
--enable-etex compile and install e-TeX
+ --disable-ptex do not compile and install pTeX
--disable-aleph do not compile and install Aleph
--disable-pdftex do not compile and install pdfTeX
--disable-luatex do not compile and install luaTeX
@@ -2562,6 +2564,20 @@ case $enable_etex in #(
*) :
enable_etex=no ;;
esac
+# Check whether --enable-ptex was given.
+if test "${enable_ptex+set}" = set; then :
+ enableval=$enable_ptex;
+fi
+case $enable_ptex in #(
+ yes|no) :
+ ;; #(
+ *) :
+ enable_ptex=yes ;;
+esac
+
+test "x$enable_web2c:$enable_ptex" = xyes:yes && {
+ need_ptexenc=yes
+}
# Check whether --enable-aleph was given.
if test "${enable_aleph+set}" = set; then :
enableval=$enable_aleph;