From nobody@FreeBSD.org  Thu Oct 22 19:59:49 2009
Return-Path: <nobody@FreeBSD.org>
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 207D51065676
	for <freebsd-gnats-submit@FreeBSD.org>; Thu, 22 Oct 2009 19:59:49 +0000 (UTC)
	(envelope-from nobody@FreeBSD.org)
Received: from www.freebsd.org (www.freebsd.org [IPv6:2001:4f8:fff6::21])
	by mx1.freebsd.org (Postfix) with ESMTP id E9DCD8FC18
	for <freebsd-gnats-submit@FreeBSD.org>; Thu, 22 Oct 2009 19:59:48 +0000 (UTC)
Received: from www.freebsd.org (localhost [127.0.0.1])
	by www.freebsd.org (8.14.3/8.14.3) with ESMTP id n9MJxm3d003619
	for <freebsd-gnats-submit@FreeBSD.org>; Thu, 22 Oct 2009 19:59:48 GMT
	(envelope-from nobody@www.freebsd.org)
Received: (from nobody@localhost)
	by www.freebsd.org (8.14.3/8.14.3/Submit) id n9MJxmJd003618;
	Thu, 22 Oct 2009 19:59:48 GMT
	(envelope-from nobody)
Message-Id: <200910221959.n9MJxmJd003618@www.freebsd.org>
Date: Thu, 22 Oct 2009 19:59:48 GMT
From: Alexander Best <alexbestms@math.uni-muenster.de>
To: freebsd-gnats-submit@FreeBSD.org
Subject: [update][patch]update dev/spin to version 5.2.2
X-Send-Pr-Version: www-3.1
X-GNATS-Notify: jhanna@shaw.ca

>Number:         139846
>Category:       ports
>Synopsis:       [update][patch]update devel/spin to version 5.2.2
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    amdmi3
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Thu Oct 22 20:00:09 UTC 2009
>Closed-Date:    Fri Oct 30 00:55:35 UTC 2009
>Last-Modified:  Fri Oct 30 01:00:12 UTC 2009
>Originator:     Alexander Best
>Release:        9.0-CURRENT
>Organization:
>Environment:
FreeBSD otaku 9.0-CURRENT FreeBSD 9.0-CURRENT #7 r198330M: Thu Oct 22 18:03:45 CEST 2009     root@otaku:/usr/obj/usr/src/sys/ARUNDEL  i386
>Description:

>How-To-Repeat:

>Fix:


Patch attached with submission follows:

diff -ruN spin/Makefile spin.new/Makefile
--- spin/Makefile	2009-01-09 07:00:59.000000000 +0100
+++ spin.new/Makefile	2009-10-22 21:53:29.000000000 +0200
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	spin
-PORTVERSION=	5.1.7
+PORTVERSION=	5.2.2
 CATEGORIES=	devel
 MASTER_SITES=	http://spinroot.com/spin/Src/
 DISTNAME=	spin${PORTVERSION:S/.//g}
@@ -21,7 +21,7 @@
 .if !defined(WITHOUT_XSPIN)
 RUN_DEPENDS+=	wish8.4:${PORTSDIR}/x11-toolkits/tk84
 PLIST_SUB+=	XSPIN=""
-XSPIN_TCL	=${WRKDIR}/Spin/Xspin5.1/xspin510.tcl
+XSPIN_TCL=	${WRKDIR}/Spin/Xspin5.2/xspin521.tcl
 .else
 PLIST_SUB+=	XSPIN="@comment "
 .endif
@@ -33,12 +33,13 @@
 MAKE_ARGS=	CC="${CC}" CFLAGS="${CFLAGS} -DNXT"
 
 post-extract:
+	@${PRINTF} "Unbundling promela example files...\n"
 	@cd ${WRKDIR}/Spin/Test && ${SH} ${WRKDIR}/Spin/Test/examples
 
 .if !defined(WITHOUT_XSPIN)
 pre-patch:
-	${TR} -d '\015' < ${XSPIN_TCL} > ${XSPIN_TCL}.tmp
-	${MV} -f ${XSPIN_TCL}.tmp ${XSPIN_TCL}
+	@${TR} -d '\r' < ${XSPIN_TCL} > ${XSPIN_TCL}.tmp
+	@${MV} -f ${XSPIN_TCL}.tmp ${XSPIN_TCL}
 .endif
 
 .if !defined(WITHOUT_XSPIN)
diff -ruN spin/distinfo spin.new/distinfo
--- spin/distinfo	2009-01-09 07:00:59.000000000 +0100
+++ spin.new/distinfo	2009-10-22 21:27:32.000000000 +0200
@@ -1,3 +1,3 @@
-MD5 (spin/spin517.tar.gz) = 2d069adc30e318b1ba71bdecc1721d97
-SHA256 (spin/spin517.tar.gz) = 86c7485723cd4b19f1b0dc79483aa2af5a0c5c1260b5d64e97237c92555d860d
-SIZE (spin/spin517.tar.gz) = 401647
+MD5 (spin/spin522.tar.gz) = 71704ff4af9738eca68bcab7cd62d72f
+SHA256 (spin/spin522.tar.gz) = 75bf9daf8867b71be6d8c73cdeee9f26a2b674efc4ddff943e4eabd94a677098
+SIZE (spin/spin522.tar.gz) = 408953
diff -ruN spin/files/patch-xspin spin.new/files/patch-xspin
--- spin/files/patch-xspin	2008-07-26 04:06:17.000000000 +0200
+++ spin.new/files/patch-xspin	2009-10-22 21:29:14.000000000 +0200
@@ -1,5 +1,5 @@
---- ../../Spin/Xspin5.1/xspin510.tcl.orig	Mon Mar  8 11:27:07 2004
-+++ ../../Spin/Xspin5.1/xspin510.tcl	Mon Mar  8 11:31:09 2004
+--- ../../Spin/Xspin5.2/xspin521.tcl.orig	Mon Mar  8 11:27:07 2004
++++ ../../Spin/Xspin5.2/xspin521.tcl	Mon Mar  8 11:31:09 2004
 @@ -1,6 +1,6 @@
 -#!/bin/sh
 +#!%%LOCALBASE%%/bin/%%WISH%% -f


>Release-Note:
>Audit-Trail:

From: Alexander Best <alexbestms@math.uni-muenster.de>
To: <bug-followup@FreeBSD.org>
Cc:  
Subject: Re: ports/139846: [update][patch]update dev/spin to version 5.2.2
Date: Thu, 22 Oct 2009 22:15:42 +0200 (CEST)

 oooooops. subject line should have been: "[update][patch]update devel/spin to
 version 5.2.2". ;)

From: Edwin Groothuis <edwin@FreeBSD.org>
To: jhanna@shaw.ca
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/139846: [update][patch]update devel/spin to version 5.2.2
Date: Thu, 22 Oct 2009 20:53:58 UT

 Maintainer of devel/spin,
 
 Please note that PR ports/139846 has just been submitted.
 
 If it contains a patch for an upgrade, an enhancement or a bug fix
 you agree on, reply to this email stating that you approve the patch
 and a committer will take care of it.
 
 The full text of the PR can be found at:
     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/139846
 
 -- 
 Edwin Groothuis via the GNATS Auto Assign Tool
 edwin@FreeBSD.org
State-Changed-From-To: open->feedback 
State-Changed-By: edwin 
State-Changed-When: Thu Oct 22 21:02:49 UTC 2009 
State-Changed-Why:  
Awaiting maintainers feedback (via the GNATS Auto Assign Tool) 

http://www.freebsd.org/cgi/query-pr.cgi?pr=139846 

From: Edwin Groothuis <edwin@FreeBSD.org>
To: jhanna@shaw.ca
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/139846: [update][patch]update devel/spin to version 5.2.2
Date: Thu, 22 Oct 2009 21:02:46 UT

 Maintainer of devel/spin,
 
 Please note that PR ports/139846 has just been submitted.
 
 If it contains a patch for an upgrade, an enhancement or a bug fix
 you agree on, reply to this email stating that you approve the patch
 and a committer will take care of it.
 
 The full text of the PR can be found at:
     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/139846
 
 -- 
 Edwin Groothuis via the GNATS Auto Assign Tool
 edwin@FreeBSD.org

From: Jonathan Hanna <jhanna@shaw.ca>
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/139846: [update][patch]update devel/spin to version 5.2.2
Date: Thu, 22 Oct 2009 18:20:28 -0700

 Edwin Groothuis wrote:
 > Maintainer of devel/spin,
 > 
 > Please note that PR ports/139846 has just been submitted.
 > 
 > If it contains a patch for an upgrade, an enhancement or a bug fix
 > you agree on, reply to this email stating that you approve the patch
 > and a committer will take care of it.
 > 
 > The full text of the PR can be found at:
 >     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/139846
 > 
 
 Approve, looks good to me.
Responsible-Changed-From-To: freebsd-ports-bugs->amdmi3 
Responsible-Changed-By: amdmi3 
Responsible-Changed-When: Thu Oct 29 18:31:47 UTC 2009 
Responsible-Changed-Why:  
I'll take it. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=139846 
State-Changed-From-To: feedback->closed 
State-Changed-By: amdmi3 
State-Changed-When: Fri Oct 30 00:55:34 UTC 2009 
State-Changed-Why:  
Committed, with minor changes. Thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=139846 

From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/139846: commit references a PR
Date: Fri, 30 Oct 2009 00:55:42 +0000 (UTC)

 amdmi3      2009-10-30 00:55:27 UTC
 
   FreeBSD ports repository
 
   Modified files:
     devel/spin           Makefile distinfo 
     devel/spin/files     patch-xspin 
   Log:
   - 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)
   
   Revision  Changes    Path
   1.54      +6 -4      ports/devel/spin/Makefile
   1.39      +3 -3      ports/devel/spin/distinfo
   1.14      +2 -2      ports/devel/spin/files/patch-xspin
 _______________________________________________
 cvs-all@freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
 
>Unformatted:
