Date: Mon, 23 Feb 2004 14:22:51 -0800 (PST) From: Jonathan Hanna <jhanna@h24-81-10-24.vc.shawcable.net> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/63290: [maintainer] devel/spin: update to 4.1.2 Message-ID: <200402232222.i1NMMpUu047094@h24-81-10-24.vc.shawcable.net> Resent-Message-ID: <200402232230.i1NMUJbk075246@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 63290 >Category: ports >Synopsis: [maintainer] devel/spin: update to 4.1.2 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: maintainer-update >Submitter-Id: current-users >Arrival-Date: Mon Feb 23 14:30:18 PST 2004 >Closed-Date: >Last-Modified: >Originator: Jonathan Hanna >Release: FreeBSD 4.9-STABLE i386 >Organization: >Environment: >Description: >How-To-Repeat: >Fix: diff -urPN spin.orig/Makefile spin/Makefile --- spin.orig/Makefile Thu Jan 22 21:28:48 2004 +++ spin/Makefile Mon Feb 23 13:37:13 2004 @@ -6,11 +6,11 @@ # PORTNAME= spin -PORTVERSION= 4.0.7 -PORTREVISION= 1 +PORTVERSION= 4.1.2 +PORTREVISION= 0 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ -DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz +DISTNAME= spin${PORTVERSION:S/.//g} MAINTAINER= jhanna@shaw.ca COMMENT= An on-the-fly verification system for asynchronous concurrent systems @@ -28,6 +28,9 @@ ALL_TARGET= spin USE_REINPLACE= yes +MANPAGE_WRKSRC= ${WRKDIR}/Man +MAN1= spin.1 + pre-everything:: @${ECHO_MSG} "" @${ECHO_MSG} "Use WITHOUT_XSPIN=yes to suppress xspin (and TCL/Tk dependency)." @@ -41,13 +44,13 @@ if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \ ${REINPLACE_CMD} \ -e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \ - -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin407.tcl + -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.1/xspin412.tcl do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin .if !defined(WITHOUT_XSPIN) ${RM} -f ${PREFIX}/bin/xspin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin407.tcl ${PREFIX}/bin/xspin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.1/xspin412.tcl ${PREFIX}/bin/xspin .endif .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR}/Doc @@ -56,9 +59,11 @@ ${INSTALL_DATA} ${WRKDIR}/Doc/* ${DOCSDIR}/Doc ${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${DOCSDIR}/Examples .for i in README.tests abp eratosthenes hello leader leader.ltl leader2 \ - loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount + leader_trace loops mobile1 mobile1.ltl mobile2 mobile2.ltl \ + pathfinder peterson petersonN pftp priorities snoopy sort wordcount ${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test .endfor + ${INSTALL_MAN} ${WRKDIR}/Man/spin.1 ${PREFIX}/man/man1 .endif .include <bsd.port.mk> diff -urPN spin.orig/distinfo spin/distinfo --- spin.orig/distinfo Thu Aug 28 00:43:33 2003 +++ spin/distinfo Mon Feb 23 12:53:04 2004 @@ -1 +1,2 @@ -MD5 (spin/spin407.tar.gz) = dfb9886dae7985bf08a1a345564581ed +MD5 (spin/spin412.tar.gz) = 6cbc680c4e441611e31b052201f13848 +SIZE (spin/spin412.tar.gz) = 321465 diff -urPN spin.orig/files/patch-make_unix spin/files/patch-make_unix --- spin.orig/files/patch-make_unix Fri Apr 11 09:33:33 2003 +++ spin/files/patch-make_unix Mon Feb 23 13:05:39 2004 @@ -1,6 +1,6 @@ --- make_unix.orig Mon Apr 7 20:30:46 2003 +++ make_unix Mon Apr 7 20:31:36 2003 -@@ -12,8 +12,9 @@ +@@ -9,8 +9,9 @@ # [a more up-to-date book documenting Spin will appear in 2003] # CC=gcc # or any other ansi compatible c compiler diff -urPN spin.orig/files/patch-xspin spin/files/patch-xspin --- spin.orig/files/patch-xspin Fri Aug 8 15:03:49 2003 +++ spin/files/patch-xspin Mon Feb 23 13:00:18 2004 @@ -1,13 +1,18 @@ ---- ../Xspin4.0/xspin407.tcl.orig Mon Apr 7 20:37:27 2003 -+++ ../Xspin4.0/xspin407.tcl Mon Apr 7 20:40:10 2003 -@@ -1,20 +1,4 @@ +--- ../Xspin4.1/xspin412.tcl.orig Mon Feb 23 12:57:50 2004 ++++ ../Xspin4.1/xspin412.tcl Mon Feb 23 12:59:00 2004 +@@ -1,25 +1,4 @@ -#!/bin/sh -# the next line restarts using wish \ -exec wish c:/cygwin/bin/xspin -- $* - +-# make sure this is where (a copy of) this script is stored +-# +- +-# cd ;# enable this line to cd to you home directory by default +- -# on PCs: -# adjust the first argument to wish above with the name and --# location of this tcl/tk file on your system, if different. +-# location of this file on your system, if different. -# -# Cygwin: -# if you use cygwin, do not refer to the file as /usr/bin/xspin @@ -21,4 +26,4 @@ +#!%%LOCALBASE%%/bin/%%WISH%% -f #======================================================================# - # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. # + # Tcl/Tk Spin Controller, written by Gerard J. Holzmann, 1995-2004. # diff -urPN spin.orig/pkg-plist spin/pkg-plist --- spin.orig/pkg-plist Thu Aug 28 00:43:33 2003 +++ spin/pkg-plist Mon Feb 23 13:23:03 2004 @@ -31,6 +31,7 @@ %%PORTDOCS%%%%DOCSDIR%%/Test/leader %%PORTDOCS%%%%DOCSDIR%%/Test/leader.ltl %%PORTDOCS%%%%DOCSDIR%%/Test/leader2 +%%PORTDOCS%%%%DOCSDIR%%/Test/leader_trace %%PORTDOCS%%%%DOCSDIR%%/Test/loops %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1 %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1.ltl >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200402232222.i1NMMpUu047094>