Summary: | New package: spin (formal software systems verification tool) | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Christian Schlotter <again> |
Component: | New packages | Assignee: | Default Assignee for New Packages <maintainer-wanted> |
Status: | CONFIRMED --- | ||
Severity: | normal | CC: | mueller_felix |
Priority: | Normal | Keywords: | EBUILD |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | http://spinroot.com/ | ||
Whiteboard: | sunrise suggested | ||
Package list: | Runtime testing required: | --- | |
Attachments: |
spin-4.2.6.ebuild
spin-4.2.6-xspin_wish_path.patch SPIN public license spin-4.2.6.ebuild spin-4.2.6.ebuild spin-4.2.6.ebuild spin-4.2.6-xspin_time_not_found.patch spin-4.2.6.ebuild spin-4.2.7 Package (contains portage tree directory) SPIN-Commercial (needs to go in /usr/portage/licenses) spin-5.2.2 ebuild with hierarchy spin 5.2.2 ebuild with patch for time in xspin there is an error, because of the syntax in the time statement, just deactivated it |
Description
Christian Schlotter
2005-11-05 04:52:18 UTC
Created attachment 72164 [details]
spin-4.2.6.ebuild
Created attachment 72165 [details, diff]
spin-4.2.6-xspin_wish_path.patch
Created attachment 72166 [details] SPIN public license http://cm.bell-labs.com/cm/cs/what/spin/SPIN_public_license.txt From README.html: "Spin is distributed in source form to encourage research in formal verification, and to help a support friendly and open exchange of algorithms, ideas, and tools. The software itself has a copyright from Lucent Technologies and Bell Laboratories, and is distributed for research and educational purposes only (i.e., no guarantee of any kind is implied by the distribution of the code, and all rights are reserved by the copyright holder). For this general use of Spin, no license is required. Commercial application of the Spin software is also allowed, but requires the acceptance of a basic license. Refer to the Spin Public license for details." Created attachment 72168 [details]
spin-4.2.6.ebuild
cleanup
Created attachment 72251 [details]
spin-4.2.6.ebuild
RDEPEND update
Created attachment 72282 [details]
spin-4.2.6.ebuild
Created attachment 72283 [details, diff]
spin-4.2.6-xspin_time_not_found.patch
This was needed because on my system "time" is not an executable, but a
reserved word in bash.
Created attachment 72467 [details]
spin-4.2.6.ebuild
Change:
xspin has the optional runtime dependency graphviz. It detects automatically
if dot (provided by graphviz) is present.
Thank you for your ebuild Christian Schlotter :) Spin 4.2.7 has been released, Schlotters ebuild can be used by : 1) Renaming spin-4.2.6 to spin-4.2.7.ebuild 2) Within the ebuild, line 7, replacing MY_PV="426" with MY_PV="427" 3) Within the patches, renaming xspin426.tcl to xspin427.tcl (twice for each patch) Then it installs and seems to be working OK. Created attachment 99827 [details]
spin-4.2.7 Package (contains portage tree directory)
I had noticed that there was no ebuild for Spin in the tree, so I just spent an hour making one for version 4.2.7. Then when I was going to post it, I did a search and saw all the wonderful work you guys have already done :) Nonetheless, here is my contribution. I haven't made any attempts to sync it up with your existing 4.2.6 ebuild, but it takes care of all the features, including Xspin, dot, and it even presents the user with the license, which they must accept before continuing!
To use this package, untar it into your /usr/local/portage directory. Make sure you have set PORTDIR_OVERLAY="/usr/local/portage" in /etc/make.conf too. There are two USE flags, 'xspin' and 'dot', which will install Xspin and Graphviz for dot, respectively. To set the flags just for this package, add a line in /etc/portage/package.use that says 'sci-mathematics/spin xspin dot'. That's it!
Cheers,
Jeff
(In reply to comment #9) > 2) Within the ebuild, line 7, replacing MY_PV="426" with MY_PV="427" An improvement would be to replace line 7 with MY_PV=${PV//.} (In reply to comment #10) Thanks for your contribution, Jeff! I realize after talking with someone that we're not supposed to include the license like I did. It should already be a part of /usr/portage/licenses. So does anyone know how to go about adding a license? We need to add "SPIN-Commercial" to the licenses. I've attached the license text file to this bug. Cheers, Jeff Created attachment 99896 [details]
SPIN-Commercial (needs to go in /usr/portage/licenses)
You could just use the methods of the versionator eclass to do this as well. That way you don't need to define MY_PV; you can just work with ${PV} instead. (In reply to comment #11) > (In reply to comment #9) > > 2) Within the ebuild, line 7, replacing MY_PV="426" with MY_PV="427" > > An improvement would be to replace line 7 with > MY_PV=${PV//.} > > (In reply to comment #10) > > Thanks for your contribution, Jeff! > (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 Created attachment 205022 [details]
spin-5.2.2 ebuild with hierarchy
I today altered the ebuild to the new version (5.2.2). It's my first ebuild, advise and corrections are welcome.
modified the ebuild, got rid of the sed calls in ebuild and adapted the time_patch of Christian Schlotter Created attachment 209909 [details]
spin 5.2.2 ebuild with patch for time
Created attachment 209910 [details, diff]
in xspin there is an error, because of the syntax in the time statement, just deactivated it
|