diff options
| author | Nikolaos Bezirgiannis | 2015-07-06 20:32:27 +0200 |
|---|---|---|
| committer | Nikolaos Bezirgiannis | 2015-07-06 20:32:27 +0200 |
| commit | f15d2bac8dcc9be865bbd60ce88f77c43cb1dbea (patch) | |
| tree | a96e4a8655fd518fb482a99de36a9bf95d0d7216 | |
| download | aur-f15d2bac8dcc9be865bbd60ce88f77c43cb1dbea.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 18 | ||||
| -rw-r--r-- | PKGBUILD | 29 | ||||
| -rw-r--r-- | mcrl2.install | 7 |
3 files changed, 54 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e83ade3443da --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = mcrl2 + pkgdesc = A formal specification language with an associated toolset. + pkgver = 201409.1 + pkgrel = 1 + url = http://www.mcrl2.org + install = mcrl2.install + arch = i686 + arch = x86_64 + license = custom + makedepends = cmake + depends = boost + depends = qt4 + depends = glu + source = http://mcrl2.org/download/release/mcrl2-201409.1.tar.gz + md5sums = 32818c4111aa406033e865c30ac7862b + +pkgname = mcrl2 + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..5de21679ca82 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,29 @@ +# Maintainer: Nikolaos Bezirgiannis <bezeria at gmail dot com> + +pkgname=mcrl2 +pkgver=201409.1 +pkgrel=1 +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 + + # install license + install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}" + install -m644 LICENSE_1_0.txt "${pkgdir}/usr/share/licenses/${pkgname}/" +} diff --git a/mcrl2.install b/mcrl2.install new file mode 100644 index 000000000000..4ea068aa1f9b --- /dev/null +++ b/mcrl2.install @@ -0,0 +1,7 @@ +post_install () { + xdg-icon-resource forceupdate +} + +post_remove () { + xdg-icon-resource forceupdate +} |