Search Criteria
Package Details: rodin 3.4-2
Git Clone URL: | https://aur.archlinux.org/rodin.git (read-only, click to copy) |
---|---|
Package Base: | rodin |
Description: | Tool for cost effective rigorous development of dependable software systems |
Upstream URL: | http://www.event-b.org |
Licenses: | |
Submitter: | kaptoxic |
Maintainer: | kaptoxic |
Last Packager: | kaptoxic |
Votes: | 3 |
Popularity: | 0.000000 |
First Submitted: | 2015-11-24 10:10 |
Last Updated: | 2019-04-03 05:22 |
Dependencies (4)
- fontconfig (fontconfig-srb, fontconfig-infinality-ultimate, fontconfig-infinality, fontconfig-infinality-remix, fontconfig-git, fontconfig-ubuntu)
- java-runtime (jdk5, tuxjdk, jre7-openjdk-infinality, java-8-openjdk-shenandoah, jre8-openjdk-infinality, java-gcj-compat, jdk9, jre9, jdk-devel, jre10, jdk8-arm64, jdk6, jdk12-openj9-bin, zulu-12-bin, jre6, jre12, jdk8-openjdk-dcevm, jdk11-graalvm-ee-bin, server-jre, jdk8-arm, jdk13-openj9-bin, jdk9-openj9-bin, jdk10, jdk11-openjdk-dcevm, jre8-openjdk-jetbrains, jre8-openjdk-shenandoah, jdk10-openj9-bin, jdk14-openj9-bin, sapmachine-jdk-bin, jdk7, jre7, jdk8-j9-bin, jre14, java-openjdk-bin, jre, jdk-openj9-bin, jdk-arm, jdk-adoptopenjdk, jdk11-adoptopenjdk, liberica-jdk-full-bin, jdk8-jetbrains, zulu-embedded-jdk8, amazon-corretto-11, liberica-jdk-8-full-bin, liberica-jdk-11-bin, liberica-jdk-11-full-bin, liberica-jdk-11-lite-bin, liberica-jre-11-bin, liberica-jre-11-full-bin, liberica-jre-8-full-bin, amazon-corretto-8, jdk8, jre11, zulu-embedded-jdk, jdk7r1-j9-bin, jdk7-j9-bin, zulu-15-bin, zulu-14-bin, zulu-13-bin, jre8, jre8-adoptopenjdk, zulu-embedded-jdk11, jdk-bcl, jre-bcl, jdk8-openj9-bin, zulu-11-bin, zulu-8-bin, amazon-corretto-15, jre-openj9, jre-jetbrains, java-openjdk-ea-bin, java-openjdk-loom-ea-bin, jdk-jetbrains, jdk11-openj9-bin, jre11-jetbrains-imfix, jdk8-graalvm-bin, jdk11-graalvm-bin, jre-openjdk, jre11-openjdk, jre7-openjdk, jre8-openjdk)
- libxrender
- python (python-dbg)
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:
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 toarch=('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:
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