Update to upstream version 6.4.2
Maintainer change from ports@ to Anton Törnqvist (antont@inbox.lv) PR: 194704 Submitted by: antont@inbox.lv (new maintainer)
This commit is contained in:
parent
e645f42e09
commit
1ddeb0cec9
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=372586
@ -2,12 +2,12 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= spin
|
||||
PORTVERSION= 6.3.2
|
||||
PORTVERSION= 6.4.2
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://spinroot.com/spin/Src/
|
||||
DISTNAME= spin${PORTVERSION:S/.//g}
|
||||
|
||||
MAINTAINER= ports@FreeBSD.org
|
||||
MAINTAINER= antont@inbox.lv
|
||||
COMMENT= On-the-fly verification system for asynchronous concurrent systems
|
||||
|
||||
OPTIONS_DEFINE= ISPIN DOCS
|
||||
@ -17,10 +17,10 @@ ISPIN_DESC= Install xspin and TCL/Tk dependency
|
||||
.include <bsd.port.options.mk>
|
||||
|
||||
.if ${PORT_OPTIONS:MISPIN}
|
||||
USES= shebangfix tk
|
||||
USES= shebangfix tk
|
||||
SHEBANG_FILES= ../iSpin/ispin.tcl
|
||||
tk_OLD_CMD= /bin/sh
|
||||
tk_CMD= ${WISH} -f
|
||||
tk_CMD= ${WISH} -f
|
||||
PLIST_SUB+= ISPIN=""
|
||||
.else
|
||||
PLIST_SUB+= ISPIN="@comment "
|
||||
|
@ -1,2 +1,2 @@
|
||||
SHA256 (spin/spin632.tar.gz) = be2c002e85299af82304e1162d822cb50d75391f511450f58629656e6bd89ad2
|
||||
SIZE (spin/spin632.tar.gz) = 557006
|
||||
SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5
|
||||
SIZE (spin/spin642.tar.gz) = 571071
|
||||
|
@ -7,3 +7,4 @@ 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
|
||||
|
Loading…
Reference in New Issue
Block a user