From 41878598c4bd0f152b91ba1cbf324618820553ac Mon Sep 17 00:00:00 2001 From: David P Date: May 24 2022 10:12:30 +0000 Subject: texlive-bin: better way to disable xindy for armv7h Before this change, the armv7h build failed Signed-off-by: David P --- diff --git a/libre/texlive-bin/PKGBUILD b/libre/texlive-bin/PKGBUILD index 0df295b..9bc5cac 100644 --- a/libre/texlive-bin/PKGBUILD +++ b/libre/texlive-bin/PKGBUILD @@ -312,7 +312,6 @@ texdoctk texexec texfot texhash -texindy texlinks texliveonfly texloganalyser @@ -332,8 +331,14 @@ vpl2ovp vpl2vpl xhlatex xindex -$( [[ "$CARCH" != "armv7h" ]] && echo 'xindy') " +if [[ "$CARCH" != "armv7h" ]]; then + _core_scripts+=" +texindy +xindy +" +fi + _games_scripts="rubikrotation" _humanities_scripts="diadia" _langcyrillic_scripts="rubibtex rumakeindex"