diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-14 14:22:18 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-14 14:22:18 +0000 |
commit | 008d0283f16c958ef9f8436cef8710aaedcd6a1c (patch) | |
tree | 26ef9bed7c0ca3f3f6b1ba14b5844f76d166eef0 /Build/source/utils/configure | |
parent | cf42cec28487ec62783c7aaeecbaea79862794bf (diff) |
build system: fixes for pTeX
git-svn-id: svn://tug.org/texlive/trunk@17865 c570f23f-e606-0410-a88d-b1316a301751
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; |