Add gcc5 build dependency

- mCRL2 does not build with GCC 6, so we need to build it using GCC 5
    see https://bugs.debian.org/811860

- Fixed a small url issue in the PKGBUILD

1 files changed, 4 insertions, 4 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 541a2a523a8d..deefb0692a79 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,12 +2,12 @@
 
 pkgname=mcrl2
 pkgver=201409.1
-pkgrel=2
+pkgrel=3
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
 depends=('boost' 'qt4' 'glu')
-makedepends=('cmake')
-url=('http://www.mcrl2.org')
+makedepends=('cmake' 'gcc5')
+url=http://www.mcrl2.org
 license=('custom')
 source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
 md5sums=('32818c4111aa406033e865c30ac7862b')
@@ -15,7 +15,7 @@ install='mcrl2.install'
 
 build() {
   cd $srcdir/$pkgname-$pkgver
-  cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
+  CC=gcc-5 CXX=g++-5 cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
   make
 }