PKGBUILDs/extra/gap/PKGBUILD
2023-07-11 23:06:18 +00:00

134 lines
4.9 KiB
Bash

# Maintainer: Antonio Rojas <arojas@archlinux.org>
# Contributor: TDY <tdy@archlinux.info>
# Contributor: Rémy Oudompheng <oudomphe@clipper.ens.fr>
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
# - rm -fr "$pkgdir"/usr/lib/gap/pkg/digraphs-*/bin/lib/ for aarch64
# - strip -m32 flags
pkgbase=gap
pkgname=(gap gap-packages)
pkgver=4.12.2
pkgrel=3
pkgdesc='Groups, Algorithms, Programming: a system for computational discrete algebra'
arch=(x86_64)
url='https://www.gap-system.org/'
license=(GPL)
source=(https://github.com/gap-system/gap/releases/download/v$pkgver/$pkgbase-$pkgver.tar.gz
package-infos-$pkgver.json.gz::https://github.com/gap-system/gap/releases/download/v$pkgver/package-infos.json.gz)
sha256sums=('672308745eb78a222494ee8dd6786edd5bc331456fcc6456ac064bdb28d587a8'
'33f8e2233e9aa74217741467f0138a932a2dfee212c774eaad0e0ef6876868c2')
makedepends=(libxaw givaro mpfi cddlib boost libsemigroups c-xsc zeromq fplll wget chrpath fmt eigen normaliz jq)
prepare() {
cd gap-$pkgver
# Use system libsemigroups
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
# Strip -m32 flags
sed -e '/-m32/d' -i bin/BuildPackages.sh
}
build() {
cd gap-$pkgver
./configure --prefix=/usr --with-gmp=system
# https://bugzilla.gnome.org/show_bug.cgi?id=655517
sed -i -e 's/ -shared / -Wl,-O1,--as-needed\0/g' libtool
make
# Install libgap so we can link packages against it
mkdir -p tmp-install
make DESTDIR="$srcdir"/gap-$pkgver/tmp-install install-libgap
cd pkg
export CXXFLAGS+=" -I/usr/include/eigen3" # Fix build of semigroups
export LDFLAGS+=" -L$srcdir/gap-$pkgver/tmp-install/usr/lib -lgap" # See https://trac.sagemath.org/ticket/27372
export LD_LIBRARY_PATH="$srcdir"/gap-$pkgver/tmp-install/usr/lib
../bin/BuildPackages.sh --strict
}
_standardpkgs=(gapdoc primgrp smallgrp transgrp atlasrep autpgrp alnuth crisp ctbllib factint fga irredsol laguna
polenta polycyclic radiroot resclasses sophus tomlib utils autodoc)
package_gap() {
depends=(gmp zlib)
optdepends=('gap-packages: extra packages')
conflicts=(gap-doc)
provides=(gap-doc)
replaces=(gap-doc)
cd gap-$pkgver
make DESTDIR="$pkgdir" install
for _pkg in ${_standardpkgs[@]}; do
cp -r pkg/$_pkg "$pkgdir"/usr/share/gap/pkg
done
# Add provides for bundled packages
for _pkg in $(ls "$pkgdir"/usr/share/gap/pkg); do
_ver=$(jq .[\"${_pkg}\"].Version "$srcdir"/package-infos-$pkgver.json | sed -e 's/"//g')
_prov="gap-$_pkg=${_ver/-/.}"
provides+=($_prov)
done
}
package_gap-packages() {
depends=(gap)
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')
pkgdesc="Extra packages for GAP"
cd gap-$pkgver
mkdir -p "$pkgdir"/usr/{bin,lib/gap}
cp -r pkg "$pkgdir"/usr/lib/gap
chmod 755 "$pkgdir"/usr/lib/gap/pkg
# fix xgap launch script
sed -e "s|/build/gap/src/gap-$pkgver|/usr/lib/gap|g" -e 's|^GAP=.*|GAP=/usr/lib/gap/gap|g' \
"$pkgdir"/usr/lib/gap/pkg/xgap/xgap.sh > "$pkgdir"/usr/bin/xgap
chmod 755 "$pkgdir"/usr/bin/xgap
rm "$pkgdir"/usr/lib/gap/pkg/xgap/xgap.sh
# provided by main gap package
for _pkg in ${_standardpkgs[@]}; do
rm -r "$pkgdir"/usr/lib/gap/pkg/$_pkg
done
# fix RPATH
find "$pkgdir"/usr/lib/gap/pkg/ -name '*.so' | xargs chrpath -d
# remove bundled planarity
rm -fr "$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
rm -r "$pkgdir"/usr/lib/gap/pkg/digraphs/extern
rm -r "$pkgdir"/usr/lib/gap/pkg/semigroups/libsemigroups
rm -r "$pkgdir"/usr/lib/gap/pkg/caratinterface/carat*
rm -r "$pkgdir"/usr/lib/gap/pkg/kbmag/standalone
rm -r "$pkgdir"/usr/lib/gap/pkg/log
# Add provides for bundled packages
for _pkg in $(ls "$pkgdir"/usr/lib/gap/pkg); do
_ver=$(jq .[\"${_pkg}\"].Version "$srcdir"/package-infos-$pkgver.json | sed -e 's/"//g')
_prov="gap-$_pkg=${_ver/-/.}"
provides+=($_prov)
done
}