diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 } |