[arch-commits] Commit in libsemigroups/repos (2 files)

[Antonio Rojas]

    Date: Sunday, July 18, 2021 @ 20:51:47
  Author: arojas
Revision: 978525

archrelease: copy trunk to community-staging-x86_64

Added:
  libsemigroups/repos/community-staging-x86_64/
  libsemigroups/repos/community-staging-x86_64/PKGBUILD
    (from rev 978524, libsemigroups/trunk/PKGBUILD)

----------+
 PKGBUILD |   27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

Copied: libsemigroups/repos/community-staging-x86_64/PKGBUILD (from rev 978524, libsemigroups/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD	                        (rev 0)
+++ community-staging-x86_64/PKGBUILD	2021-07-18 20:51:47 UTC (rev 978525)
@@ -0,0 +1,27 @@
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=libsemigroups
+pkgver=1.3.7
+pkgrel=3
+pkgdesc='C++ library for semigroups and monoids'
+url='https://libsemigroups.github.io/libsemigroups'
+arch=(x86_64)
+license=(GPL3)
+depends=(fmt)
+makedepends=(eigen)
+source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz)
+sha256sums=('94e1a5e4bd175781b09f85604ae7f42267be57c163160414cdfbc2bf85c158a7')
+
+build() {
+  cd $pkgname-$pkgver
+  ./configure --prefix=/usr \
+              --enable-fmt \
+              --with-external-fmt \
+              --with-external-eigen
+  make
+}
+
+package() {
+  cd $pkgname-$pkgver
+  make DESTDIR="$pkgdir" install
+}