Hi I'm attaching an ebuild for uppaal-4.0.4 avalible from http://uppaal.com. From the description on the page: "Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.)." We are some students at Aalborg University who are beeing tutored in using this tool, as a lot of us are using Gentoo Linux I thought I would create an ebuild for the project. I hope this gets accepted into portage before everyone have to install it manually. ;) Thanks in advance. Reproducible: Always Steps to Reproduce:
Created attachment 108961 [details] dev-util/uppaal/uppaal-4.0.4.ebuild Ebuild for the project
Created attachment 108963 [details] licenses/uppaal License for the project
Seems to work fine on x86. :)
Yep, no problems so far...
Maybe you should add in the discription after install, that if users experience a white screen, they should add the line: export AWT_TOOLKIT=MToolkit to a place like .bashrc due to a javabug
Hi Rasmus I cannot find any information on this bug, is it a bug specific to java or to uppaal ? Where can I find additional information about it?
Version 4.0.5 of uppaal is available, just bumping the version works fine.
Version 4.0.6 of uppaal is now available, and just bumping the version functions again.
(this is an automated message based on filtering criteria that matched this bug) 'EBUILD' is in the KEYWORDS which should mean that there is a ebuild attached to this bug. This bug is assigned to maintainer-wanted which means that it is not in the main tree. Heuristics show that no Gentoo developer has commented on your ebuild. Hello, The Gentoo Team would like to firstly thank you for your ebuild submission. We also apologize for not being able to accommodate you in a timely manner. There are simply too many new packages. Allow me to use this opportunity to introduce you to Gentoo Sunrise. The sunrise overlay[1] is a overlay for Gentoo which we allow trusted users to commit to and all users can have ebuilds reviewed by Gentoo devs for entry into the overlay. So, the sunrise team is suggesting that you look into this and submit your ebuild to the overlay where even *you* can commit to. =) Because this is a mass message, we are also asking you to be patient with us. We anticipate a large number of requests in a short time. Thanks, On behalf of the Gentoo Sunrise Team, Jeremy. [1]: http://www.gentoo.org/proj/en/sunrise/ [2]: http://overlays.gentoo.org/proj/sunrise/wiki/SunriseFaq
