Opened 14 years ago
Closed 14 years ago
#28585 closed update (fixed)
Update Spin Port to Latest Version
Reported by: | alex_a_bordeaux@… | Owned by: | roederja |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | |
Keywords: | haspatch | Cc: | |
Port: | spin |
Description
updating spin (model checker) to latest version 6.0.1. attached portfile is the same as previous version except for adapting to new source file and deleting references to xspin (the tcl/tk interface) which is no longer part of the main distribution.
would be glad if we could incorporate this ! ;-)
Attachments (2)
Change History (6)
Changed 14 years ago by alex_a_bordeaux@…
comment:1 follow-up: 2 Changed 14 years ago by BlackFrog1
Thanks for submitting a new Portfile, but we need a patch file. A Portfile patch makes it a lot easier to see what was changed and easier to track.
Please submit a Portfile patch following the instruction from here http://guide.macports.org/#development.patches
Changed 14 years ago by alex_a_bordeaux@…
Attachment: | Portfile-spin.diff added |
---|
comment:2 Changed 14 years ago by alex_a_bordeaux@…
ouphs... sorry... submitted wrong file earlier... added the diff :)
comment:3 Changed 14 years ago by mf2k (Frank Schima)
Keywords: | haspatch added |
---|---|
Owner: | changed from macports-tickets@… to jann@… |
Version: | 1.9.2 |
comment:4 Changed 14 years ago by roederja
Resolution: | → fixed |
---|---|
Status: | new → closed |
Committed in r76714 . Xspin seems to have been replaced by iSpin, so I install that instead.
Portfile (adapted)