Date: Thu, 22 Oct 2009 19:59:48 GMT From: Alexander Best <alexbestms@math.uni-muenster.de> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/139846: [update][patch]update dev/spin to version 5.2.2 Message-ID: <200910221959.n9MJxmJd003618@www.freebsd.org> Resent-Message-ID: <200910222000.n9MK09t3082796@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 139846 >Category: ports >Synopsis: [update][patch]update dev/spin to version 5.2.2 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: update >Submitter-Id: current-users >Arrival-Date: Thu Oct 22 20:00:09 UTC 2009 >Closed-Date: >Last-Modified: >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: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200910221959.n9MJxmJd003618>