TERMUX_PKG_HOMEPAGE=https://www.tug.org/texlive/
TERMUX_PKG_DESCRIPTION="TeX Live is a distribution of the TeX typesetting system."
TERMUX_PKG_MAINTAINER="Henrik Grimler @Grimler91"
-_MAJOR_VERSION=20170524
-_MINOR_VERSION=
-TERMUX_PKG_REVISION=2
-TERMUX_PKG_VERSION=${_MAJOR_VERSION}${_MINOR_VERSION}
+TERMUX_PKG_VERSION=20170524
+TERMUX_PKG_REVISION=7
TERMUX_PKG_SRCURL=ftp://tug.org/historic/systems/texlive/${TERMUX_PKG_VERSION:0:4}/texlive-${TERMUX_PKG_VERSION}-source.tar.xz
TERMUX_PKG_SHA256="0161695304e941334dc0b3b5dabcf8edf46c09b7bc33eea8229b5ead7ccfb2aa"
TERMUX_PKG_DEPENDS="freetype, libpng, libgd, libgmp, libmpfr, libicu, liblua, poppler, libgraphite, harfbuzz-icu, perl"
# Add bin dir to path for new shells (doesn't work for zsh and others)
mkdir -p $TERMUX_PREFIX/etc/profile.d/
echo "#!$TERMUX_PREFIX/bin/sh" > $TERMUX_PREFIX/etc/profile.d/texlive.sh
+ echo "export TMPDIR=$TERMUX_PREFIX/tmp" >> $TERMUX_PREFIX/etc/profile.d/texlive.sh
echo "export PATH=\$PATH:$TL_BINDIR" >> $TERMUX_PREFIX/etc/profile.d/texlive.sh
chmod 0744 $TERMUX_PREFIX/etc/profile.d/texlive.sh
# Replace tlmgr link with a small wrapper that prevents common break on "tlmgr update --self"
termux_step_create_debscripts () {
# Clean texlive's folder if needed (run on fresh install)
- echo "#!$TERMUX_PREFIX/bin/sh" > preinst
+ echo "#!$TERMUX_PREFIX/bin/bash" > preinst
echo "if [ ! -f $TERMUX_PREFIX/opt/texlive/2016/install-tl -a ! -f $TERMUX_PREFIX/opt/texlive/2017/install-tl ]; then exit 0; else echo 'Removing residual files from old version of TeX Live for Termux'; fi" >> preinst
echo "rm -rf $TERMUX_PREFIX/etc/profile.d/texlive.sh" >> preinst
echo "rm -rf $TERMUX_PREFIX/opt/texlive/2016" >> preinst
# Let's not delete the previous texmf-dist so that people who have installed a full distribution won't need to download everything again
+ echo "shopt -s extglob" >> preinst # !(texmf-dist) is an extended glob which is turned off in scripts
echo "rm -rf $TERMUX_PREFIX/opt/texlive/2017/!(texmf-dist)" >> preinst
+ echo "shopt -u extglob" >> preinst # disable extglob again just in case
echo "exit 0" >> preinst
chmod 0755 preinst
}