Update to version 201707.1

1 files changed, 8 insertions, 11 deletions

diff --git a/PKGBUILD b/PKGBUILD
index deefb0692a79..91f9a4526bdb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,31 +1,28 @@
-# Maintainer: Nikolaos Bezirgiannis <bezeria at gmail dot com>
+# Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
 
 pkgname=mcrl2
-pkgver=201409.1
-pkgrel=3
+pkgver=201707.1
+pkgrel=1
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
-depends=('boost' 'qt4' 'glu')
-makedepends=('cmake' 'gcc5')
+depends=('boost' 'qt5-base' 'glu')
+makedepends=('cmake' 'gcc')
 url=http://www.mcrl2.org
 license=('custom')
 source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
-md5sums=('32818c4111aa406033e865c30ac7862b')
+sha256sums=('9504efd8fa4fe60b4072c709b14da3f776ba9eb48fe51f0cbce188a3244910b1')
 install='mcrl2.install'
 
 build() {
   cd $srcdir/$pkgname-$pkgver
-  CC=gcc-5 CXX=g++-5 cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
-  make
+  cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
+  make $MAKEFLAGS
 }
 
 package() {
   cd $srcdir/$pkgname-$pkgver
   cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
 
-  mv ${pkgdir}/usr/share/mcrl2/man/ ${pkgdir}/usr/share/man # relocate the manpages 
-  gzip ${pkgdir}/usr/share/man/man1/*.1 # gunzip the manpages
-
   # install license
   install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
   install -m644 LICENSE_1_0.txt "${pkgdir}/usr/share/licenses/${pkgname}/"