summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJorai Rijsdijk2018-09-09 14:53:38 +0200
committerJorai Rijsdijk2018-09-09 14:53:38 +0200
commit32b71df3eed0d168d99c76a806c3c799b00a1c5d (patch)
treebed35654e10ef56260ab48b7435057ca1fd68fc0
parentd5718c7c631d307a8b5704d801f0249508fb8275 (diff)
downloadaur-32b71df3eed0d168d99c76a806c3c799b00a1c5d.tar.gz
Update to 201808.0 release
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD8
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 611373ae5a53..34278a51decb 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = mcrl2
pkgdesc = A formal specification language with an associated toolset.
- pkgver = 201707.1
+ pkgver = 201808.0
pkgrel = 1
url = http://www.mcrl2.org
install = mcrl2.install
@@ -12,8 +12,8 @@ pkgbase = mcrl2
depends = boost
depends = qt5-base
depends = glu
- source = http://mcrl2.org/download/release/mcrl2-201707.1.tar.gz
- sha256sums = 9504efd8fa4fe60b4072c709b14da3f776ba9eb48fe51f0cbce188a3244910b1
+ source = http://mcrl2.org/download/release/mcrl2-201808.0.tar.gz
+ sha256sums = cf5d75f512a92d3f56b5899f4f226f9225404452afba88e838c660c7e14a8018
pkgname = mcrl2
diff --git a/PKGBUILD b/PKGBUILD
index 91f9a4526bdb..273b9ce21236 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
pkgname=mcrl2
-pkgver=201707.1
+pkgver=201808.0
pkgrel=1
pkgdesc="A formal specification language with an associated toolset."
arch=('i686' 'x86_64')
@@ -10,17 +10,17 @@ makedepends=('cmake' 'gcc')
url=http://www.mcrl2.org
license=('custom')
source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
-sha256sums=('9504efd8fa4fe60b4072c709b14da3f776ba9eb48fe51f0cbce188a3244910b1')
+sha256sums=('cf5d75f512a92d3f56b5899f4f226f9225404452afba88e838c660c7e14a8018')
install='mcrl2.install'
build() {
- cd $srcdir/$pkgname-$pkgver
+ cd $srcdir
cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
make $MAKEFLAGS
}
package() {
- cd $srcdir/$pkgname-$pkgver
+ cd $srcdir
cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
# install license