Attachment 148799 Details for Bug 194704 – update

[patch] update

spin-6.4.2.diff (text/plain), 1.49 KB, created by Anton Törnqvist on 2014-10-30 15:21:47 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Anton Törnqvist

Created: 2014-10-30 15:21:47 UTC

Size: 1.49 KB

patch

obsolete

>Index: Makefile
>===================================================================
>--- Makefile	(revision 371752)
>+++ Makefile	(arbetskopia)
>@@ -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 @@
> .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 "
>Index: distinfo
>===================================================================
>--- distinfo	(revision 371752)
>+++ distinfo	(arbetskopia)
>@@ -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
>Index: pkg-descr
>===================================================================
>--- pkg-descr	(revision 371752)
>+++ pkg-descr	(arbetskopia)
>@@ -7,3 +7,4 @@
> time temporal logic.
> Spin uses a high level language to specify systems descriptions,
> called PROMELA (PROcess MEta LAnguage).
>+WWW: http://spinroot.com

Actions: View | Diff

Attachments on bug 194704: 148799