mcrl2/PKGBUILD

   1 # Maintainer: Tom Boshoven <tomboshoven@gmail.com>
   2 # Creator: Bram Schoenmakers <me@bramschoenmakers.nl>
   3
   4 pkgname=mcrl2
   5 pkgver=201107.1
   6 pkgrel=3
   7 pkgdesc="mCRL2 is a formal specification language with an associated toolset."
   8 arch=('i686' 'x86_64')
   9 depends=('wxgtk')
  10 makedepends=('cmake')
  11 url=('http://www.mcrl2.org')
  12 license=('custom')
  13 source=("http://www.win.tue.nl/mcrl2/download/release/$pkgname-$pkgver-src.tar.gz")
  14 md5sums=('92cea7a1f2232ff1982d8a19c78264a2')
  15
  16 build() {
  17   mkdir $srcdir/build
  18   cd $srcdir/build
  19
  20   cmake -DCMAKE_INSTALL_PREFIX=/usr $srcdir/$pkgname-$pkgver
  21   make
  22 }
  23
  24 package() {
  25   cd $srcdir/build
  26
  27   make DESTDIR=$pkgdir install
  28 }
  29 # vim:syntax=sh