Pastebin launched a little side project called VERYVIRAL.com, check it out ;-) Want more features on Pastebin? Sign Up, it's FREE!
Guest

MCRL2 PKGBUILD

By: a guest on Dec 29th, 2011  |  syntax: None  |  size: 0.63 KB  |  views: 12  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. # Maintainer: Bram Schoenmakers <me@bramschoenmakers.nl>
  2.  
  3. pkgname=mcrl2
  4. pkgver=201107.1
  5. pkgrel=3
  6. pkgdesc="mCRL2 is a formal specification language with an associated toolset."
  7. arch=('i686' 'x86_64')
  8. depends=('wxgtk')
  9. makedepends=('cmake')
  10. url=('http://www.mcrl2.org')
  11. license=('custom')
  12. source=("http://www.win.tue.nl/mcrl2/download/release/$pkgname-$pkgver-src.tar.gz")
  13. md5sums=('92cea7a1f2232ff1982d8a19c78264a2')
  14.  
  15. build() {
  16.   mkdir $srcdir/build
  17.   cd $srcdir/build
  18.  
  19.   cmake -DCMAKE_INSTALL_PREFIX=/usr $srcdir/$pkgname-$pkgver
  20.   make
  21. }
  22.  
  23. package() {
  24.   cd $srcdir/build
  25.  
  26.   make DESTDIR=$pkgdir install
  27. }
  28. # vim:syntax=sh