diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-12 18:16:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-12 18:16:15 +0000 |
commit | af2e0569de88f0e383be470cfb73c99434ecdc92 (patch) | |
tree | 1150c1e116bacce24c382ba82b8224d4ebe5b7cd /Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc | |
parent | 0cef033aa1304a734eabb3d03ad40148e2f70ca2 (diff) |
first attempt at luahbtex as engine for lualatex-dev, per latex request
git-svn-id: svn://tug.org/texlive/trunk@52744 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc b/Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc index 7f333ab0ebe..fb4df95bf3a 100644 --- a/Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc +++ b/Master/tlpkg/tlpsrc/latex-bin-dev.tlpsrc @@ -32,10 +32,20 @@ execute AddFormat name=dvilualatex-dev engine=luatex \ options="dvilualatex.ini" \ fmttriggers=${fmtcomm},${luafmtdeps} # -binpattern f bin/${ARCH}/lualatex-dev -execute AddFormat name=lualatex-dev engine=luatex \ +# binpattern below. +execute AddFormat name=lualatex-dev engine=luahbtex \ patterns=language.dat,language.dat.lua \ options="lualatex.ini" \ fmttriggers=${fmtcomm},${luafmtdeps} docpattern f texmf-dist/doc/man/man1/latex-dev.* + +# before the TL'20 release, let's include luahbtex here. +# We only have it for auto-built platforms and Windows, +# via /home/texlive/luahbtmp on tug. +# +tlpsetvar no_luahb_platforms \ + aarch64-linux,amd64-netbsd,armhf-linux,i386-cygwin,i386-netbsd,x86_64-cygwin +# +binpattern f/!${no_luahb_platforms} bin/${ARCH}/luahbtex +binpattern f/!${no_luahb_platforms} bin/${ARCH}/lualatex-dev |