MCRL2 PKGBUILD

# Maintainer: Bram Schoenmakers <me@bramschoenmakers.nl>

pkgname=mcrl2
pkgver=201107.1
pkgrel=3
pkgdesc="mCRL2 is a formal specification language with an associated toolset."
arch=('i686' 'x86_64')
depends=('wxgtk')
makedepends=('cmake')
url=('http://www.mcrl2.org')
license=('custom')
source=("http://www.win.tue.nl/mcrl2/download/release/$pkgname-$pkgver-src.tar.gz")
md5sums=('92cea7a1f2232ff1982d8a19c78264a2')

build() {
  mkdir $srcdir/build
  cd $srcdir/build

  cmake -DCMAKE_INSTALL_PREFIX=/usr $srcdir/$pkgname-$pkgver
  make
}

package() {
  cd $srcdir/build

  make DESTDIR=$pkgdir install
}
# vim:syntax=sh