diff options
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure index 90b17d94aef..7c66e45cf28 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -782,6 +782,7 @@ enable_omfonts enable_tex enable_etex enable_ptex +enable_eptex enable_aleph enable_pdftex enable_luatex @@ -1580,6 +1581,7 @@ Optional Features: --disable-tex do not compile and install TeX --enable-etex compile and install e-TeX --disable-ptex do not compile and install pTeX + --enable-eptex compile and install e-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 @@ -4153,6 +4155,20 @@ esac test "x$enable_web2c:$enable_ptex" = xyes:yes && { need_ptexenc=yes } +# Check whether --enable-eptex was given. +if test "${enable_eptex+set}" = set; then : + enableval=$enable_eptex; +fi +case $enable_eptex in #( + yes|no) : + ;; #( + *) : + enable_eptex=no ;; +esac + +test "x$enable_web2c:$enable_eptex" = xyes:yes && { + need_ptexenc=yes +} # Check whether --enable-aleph was given. if test "${enable_aleph+set}" = set; then : enableval=$enable_aleph; |