From 41878598c4bd0f152b91ba1cbf324618820553ac Mon Sep 17 00:00:00 2001 From: David P Date: Tue, 24 May 2022 06:12:30 -0400 Subject: texlive-bin: better way to disable xindy for armv7h Before this change, the armv7h build failed Signed-off-by: David P --- libre/texlive-bin/PKGBUILD | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'libre') diff --git a/libre/texlive-bin/PKGBUILD b/libre/texlive-bin/PKGBUILD index 0df295bc4..9bc5cac68 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" -- cgit v1.2.3