blob: 541a2a523a8df70e272d484b3320bddc46304b4c (
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
29
30
31
32
|
# Maintainer: Nikolaos Bezirgiannis <bezeria at gmail dot com>
pkgname=mcrl2
pkgver=201409.1
pkgrel=2
pkgdesc="A formal specification language with an associated toolset."
arch=('i686' 'x86_64')
depends=('boost' 'qt4' 'glu')
makedepends=('cmake')
url=('http://www.mcrl2.org')
license=('custom')
source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
md5sums=('32818c4111aa406033e865c30ac7862b')
install='mcrl2.install'
build() {
cd $srcdir/$pkgname-$pkgver
cmake -DCMAKE_INSTALL_RPATH=/usr/lib/mcrl2 .
make
}
package() {
cd $srcdir/$pkgname-$pkgver
cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
mv ${pkgdir}/usr/share/mcrl2/man/ ${pkgdir}/usr/share/man # relocate the manpages
gzip ${pkgdir}/usr/share/man/man1/*.1 # gunzip the manpages
# install license
install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
install -m644 LICENSE_1_0.txt "${pkgdir}/usr/share/licenses/${pkgname}/"
}
|