rodin/PKGBUILD

   1 # Contributor: BinkyTheClown <binky_at_archlinux_dot_us>
   2
   3 pkgname=rodin
   4 pkgver=2.2
   5 pkgrel=1
   6 pkgdesc="Open tool platform for the cost effective rigorous development of dependable complex software systems services."
   7 arch=('i686' 'x86_64')
   8 url="http://www.event-b.org"
   9 license=('CPL' 'EPL')
  10 depends=('python' 'libxrender' 'fontconfig' 'java-runtime')
  11 source=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}-linux.gtk.x86.zip
  12         rodin.profile
  13 )
  14 md5sums=('993f561d2ebffa9784a3fec600fa0830'
  15          'c9fcb488308b15325449384d0fe9c411')
  16
  17 build() {
  18         cd $srcdir/$pkgname
  19         mkdir -p $pkgdir/opt/rodin || return 1
  20         cp -rf * $pkgdir/opt/rodin || return 1
  21         install -m 755 -D $srcdir/rodin.profile $pkgdir/etc/profile.d/rodin.sh
  22 }