blob: ae3333de758f6db2d99e8956d2ef3bc19b996526 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
pkgname=mcrl2
pkgver=202307.1
pkgrel=1
pkgdesc="A formal specification language with an associated toolset."
arch=('i686' 'x86_64')
provides=('mcrl2')
conflicts=('mcrl2')
depends=('qt5-base' 'glu' 'hicolor-icon-theme')
optdepends=('python: for easily running the included examples')
makedepends=('boost' 'cmake' 'gcc>=7.0')
url=http://www.mcrl2.org
license=('Boost')
source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
sha256sums=('cc21c23bcb46c8ec6a51cd31dedfcdddd521e1e1bbb257a69602bf419b00e090')
install=mcrl2.install
build() {
cd $srcdir/$pkgname-$pkgver
cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
make $MAKEFLAGS
}
package() {
cd $srcdir/$pkgname-$pkgver
cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
}
|