Date: Sunday, December 18, 2022 @ 14:58:03 Author: arojas Revision: 1360492
upgpkg: gap 4.12.2-2: Use system nauty Modified: gap/trunk/PKGBUILD ----------+ PKGBUILD | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-12-18 14:48:26 UTC (rev 1360491) +++ PKGBUILD 2022-12-18 14:58:03 UTC (rev 1360492) @@ -5,7 +5,7 @@ pkgbase=gap pkgname=(gap gap-packages) pkgver=4.12.2 -pkgrel=1 +pkgrel=2 pkgdesc='Groups, Algorithms, Programming: a system for computational discrete algebra' arch=(x86_64) url='https://www.gap-system.org/' @@ -23,6 +23,8 @@ sed -e 's|need_included_libsemigroups=yes|need_included_libsemigroups=no|' -i pkg/semigroups/configure # Use system normaliz rm pkg/normalizinterface/prerequisites.sh +# Use system nauty + rm -r pkg/grape/{configure,Makefile*,nauty*} # Fix https://bugs.archlinux.org/task/55174 sed -e '/xgap/d' -i pkg/sonata/PackageInfo.g sed -e '/XGAP/d' -i pkg/cryst/PackageInfo.g @@ -75,7 +77,7 @@ package_gap-packages() { depends=(gap) - optdepends=('libxaw: xgap package' 'c-xsc: float package' 'mpfi: float package' + optdepends=('libxaw: xgap package' 'c-xsc: float package' 'mpfi: float package' 'nauty: grape package' 'libmpc: float package' 'fplll: float package' 'zeromq: ZeroMQ interface package' 'planarity: digraph package' 'curl: curl interface package' 'libsemigroups: semigroups package' 'cddlib: CddLib interface package' 'normaliz: NormalizInterface package' 'pari: alnuth package' 'singular: singular package' 'polymake: polymaking package') @@ -103,6 +105,10 @@ # remove bundled planarity rm -r "$pkgdir"/usr/lib/gap/pkg/digraphs/bin/lib/ +# use system nauty in grape package + install -d "$pkgdir"/usr/lib/gap/pkg/grape/bin/x86_64-pc-linux-gnu-default64-kv8 + ln -s /usr/bin/dreadnaut "$pkgdir"/usr/lib/gap/pkg/grape/bin/x86_64-pc-linux-gnu-default64-kv8 + # remove leftover binaries and source files find "$pkgdir"/usr/lib/gap/pkg -name .libs -o -name '*.o' | xargs rm -fr find "$pkgdir"/usr/lib/gap/pkg -type d -name src | xargs rm -fr
