diff options
Diffstat (limited to 'Build/source/utils/configure')
| -rwxr-xr-x | Build/source/utils/configure | 16 |
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; |