summaryrefslogtreecommitdiff
path: root/Build/source/libs
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-14 14:22:18 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-14 14:22:18 +0000
commit008d0283f16c958ef9f8436cef8710aaedcd6a1c (patch)
tree26ef9bed7c0ca3f3f6b1ba14b5844f76d166eef0 /Build/source/libs
parentcf42cec28487ec62783c7aaeecbaea79862794bf (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/libs')
-rwxr-xr-xBuild/source/libs/configure16
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure
index 7d62df2843d..b85aa8f1c73 100755
--- a/Build/source/libs/configure
+++ b/Build/source/libs/configure
@@ -667,6 +667,7 @@ enable_ipc
enable_omfonts
enable_tex
enable_etex
+enable_ptex
enable_aleph
enable_pdftex
enable_luatex
@@ -1435,6 +1436,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
@@ -2565,6 +2567,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;