Date: Friday, August 28, 2020 @ 17:35:58 Author: arojas Revision: 691109
archrelease: copy trunk to community-x86_64 Added: libsemigroups/repos/community-x86_64/PKGBUILD (from rev 691108, libsemigroups/trunk/PKGBUILD) Deleted: libsemigroups/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 58 +++++++++++++++++++++++++++------------------------------- 1 file changed, 27 insertions(+), 31 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-08-28 17:35:48 UTC (rev 691108) +++ PKGBUILD 2020-08-28 17:35:58 UTC (rev 691109) @@ -1,31 +0,0 @@ -# Maintainer: Antonio Rojas <aro...@archlinux.org> - -pkgname=libsemigroups -pkgver=1.3.0 -pkgrel=1 -pkgdesc="C++ library for semigroups and monoids" -url="https://libsemigroups.github.io/libsemigroups/" -arch=(x86_64) -license=(GPL3) -depends=(gcc-libs) -makedepends=(fmt eigen) -source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz) -sha256sums=('b363d0707cb078e03e19f074c4f0132a9b80782a15acbfcabe42572551c8f3fe') - -prepare() { - echo '3.3.7' > $pkgname-$pkgver/extern/.EIGEN_VERSION -} - -build() { - cd $pkgname-$pkgver - ./configure --prefix=/usr \ - --enable-fmt \ - --with-external-fmt \ - --with-external-eigen - make -} - -package() { - cd $pkgname-$pkgver - make DESTDIR="$pkgdir" install -} Copied: libsemigroups/repos/community-x86_64/PKGBUILD (from rev 691108, libsemigroups/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-08-28 17:35:58 UTC (rev 691109) @@ -0,0 +1,27 @@ +# Maintainer: Antonio Rojas <aro...@archlinux.org> + +pkgname=libsemigroups +pkgver=1.3.1 +pkgrel=1 +pkgdesc="C++ library for semigroups and monoids" +url="https://libsemigroups.github.io/libsemigroups/" +arch=(x86_64) +license=(GPL3) +depends=(gcc-libs) +makedepends=(fmt eigen) +source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz) +sha256sums=('a797435577f4f9c9c48a73fcacc69def7769fef4277de787f421c07c862886f1') + +build() { + cd $pkgname-$pkgver + ./configure --prefix=/usr \ + --enable-fmt \ + --with-external-fmt \ + --with-external-eigen + make +} + +package() { + cd $pkgname-$pkgver + make DESTDIR="$pkgdir" install +}