Opened 13 years ago

Closed 13 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)

Portfile (1.4 KB) - added by alex_a_bordeaux@… 13 years ago.
Portfile (adapted)
Portfile-spin.diff (1.5 KB) - added by alex_a_bordeaux@… 13 years ago.

Download all attachments as: .zip

Change History (6)

Changed 13 years ago by alex_a_bordeaux@…

Attachment: Portfile added

Portfile (adapted)

comment:1 Changed 13 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 13 years ago by alex_a_bordeaux@…

Attachment: Portfile-spin.diff added

comment:2 in reply to:  1 Changed 13 years ago by alex_a_bordeaux@…

ouphs... sorry... submitted wrong file earlier... added the diff :)

comment:3 Changed 13 years ago by mf2k (Frank Schima)

Keywords: haspatch added
Owner: changed from macports-tickets@… to jann@…
Version: 1.9.2

comment:4 Changed 13 years ago by roederja

Resolution: fixed
Status: newclosed

Committed in r76714 . Xspin seems to have been replaced by iSpin, so I install that instead.

Note: See TracTickets for help on using tickets.