Attachment #148799 for bug #194704

View | Details | Raw Unified | Return to bug 194704
Collapse All | Expand All




# $FreeBSD$

PORTNAME=	spin
PORTVERSION=	6.4.2
CATEGORIES=	devel
MASTER_SITES=	http://spinroot.com/spin/Src/
DISTNAME=	spin${PORTVERSION:S/.//g}

MAINTAINER=	antont@inbox.lv	
COMMENT=	On-the-fly verification system for asynchronous concurrent systems

OPTIONS_DEFINE=	ISPIN DOCS

.include <bsd.port.options.mk>

.if ${PORT_OPTIONS:MISPIN}
USES=		shebangfix tk
SHEBANG_FILES=	../iSpin/ispin.tcl
tk_OLD_CMD=	/bin/sh
tk_CMD=		${WISH} -f
PLIST_SUB+=	ISPIN=""
.else
PLIST_SUB+=	ISPIN="@comment "

Lines 1-2 Link Here

(-)distinfo (-2 / +2 lines)
1	SHA256 (spin/spin632.tar.gz) = be2c002e85299af82304e1162d822cb50d75391f511450f58629656e6bd89ad2	1	SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5
2	SIZE (spin/spin632.tar.gz) = 557006	2	SIZE (spin/spin642.tar.gz) = 571071

Lines 7-9 Link Here

(-)pkg-descr (+1 lines)
7	time temporal logic.	7	time temporal logic.
8	Spin uses a high level language to specify systems descriptions,	8	Spin uses a high level language to specify systems descriptions,
9	called PROMELA (PROcess MEta LAnguage).	9	called PROMELA (PROcess MEta LAnguage).
		10	WWW: http://spinroot.com

Return to bug 194704

Lines 2-13 Link Here

(-)Makefile (-4 / +4 lines)
2	# $FreeBSD$	2	# $FreeBSD$
3		3
4	PORTNAME= spin	4	PORTNAME= spin
5	PORTVERSION= 6.3.2	5	PORTVERSION= 6.4.2
6	CATEGORIES= devel	6	CATEGORIES= devel
7	MASTER_SITES= http://spinroot.com/spin/Src/	7	MASTER_SITES= http://spinroot.com/spin/Src/
8	DISTNAME= spin${PORTVERSION:S/.//g}	8	DISTNAME= spin${PORTVERSION:S/.//g}
9		9
10	MAINTAINER= ports@FreeBSD.org	10	MAINTAINER= antont@inbox.lv
11	COMMENT= On-the-fly verification system for asynchronous concurrent systems	11	COMMENT= On-the-fly verification system for asynchronous concurrent systems
12		12
13	OPTIONS_DEFINE= ISPIN DOCS	13	OPTIONS_DEFINE= ISPIN DOCS
Lines 17-26 Link Here
17	.include <bsd.port.options.mk>	17	.include <bsd.port.options.mk>
18		18
19	.if ${PORT_OPTIONS:MISPIN}	19	.if ${PORT_OPTIONS:MISPIN}
20	USES= shebangfix tk	20	USES= shebangfix tk
21	SHEBANG_FILES= ../iSpin/ispin.tcl	21	SHEBANG_FILES= ../iSpin/ispin.tcl
22	tk_OLD_CMD= /bin/sh	22	tk_OLD_CMD= /bin/sh
23	tk_CMD= ${WISH} -f	23	tk_CMD= ${WISH} -f
24	PLIST_SUB+= ISPIN=""	24	PLIST_SUB+= ISPIN=""
25	.else	25	.else
26	PLIST_SUB+= ISPIN="@comment "	26	PLIST_SUB+= ISPIN="@comment "