Package Details: rodin 3.4-2

Git Clone URL: https://aur.archlinux.org/rodin.git (read-only)
Package Base: rodin
Description: Tool for cost effective rigorous development of dependable software systems
Upstream URL: http://www.event-b.org
Licenses: EPL, CPL
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 3
Popularity: 0.000001
First Submitted: 2015-11-24 10:10
Last Updated: 2019-04-03 05:22

Latest Comments

sseneca commented on 2019-04-03 08:49

This now installs but the package doesn't get added to PATH. The following lines fixed the issue in my PKGBUILD:

mkdir -p $pkgdir/usr/bin/
ln -s "/opt/$pkgname/$pkgname" "$pkgdir/usr/bin/$pkgname"

and appending them to the end of your PKGBUILD also seems to fix the issue. Unless those are the lines that don't follow the guidelines you mentioned?

Also, arch=('i686' 'x86_64') should surely be changed to arch=('x86_64') since rodin 3.4 isn't offered in a 32-bit version.

kaptoxic commented on 2019-04-03 05:24

Updated it again, I hope this was an error due to the architecture flag.

sseneca commented on 2019-04-01 21:29

Cool! I tried to install it again from the AUR, but got an error:

==> Making package: rodin 3.4-1 (Mon Apr  1 22:24:53 2019)
==> Retrieving sources...
  -> Found rodin.desktop
  -> Downloading rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64.tar.gz...
==> ERROR: Integrity checks (md5) differ in size from the source array.

kaptoxic commented on 2019-04-01 01:00

Thanks. Updated. (The PKGBUILD does not follow some guidelines, so I modified it a bit differently.)

sseneca commented on 2019-03-26 23:18

Here is a PKGBUILD updated for version 3.4 of rodin: https://gitlab.com/sseneca/rodin-aur/blob/master/PKGBUILD