Port details |
- spin On-the-fly verification system for asynchronous concurrent systems
- 6.5.0 devel
=3 6.5.0Version of this port present on the latest quarterly branch. - Maintainer: greg@unrelenting.technology
 - Port Added: 2002-06-11 19:34:50
- Last Update: 2022-03-18 13:23:51
- Commit Hash: 7c2bd4b
- People watching this port, also watch:: mutt, sound-juicer, mplayer-skins, p5-Gtk2
- License: BSD3CLAUSE
- Description:
- Spin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).
WWW: http://spinroot.com
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/spin/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/spin
- pkg install spin
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: spin
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1570219065
SHA256 (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 7bd764793621940b7e69eef8210c82c75ccee7745f24927f221d228260505333
SIZE (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 4360118
- Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Library dependencies:
-
- libtk86.so : x11-toolkits/tk86
- libtcl86.so : lang/tcl86
- There are no ports dependent upon this port
- Configuration Options:
- ===> The following configuration options are available for spin-6.5.0:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
ISPIN=on: Install ispin and TCL/Tk dependency
===> Use 'make config' to modify these settings
- Options name:
- devel_spin
- USES:
- cpe shebangfix tk
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
18 Mar 2022 13:23:51 6.5.0
|
Bernhard Froehlich (decke)  |
devel/spin: Add CPE information
Approved by: portmgr (blanket) |
06 Apr 2021 14:31:07 6.5.0
|
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
06 Oct 2019 16:04:08
6.5.0
|
meta  |
devel/spin: Ressurect the port & assign to submitter
it never actually needed gcc, "gcc" was just a hardcoded compiler name
instead of "cc".
While here,
- Upstream switched to GitHub
- Update to 6.5.0
PR: 241067
Submitted by: Greg V <greg@unrelenting.technology> |
05 Sep 2019 11:40:24
6.4.8_2
|
rene  |
Remove expired ports:
2019-09-04 devel/ace+tao-doc: Broken for more than 6 months
2019-09-04 devel/dfmt: Broken for more than 6 months
2019-09-04 devel/ignition-transport: Broken for more than 6 months
2019-09-04 devel/spin: Broken for more than 6 months
2019-09-04 editors/dexed: Depends on expiring devel/dfmt
2019-09-04 editors/p5-Padre: Depends on expiring x11-toolkits/p5-Wx
2019-09-04 emulators/qemu2: Latest 3.X branch is in ports tree
2019-09-04 games/asc: Broken for more than 6 months
2019-09-04 games/slade: Broken for more than 6 months
2019-09-04 graphics/gimp-wavelet-decompose-plugin: Broken for more than 6 months
2019-09-04 graphics/py-pyembree: Depends on expiring graphics/embree
2019-09-04 irc/irssi-otr: Broken for more than 6 months
2019-09-04 mail/p5-Mail-ClamAV: Broken for more than 6 months
2019-09-04 mail/qmail-ldap: Broken for more than 6 months (Only the first 15 lines of the commit message are shown above ) |
04 Aug 2019 09:07:48
6.4.8_2
|
antoine  |
Deprecate ports broken for more than 6 months |
26 Jul 2019 20:46:57
6.4.8_2
|
gerald  |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
08 Mar 2019 07:49:02
6.4.8_1
|
antoine  |
Mark BROKEN: depends on the gcc meta port |
12 Dec 2018 01:35:36
6.4.8_1
|
gerald  |
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590 |
22 Sep 2018 06:27:10
6.4.8
|
yuri  |
devel/spin: Unbreak: the offending patch was obviously only patching comments |
22 Sep 2018 06:13:42
6.4.8
|
antoine  |
Mark BROKEN: fails to patch
Reported by: pkg-fallout |
14 Sep 2018 16:56:48
6.4.8
|
lwhsu  |
- Update to 6.4.8
- SPIN depends on gcc to run |
09 Apr 2016 21:43:01
6.4.5
|
tota  |
- Update to 6.4.5
- Add LICENSE section
- Make use of PORTDOCS, PORTEXAMPLES and some options helpers
- Make portlint happier |
30 Mar 2016 16:41:22
6.4.3
|
culot  |
- Reassign to the heap, on maintainer's request |
19 Dec 2014 20:25:12
6.4.3
|
pawel  |
Update to version 6.4.3
PR: 196071
Submitted by: maintainer |
15 Dec 2014 21:45:00
6.4.2
|
pawel  |
Fix build on FreeBSD 8.x and 9.x
PR: 195687
Submitted by: maintainer |
15 Nov 2014 09:25:58
6.4.2
|
riggs  |
Update to upstream version 6.4.2
Maintainer change from ports@ to Anton Tornqvist (antont@inbox.lv)
PR: 194704
Submitted by: antont@inbox.lv (new maintainer) |
27 Oct 2014 11:07:20
6.3.2
|
bapt  |
Cleanup plist |
06 Aug 2014 15:24:38
6.3.2
|
vanilla  |
1: Upgrade to 6.3.2.
2: Stagify. |
04 Jul 2014 12:06:07
5.2.2
|
bapt  |
Resetting maintainership on ports that have not been staged and without any
pending PR (related to stage)
With hat: portmgr |
10 Jun 2014 07:39:02
5.2.2
|
olgeni  |
Remove indefinite articles and trailing periods from COMMENT, plus
minor COMMENT typos and surrounding whitespace fixes. Categories D-F.
CR: D196
Approved by: portmgr (bapt) |
20 Sep 2013 17:17:45
5.2.2
|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4) |
11 May 2013 13:49:06
5.2.2
|
bapt  |
Convert to new options framework |
03 Jul 2011 14:59:23
5.2.2
|
ohauer  |
-remove MD5 |
30 Oct 2009 00:55:27
5.2.2
|
amdmi3  |
- Update to 5.2.2
- While here, mark MAKE_JOBS_UNSAFE (fails with forced jobs)
PR: 139846
Submitted by: Alexander Best <alexbestms@math.uni-muenster.de>
Approved by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
07 Jan 2009 12:50:20
5.1.7
|
wxs  |
- Update to 5.1.7
PR: ports/130243
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
22 Jul 2008 06:51:30
5.1.6
|
rafan  |
- Update to 5.1.6
PR: ports/125851
Submitted by: Jonathan Hanna <jhanna at shaw.ca> (maintainer) |
07 Mar 2008 13:38:11
5.1.4
|
miwi  |
- Update to 5.1.4
PR: 121442
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
23 Oct 2007 01:32:00
4.3.0
|
rafan  |
- Update to 4.3.0
PR: ports/117394
Submitted by: Jonathan Hanna <jhanna at shaw.ca> (maintainer) |
19 May 2007 20:32:57
4.2.7_1
|
flz  |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
14 Nov 2006 13:48:03
4.2.7
|
ehaupt  |
Update to 4.2.7
PR: 105501
Submitted by: Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer) |
07 Oct 2006 11:24:47
4.2.6_1
|
pav  |
- Fix xspin runtime: sed the correct wish executable into the script
PR: ports/102738 (adapted)
Submitted by: <mitsuru@riken.jp>
Approved by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
04 May 2006 21:41:12
4.2.6
|
edwin  |
Remove USE_REINPLACE from all categories starting with D |
27 Nov 2005 20:46:46
4.2.6
|
mnag  |
Update to 4.2.6
Add SHA256
PR: 89621
Submitted by: Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer) |
23 May 2005 11:46:19
4.2.5
|
barner  |
- Update to 4.2.5 [1]
- Fix portlint warning [2]
- Fix plist w/ NOPORTDOCS (man page) [2]
Submitted by: maintainer[1],
barner [2]
PR: ports/81383 |
08 Mar 2005 18:50:38
4.2.4
|
vs  |
Update to 4.2.4
PR: ports/78572
Submitted by: maintainer |
11 Jan 2005 16:49:42
4.2.2
|
vs  |
Update to 4.2.2
PR: ports/75841
Submitted by: maintainer |
02 Nov 2004 19:09:28
4.2.1
|
pav  |
- Update to 4.2.1
PR: ports/73402
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
02 Jul 2004 23:42:50
4.2.0
|
pav  |
- Update to 4.2.0
PR: ports/68611
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
05 Jun 2004 06:47:30
4.1.3
|
krion  |
- Update to version 4.1.3
PR: ports/67584
Submitted by: maintainer |
09 Mar 2004 22:50:27
4.1.2
|
trevor  |
Use new distfile. Minor changes were made to xspin412.tcl, mostly
in the comments, and DOS-style carriage-return characters were added
to the file.
PR: 63940
Submitted by: Jonathan Hanna (maintainer) |
09 Mar 2004 15:54:22
4.1.2
|
trevor  |
Mark BROKEN due to checksum mismatch. I e-mailed the maintainer
about the problem. |
23 Feb 2004 22:34:47
4.1.2
|
krion  |
- Update to version 4.1.2
PR: ports/63290
Submitted by: maintainer |
23 Jan 2004 05:28:50
4.0.7_1
|
trevor  |
Use LS macro. |
28 Aug 2003 07:43:33
4.0.7_1
|
erwin  |
The HTML documentation tarball has been removed
PR: 56071
Submitted by: maintainer |
08 Aug 2003 22:03:49
4.0.7
|
leeym  |
A newer spin has been released. Also, the current spin suffers
from having been minorly updated without a distfile version bump.
Alternate master sites have been removed for now, they have not
been updated with the current version.
The patch also makes the xspin dependency on with8.4 explicit,
though xspin should work 8.3 as well.
xspin can now be suppressed with WITHOUT_XSPIN.
PR: 55364
Submitted by: Jonathan Hanna <jhanna@shaw.ca> |
07 Aug 2003 08:33:44
4.0.6
|
kris  |
BROKEN: CHecksum mismatch |
04 Jun 2003 14:43:05
4.0.6
|
mich  |
Update spin 4.0.3 -> 4.0.6
PR: 52819
Submitted by: maintainer
Approved by: roberto (mentor) |
11 Apr 2003 16:33:33
4.0.3
|
nork  |
Update to 4.0.3.
PR: ports/50706
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer) |
21 Feb 2003 11:23:04
3.5.2
|
knu  |
De-pkg-comment. |
02 Jan 2003 19:58:31
3.5.2
|
ijliao  |
upgrade to 3.5.2
PR: 46071
Submitted by: maintainer |
16 Oct 2002 21:50:47
3.5.0
|
obraun  |
* Upgrade to 3.5.0.
* Change maintainers email.
* Use REINPLACE.
* Add master site.
PR: 43753
Submitted by: maintainer |
11 Jun 2002 19:31:07
3.4.14
|
sada  |
Category move: math/spin to devel
PR: ports/10396
Submitted by: Daniel C. Sobral <dcs@newsguy.com>
Approved by: maintainer |