BSD Portsdevel/spin 6.5.2_1 FreeBSD
On-the-fly verification system for asynchronous concurrent systems
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- BSD3CLAUSE
- Categories
- devel
- Package size
- 460.1 KiB, 1467.2 KiB installed
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).
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | devel/spin | 6.5.2_1 |
| OpenBSD | lang/spin | 6.4.7p0 |
| NetBSD | devel/spin | 6.5.2 |
| DragonFly | devel/spin | 6.5.2_1 |
Install
Binary package:
pkg install spinFrom the ports tree:
cd /usr/ports/devel/spin/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= spin>0:devel/spinPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 6.5.2_1 | 6.5.2_1 | 6.5.0 | 6.5.2_1 | 6.5.2_1 |
| FreeBSD:14:quarterly | 6.5.2_1 | 6.5.2_1 | n/a | 6.5.2_1 | 6.5.2_1 |
| FreeBSD:15:latest | 6.5.2_1 | 6.5.2_1 | n/a | 6.5.2_1 | 6.5.2_1 |
| FreeBSD:15:quarterly | 6.5.2_1 | 6.5.2_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 6.5.2_1 | 6.5.2_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 18
Run dependencies 18
No port depends on this one.
Configuration
Options name: devel_spin
| Option | Default | Description |
|---|---|---|
| DOCS | off | Build and/or install documentation |
| EXAMPLES | off | Build and/or install examples |
| ISPIN | on | Install ispin and TCL/Tk dependency |
- USES
- cpe
- Service scripts
- none
Files
Manual pages 1
- spin(1)
pkg-plist 3
- bin/spin
- bin/ispin
- share/man/man1/spin.1.gz
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| nimble-code-Spin-version-6.5.2_GH0.tar.gz | 6.084903e+06 | e46a3bd308c4cd213cc466a8aaecfd5cedc02241190f3cb9a1d1b87e5f37080a |
Commit history 0
No commits in the history this site was built from.