diff options
| author | David P <megver83@parabola.nu> | 2022-05-24 06:12:30 -0400 |
|---|---|---|
| committer | David P <megver83@parabola.nu> | 2022-05-24 06:12:30 -0400 |
| commit | 41878598c4bd0f152b91ba1cbf324618820553ac (patch) | |
| tree | d01cf66c8582bf968631de95439750de1361ac11 | |
| parent | fc091e2088b9e9ab8e6d23dcd80e8b3abf31ddee (diff) | |
texlive-bin: better way to disable xindy for armv7h
Before this change, the armv7h build failed
Signed-off-by: David P <megver83@parabola.nu>
| -rw-r--r-- | libre/texlive-bin/PKGBUILD | 9 |
1 files changed, 7 insertions, 2 deletions
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" |