diff options
author | Jorai Rijsdijk | 2019-09-13 15:09:38 +0200 |
---|---|---|
committer | Jorai Rijsdijk | 2019-09-13 15:09:44 +0200 |
commit | 3fdc53b17e5350b5acaf1d874d766143dea7d59d (patch) | |
tree | c271024b8cb5b9123b12bb248fbc089139a0c0ac /PKGBUILD | |
parent | 32b71df3eed0d168d99c76a806c3c799b00a1c5d (diff) | |
download | aur-3fdc53b17e5350b5acaf1d874d766143dea7d59d.tar.gz |
Update to version 201908.0
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,7 +1,7 @@ # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com> pkgname=mcrl2 -pkgver=201808.0 +pkgver=201908.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=('cf5d75f512a92d3f56b5899f4f226f9225404452afba88e838c660c7e14a8018') -install='mcrl2.install' +sha256sums=('5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4') +install=mcrl2.install build() { - cd $srcdir + cd $srcdir/$pkgname-$pkgver cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 . make $MAKEFLAGS } package() { - cd $srcdir + cd $srcdir/$pkgname-$pkgver cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake # install license |