From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Apr 7 22:20:11 2003 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 331A137B404 for ; Mon, 7 Apr 2003 22:20:11 -0700 (PDT) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id DA08743F75 for ; Mon, 7 Apr 2003 22:20:09 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.12.9/8.12.9) with ESMTP id h385K9Up033624 for ; Mon, 7 Apr 2003 22:20:09 -0700 (PDT) (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.12.9/8.12.9/Submit) id h385K9OU033623; Mon, 7 Apr 2003 22:20:09 -0700 (PDT) Resent-Date: Mon, 7 Apr 2003 22:20:09 -0700 (PDT) Resent-Message-Id: <200304080520.h385K9OU033623@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Jonathan Hanna Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1FFAE37B401 for ; Mon, 7 Apr 2003 22:19:17 -0700 (PDT) Received: from h24-76-111-119.vc.shawcable.net (h24-76-111-119.vc.shawcable.net [24.76.111.119]) by mx1.FreeBSD.org (Postfix) with ESMTP id E116743FBD for ; Mon, 7 Apr 2003 22:19:15 -0700 (PDT) (envelope-from jhanna@h24-76-111-119.vc.shawcable.net) Received: from h24-76-111-119.vc.shawcable.net (localhost [127.0.0.1]) h385J8NE049003 for ; Mon, 7 Apr 2003 22:19:08 -0700 (PDT) (envelope-from jhanna@h24-76-111-119.vc.shawcable.net) Received: (from jhanna@localhost)h385J8Vb049002; Mon, 7 Apr 2003 22:19:08 -0700 (PDT) (envelope-from jhanna) Message-Id: <200304080519.h385J8Vb049002@h24-76-111-119.vc.shawcable.net> Date: Mon, 7 Apr 2003 22:19:08 -0700 (PDT) From: Jonathan Hanna To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Subject: ports/50706: Update devel/spin to 4.0.3, fixes unfetchable X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list Reply-To: Jonathan Hanna List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 08 Apr 2003 05:20:11 -0000 >Number: 50706 >Category: ports >Synopsis: Update devel/spin to 4.0.3, fixes unfetchable >Confidential: no >Severity: serious >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: maintainer-update >Submitter-Id: current-users >Arrival-Date: Mon Apr 07 22:20:08 PDT 2003 >Closed-Date: >Last-Modified: >Originator: Jonathan Hanna >Release: FreeBSD 4.7-STABLE i386 >Organization: >Environment: >Description: >How-To-Repeat: >Fix: diff -rNPu spin.orig/Makefile spin/Makefile --- spin.orig/Makefile Fri Feb 21 03:22:58 2003 +++ spin/Makefile Mon Apr 7 21:49:06 2003 @@ -6,7 +6,7 @@ # PORTNAME= spin -PORTVERSION= 3.5.2 +PORTVERSION= 4.0.3 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ \ ftp://netlib.bell-labs.com/netlib/spin/ \ @@ -17,8 +17,8 @@ COMMENT= An on-the-fly verification system for asynchronous concurrent systems DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.5.2 -MAKEFILE= makefile +WRKSRC= ${WRKDIR}/Src${PORTVERSION} +MAKEFILE= make_unix ALL_TARGET= spin USE_REINPLACE= yes @@ -30,16 +30,12 @@ if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \ ${REINPLACE_CMD} \ -e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \ - -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.5/xspin351.tcl - -pre-build: - cd ${WRKSRC} && ${MAKE} clean + -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin402.tcl do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.5/xspin351.tcl ${PREFIX}/bin ${RM} -f ${PREFIX}/bin/xspin - ${LN} -s ${PREFIX}/bin/xspin351.tcl ${PREFIX}/bin/xspin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin402.tcl ${PREFIX}/bin/xspin .if !defined(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/spin/Doc diff -rNPu spin.orig/distinfo spin/distinfo --- spin.orig/distinfo Thu Jan 2 11:58:31 2003 +++ spin/distinfo Mon Apr 7 13:05:14 2003 @@ -1,2 +1,2 @@ -MD5 (spin/spin352.tar.gz) = 59cdbbc0c14cbf6c3c428c666c33dc35 +MD5 (spin/spin403.tar.gz) = 0f6c6bfd3be4091624a24b07afa08f86 MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20 diff -rNPu spin.orig/files/patch-aa spin/files/patch-aa --- spin.orig/files/patch-aa Thu Jan 2 11:58:31 2003 +++ spin/files/patch-aa Wed Dec 31 16:00:00 1969 @@ -1,11 +0,0 @@ ---- ../Xspin3.5/xspin351.tcl.orig Wed Nov 27 13:45:12 2002 -+++ ../Xspin3.5/xspin351.tcl Sat Dec 7 11:38:00 2002 -@@ -1,6 +1,6 @@ --#!/bin/sh -+#!%%LOCALBASE%%/bin/%%WISH%% -f - # the next line restarts using wish \ --exec wish c:/cygwin/bin/xspin -- $* -+# exec wish c:/cygwin/bin/xspin -- $* - - # adjust the first argument to wish above with the - # location of xspin on your system, if different. diff -rNPu spin.orig/files/patch-ab spin/files/patch-ab --- spin.orig/files/patch-ab Wed Oct 16 14:50:47 2002 +++ spin/files/patch-ab Wed Dec 31 16:00:00 1969 @@ -1,14 +0,0 @@ ---- makefile.orig Sun Sep 29 08:47:34 2002 -+++ makefile Sun Oct 6 18:24:09 2002 -@@ -11,8 +11,9 @@ - # The book is available frm www.amazon.com - - # CC=cc -g # or any other ansi compatible c compiler --CC=cc -g -DNXT # enables the X operator in LTL --CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=cc -g -DNXT # enables the X operator in LTL -+# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+CFLAGS += -DNXT - - # on Solaris: add -DSOLARIS - # on PCs: add -DPC diff -rNPu spin.orig/files/patch-make_unix spin/files/patch-make_unix --- spin.orig/files/patch-make_unix Wed Dec 31 16:00:00 1969 +++ spin/files/patch-make_unix Mon Apr 7 20:33:14 2003 @@ -0,0 +1,14 @@ +--- make_unix.orig Mon Apr 7 20:30:46 2003 ++++ make_unix Mon Apr 7 20:31:36 2003 +@@ -12,8 +12,9 @@ + # [a more up-to-date book documenting Spin will appear in 2003] + + # CC=gcc # or any other ansi compatible c compiler +-CC=cc -g -DNXT # -DNXT enables the X operator in LTL +-CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include ++# CC=cc -g -DNXT # -DNXT enables the X operator in LTL ++# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include ++CFLAGS += -DNXT + + # on Solaris: add -DSOLARIS + # on PCs: add -DPC diff -rNPu spin.orig/files/patch-xspin spin/files/patch-xspin --- spin.orig/files/patch-xspin Wed Dec 31 16:00:00 1969 +++ spin/files/patch-xspin Mon Apr 7 20:42:31 2003 @@ -0,0 +1,24 @@ +--- ../Xspin4.0/xspin402.tcl.orig Mon Apr 7 20:37:27 2003 ++++ ../Xspin4.0/xspin402.tcl Mon Apr 7 20:40:10 2003 +@@ -1,20 +1,4 @@ +-#!/bin/sh +-# the next line restarts using wish \ +-exec wish c:/cygwin/bin/xspin -- $* +- +-# on PCs: +-# adjust the first argument to wish above with the name and +-# location of this tcl/tk file on your system, if different. +-# +-# Cygwin: +-# if you use cygwin, do not refer to the file as /usr/bin/xspin +-# /usr/bin is a symbolic link to /bin, which really +-# lives in c:/cygwin, hence the contortions above +-# +-# on Unix/Linux/Solaris systems +-# replace the first line with something like +-# #!/usr/bin/wish -f +-# using the pathname for the wish executable on your system ++#!%%LOCALBASE%%/bin/%%WISH%% -f + + #======================================================================# + # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. # diff -rNPu spin.orig/pkg-plist spin/pkg-plist --- spin.orig/pkg-plist Thu Jan 2 11:58:31 2003 +++ spin/pkg-plist Mon Apr 7 21:49:18 2003 @@ -1,6 +1,5 @@ bin/spin bin/xspin -bin/xspin351.tcl share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.answers @@ -8,6 +7,7 @@ share/doc/spin/Doc/V1.Updates share/doc/spin/Doc/V2.Updates share/doc/spin/Doc/V3.Updates +share/doc/spin/Doc/V4.Updates share/doc/spin/Examples/ex.1a share/doc/spin/Examples/ex.1b share/doc/spin/Examples/ex.1c >Release-Note: >Audit-Trail: >Unformatted: