From owner-freebsd-ports Sun Sep 10 20:30: 7 2000 Delivered-To: freebsd-ports@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id 3D8FA37B424 for ; Sun, 10 Sep 2000 20:30:01 -0700 (PDT) Received: (from gnats@localhost) by freefall.freebsd.org (8.9.3/8.9.2) id UAA06309; Sun, 10 Sep 2000 20:30:01 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: from cr1003333-a.crdva1.bc.home.com (cr1003333-a.crdva1.bc.wave.home.com [24.113.51.240]) by hub.freebsd.org (Postfix) with ESMTP id 72BD937B422 for ; Sun, 10 Sep 2000 20:20:22 -0700 (PDT) Received: (from jh@localhost) by cr1003333-a.crdva1.bc.home.com (8.9.3/8.9.3) id UAA14085; Sun, 10 Sep 2000 20:20:21 -0700 (PDT) (envelope-from jh) Message-Id: <200009110320.UAA14085@cr1003333-a.crdva1.bc.home.com> Date: Sun, 10 Sep 2000 20:20:21 -0700 (PDT) From: Jonathan Hanna Reply-To: pangolin@home.com To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.2 Subject: ports/21181: ports/main/spin update to 3.4.1 Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org >Number: 21181 >Category: ports >Synopsis: ports/main/spin update to 3.4.1 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Sun Sep 10 20:30:00 PDT 2000 >Closed-Date: >Last-Modified: >Originator: Jonathan Hanna >Release: FreeBSD 5.0-CURRENT i386 >Organization: >Environment: >Description: >How-To-Repeat: >Fix: diff -NPru spin.old/Makefile spin/Makefile --- spin.old/Makefile Fri Jun 23 06:43:59 2000 +++ spin/Makefile Sun Sep 10 20:09:36 2000 @@ -6,17 +6,17 @@ # PORTNAME= spin -PORTVERSION= 3.3.10 +PORTVERSION= 3.4.1 CATEGORIES= math MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ ftp://www.netlib.org/spin/ \ ftp://ftp.freesoftware.com/pub/netlib/spin/ -DISTFILES= spin3310.tar.gz html.tar.gz +DISTFILES= spin341.tar.gz html.tar.gz MAINTAINER= jhanna@home.com DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.3 +WRKSRC= ${WRKDIR}/Src3.4 MAKEFILE= makefile ALL_TARGET= spin @@ -24,16 +24,16 @@ @cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples post-patch: - @${PERL} -pi -e "s|%%LOCALBASE%%|${LOCALBASE}|g" ${WRKDIR}/Xspin3.3/xspin3310.tcl + @${PERL} -pi -e "s|%%LOCALBASE%%|${LOCALBASE}|g" ${WRKDIR}/Xspin3.4/xspin341.tcl pre-build: cd ${WRKSRC} && ${MAKE} clean do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin3310.tcl ${PREFIX}/bin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.4/xspin341.tcl ${PREFIX}/bin ${RM} -f ${PREFIX}/bin/xspin - ${LN} -s ${PREFIX}/bin/xspin3310.tcl ${PREFIX}/bin/xspin + ${LN} -s ${PREFIX}/bin/xspin341.tcl ${PREFIX}/bin/xspin .if !defined(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/spin/Doc @@ -44,7 +44,7 @@ ${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${PREFIX}/share/doc/spin/Examples ${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML .for i in README.tests abp erathostenes hello leader leader.ltl leader2 \ - loops pathfinder peterson petersonN pftp priorities snoopy sort + loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test .endfor .endif diff -NPru spin.old/files/md5 spin/files/md5 --- spin.old/files/md5 Sun May 28 20:09:13 2000 +++ spin/files/md5 Sun Sep 10 20:02:46 2000 @@ -1,2 +1,2 @@ -MD5 (spin/spin3310.tar.gz) = f65835381d2194288139d3fcc7d73b6b -MD5 (spin/html.tar.gz) = 66686c33ab6213819fa08d41ed17bf8e +MD5 (spin/spin341.tar.gz) = 6dcd7e5eef345e18390f6ad6dffbff16 +MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20 diff -NPru spin.old/patches/patch-aa spin/patches/patch-aa --- spin.old/patches/patch-aa Fri Jun 23 06:43:59 2000 +++ spin/patches/patch-aa Sun Sep 10 19:55:21 2000 @@ -1,5 +1,5 @@ ---- ../Xspin3.3/xspin3310.tcl.orig Wed Jun 23 18:29:29 1999 -+++ ../Xspin3.3/xspin3310.tcl Wed Jun 23 18:30:51 1999 +--- ../Xspin3.4/xspin341.tcl.orig Wed Jun 23 18:29:29 1999 ++++ ../Xspin3.4/xspin341.tcl Wed Jun 23 18:30:51 1999 @@ -1,4 +1,4 @@ -#!/usr/local/bin/wish -f +#!%%LOCALBASE%%/bin/wish8.0 -f diff -NPru spin.old/patches/patch-ab spin/patches/patch-ab --- spin.old/patches/patch-ab Wed Aug 11 17:31:50 1999 +++ spin/patches/patch-ab Sun Sep 10 20:02:25 2000 @@ -1,13 +1,15 @@ ---- makefile.orig Wed Jun 23 18:26:14 1999 -+++ makefile Wed Jun 23 18:27:41 1999 -@@ -10,8 +10,8 @@ +--- makefile.orig Sun Sep 10 19:59:06 2000 ++++ makefile Sun Sep 10 20:00:41 2000 +@@ -10,9 +10,10 @@ # Send bug-reports and/or questions to: gerard@research.bell-labs.com # The book is available frm www.amazon.com --CC=cc -O2 -DNXT # or any other ansi compatible c compiler +-CC=cc -g # or any other ansi compatible c compiler ++# CC=cc -g # or any other ansi compatible c compiler + # CC=cc -g -DNXT # if you need the X operator in LTL -CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=cc -O2 -DNXT # or any other ansi compatible c compiler +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include ++CC += -DNXT # on Solaris: add -DSOLARIS # on PCs: add -DPC diff -NPru spin.old/pkg/PLIST spin/pkg/PLIST --- spin.old/pkg/PLIST Sun May 28 20:09:13 2000 +++ spin/pkg/PLIST Sun Sep 10 20:08:55 2000 @@ -1,6 +1,6 @@ bin/spin bin/xspin -bin/xspin3310.tcl +bin/xspin341.tcl share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.answers @@ -116,6 +116,10 @@ share/doc/spin/Test/leader.ltl share/doc/spin/Test/leader2 share/doc/spin/Test/loops +share/doc/spin/Test/mobile1 +share/doc/spin/Test/mobile1.ltl +share/doc/spin/Test/mobile2 +share/doc/spin/Test/mobile2.ltl share/doc/spin/Test/pathfinder share/doc/spin/Test/peterson share/doc/spin/Test/petersonN @@ -123,6 +127,7 @@ share/doc/spin/Test/priorities share/doc/spin/Test/snoopy share/doc/spin/Test/sort +share/doc/spin/Test/wordcount @dirrm share/doc/spin/Test @dirrm share/doc/spin/HTML @dirrm share/doc/spin/Examples >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message