[arch-commits] Commit in libsemigroups (3 files)

[Antonio Rojas]

    Date: Saturday, June 22, 2019 @ 10:46:21
  Author: arojas
Revision: 482758

archrelease: copy trunk to community-x86_64

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

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

Copied: libsemigroups/repos/community-x86_64/PKGBUILD (from rev 482757, libsemigroups/trunk/PKGBUILD)
===================================================================
--- repos/community-x86_64/PKGBUILD	                        (rev 0)
+++ repos/community-x86_64/PKGBUILD	2019-06-22 10:46:21 UTC (rev 482758)
@@ -0,0 +1,23 @@
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=libsemigroups
+pkgver=0.6.7
+pkgrel=1
+pkgdesc="C++ library for semigroups and monoids"
+url="https://libsemigroups.github.io/libsemigroups/"
+arch=(x86_64)
+license=(GPL3)
+depends=(gcc-libs)
+source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz)
+sha256sums=('635ac5ef9251b22092028d6a28ce0493fff3ec7c0dc39a8600d90c8371db3a6c')
+
+build() {
+  cd $pkgname-$pkgver
+  ./configure --prefix=/usr
+  make
+}
+
+package() {
+  cd $pkgname-$pkgver
+  make DESTDIR="$pkgdir" install
+}