diff options
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | PKGBUILD | 22 | ||||
| -rw-r--r-- | rodin.desktop | 9 |
3 files changed, 28 insertions, 15 deletions
@@ -1,6 +1,6 @@ pkgbase = rodin - pkgdesc = Open tool platform for the cost effective rigorous development of dependable complex software systems services. - pkgver = 3.0.1 + pkgdesc = Tool for cost effective rigorous development of dependable software systems + pkgver = 3.2 pkgrel = 1 url = http://www.event-b.org arch = i686 @@ -11,11 +11,11 @@ pkgbase = rodin depends = libxrender depends = fontconfig depends = java-runtime - source = rodin.profile - source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.0.1/rodin-3.0.1.201406111447-5326174-linux.gtk.x86.tar.gz - md5sums = c9fcb488308b15325449384d0fe9c411 + source = rodin.desktop + source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.2/rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86.tar.gz + md5sums = b9941b26369aff6665dcde43091ebef9 md5sums = 7f52140cc41133908b19ed8758d9b80b - sha256sums = 69193f15dabda1ee69b45744a22f0306f67793e71b629befcbd3e27c93ff5b8e + sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75 sha256sums = ede945b0abde3c1167d77f1cedba15c2234671a4c8e3e65cfbfd487fad0dee2a pkgname = rodin @@ -1,22 +1,22 @@ # Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com> pkgname=rodin -pkgver=3.0.1 -pkgver_upstream=201406111447-5326174 +pkgver=3.2 +pkgver_upstream=0.201506220911-ecacdcb pkgrel=1 -pkgdesc="Open tool platform for the cost effective rigorous development of dependable complex software systems services." +pkgdesc="Tool for cost effective rigorous development of dependable software systems" arch=('i686' 'x86_64') url="http://www.event-b.org" license=('CPL' 'EPL') depends=('python' 'libxrender' 'fontconfig' 'java-runtime') -source=(rodin.profile) -md5sums=('c9fcb488308b15325449384d0fe9c411') -sha256sums=('69193f15dabda1ee69b45744a22f0306f67793e71b629befcbd3e27c93ff5b8e') +source=('rodin.desktop') +md5sums=('b9941b26369aff6665dcde43091ebef9') +sha256sums=('aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75') if test "$CARCH" == x86_64; then source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86_64.tar.gz) - md5sums+=('386e1b1a3d3e343f624e4cdda6719630') - sha256sums+=('acbcfa9c1f9619862c20b7275eef1fdf33c54132ce2c307061867ed3bd255c13') + md5sums+=('2da46b2fd30ae5dff7d466baf475bf55') + sha256sums+=('36e3ac4ab30586f12bd552902e9afb4e50a4bd3cb711ee4f9becbec88ea5385e') else source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86.tar.gz) md5sums+=('7f52140cc41133908b19ed8758d9b80b') @@ -27,5 +27,9 @@ package() { cd $srcdir/$pkgname mkdir -p $pkgdir/opt/rodin || return 1 cp -rf * $pkgdir/opt/rodin || return 1 - install -m 755 -D $srcdir/rodin.profile $pkgdir/etc/profile.d/rodin.sh + mkdir -p $pkgdir/usr/share/pixmaps + install $pkgdir/opt/rodin/icon.xpm $pkgdir/usr/share/pixmaps/rodin.xpm + mkdir -p $pkgdir/usr/share/applications + install -m 755 $srcdir/rodin.desktop $pkgdir/usr/share/applications/rodin.desktop + #install -m 755 -D $srcdir/rodin.profile $pkgdir/etc/profile.d/rodin.sh } diff --git a/rodin.desktop b/rodin.desktop new file mode 100644 index 000000000000..a97f90d44bdc --- /dev/null +++ b/rodin.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Name=Rodin +Comment=A tool for cost effective rigorous development of dependable software systems +Icon=rodin +Exec=/opt/rodin/rodin +Terminal=false +Type=Application +Categories=Development;IDE;Java; +StartupNotify=true |