diff options
| author | Jorai Rijsdijk | 2018-09-09 14:53:38 +0200 |
|---|---|---|
| committer | Jorai Rijsdijk | 2018-09-09 14:53:38 +0200 |
| commit | 32b71df3eed0d168d99c76a806c3c799b00a1c5d (patch) | |
| tree | bed35654e10ef56260ab48b7435057ca1fd68fc0 /PKGBUILD | |
| parent | d5718c7c631d307a8b5704d801f0249508fb8275 (diff) | |
| download | aur-32b71df3eed0d168d99c76a806c3c799b00a1c5d.tar.gz | |
Update to 201808.0 release
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 |