From owner-freebsd-ports Wed Jun 23 20: 0: 5 1999 Delivered-To: freebsd-ports@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21]) by hub.freebsd.org (Postfix) with ESMTP id 84D6714D2A for ; Wed, 23 Jun 1999 20:00:02 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.9.3/8.9.2) id UAA97900; Wed, 23 Jun 1999 20:00: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 2241F14E94 for ; Wed, 23 Jun 1999 19:50:55 -0700 (PDT) (envelope-from jh@cr1003333-a.crdva1.bc.home.com) Received: (from jh@localhost) by cr1003333-a.crdva1.bc.home.com (8.9.3/8.9.3) id TAA58041; Wed, 23 Jun 1999 19:50:54 -0700 (PDT) (envelope-from jh) Message-Id: <199906240250.TAA58041@cr1003333-a.crdva1.bc.home.com> Date: Wed, 23 Jun 1999 19:50:54 -0700 (PDT) From: Jonathan Hanna Reply-To: pangolin@home.com To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.2 Subject: ports/12373: Update spin to 3.3.0 Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org >Number: 12373 >Category: ports >Synopsis: Update spin to 3.3.0 >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: Wed Jun 23 20:00:01 PDT 1999 >Closed-Date: >Last-Modified: >Originator: Jonathan Hanna >Release: FreeBSD 4.0-CURRENT i386 >Organization: >Environment: >Description: There was some talk of the proper category for spin. Although I originally submitted it under lang, I have no problem with math or devel. I did add a reference to PROMELA in DESCR. >How-To-Repeat: >Fix: diff -urNP spin.orig/Makefile spin/Makefile --- spin.orig/Makefile Tue Feb 16 15:14:25 1999 +++ spin/Makefile Wed Jun 23 19:29:55 1999 @@ -1,23 +1,23 @@ # Ports collection makefile for: spin -# Version required: 3.24 +# Version required: 3.3.0 # Date created: Oct 23, 1997 # Whom: jhanna@home.com # # $Id: Makefile,v 1.2 1999/02/12 02:48:55 asami Exp $ # -DISTNAME= spin-3.24 +DISTNAME= spin-3.30 CATEGORIES= math MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ ftp://www.netlib.org/spin/ \ ftp://www.enseeiht.fr/NetLib/spin/ \ ftp://wcarchive.cdrom.com/netlib/spin/ -DISTFILES= spin324.tar.gz html.tar.gz +DISTFILES= spin330.tar.gz html.tar.gz MAINTAINER= jhanna@home.com DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.2 +WRKSRC= ${WRKDIR}/Src3.3 MAKEFILE= makefile ALL_TARGET= spin @@ -29,9 +29,9 @@ do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin324.tcl ${PREFIX}/bin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin330.tcl ${PREFIX}/bin ${RM} -f ${PREFIX}/bin/xspin - ln -s ${PREFIX}/bin/xspin324.tcl ${PREFIX}/bin/xspin + ln -s ${PREFIX}/bin/xspin330.tcl ${PREFIX}/bin/xspin .if !defined(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/spin/Doc @@ -42,7 +42,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 pftp priorities snoopy sort + loops pathfinder peterson petersonN pftp priorities snoopy sort ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test .endfor .endif diff -urNP spin.orig/files/md5 spin/files/md5 --- spin.orig/files/md5 Tue Feb 16 15:14:26 1999 +++ spin/files/md5 Wed Jun 23 19:29:55 1999 @@ -1,2 +1,2 @@ -MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952 -MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947 +MD5 (spin/spin330.tar.gz) = 976613a7a02486d8daca4cd2cf6a3886 +MD5 (spin/html.tar.gz) = 66686c33ab6213819fa08d41ed17bf8e diff -urNP spin.orig/patches/patch-aa spin/patches/patch-aa --- spin.orig/patches/patch-aa Tue Feb 16 15:14:27 1999 +++ spin/patches/patch-aa Wed Jun 23 19:29:55 1999 @@ -1,5 +1,5 @@ ---- ../Xspin3.2/xspin324.tcl.orig Wed Jan 27 12:23:13 1999 -+++ ../Xspin3.2/xspin324.tcl Wed Jan 27 12:23:32 1999 +--- ../Xspin3.3/xspin330.tcl.orig Wed Jun 23 18:29:29 1999 ++++ ../Xspin3.3/xspin330.tcl Wed Jun 23 18:30:51 1999 @@ -1,4 +1,4 @@ -#!/usr/local/bin/wish -f +#!/usr/local/bin/wish8.0 -f diff -urNP spin.orig/patches/patch-ab spin/patches/patch-ab --- spin.orig/patches/patch-ab Thu Feb 11 19:03:40 1999 +++ spin/patches/patch-ab Wed Jun 23 19:29:55 1999 @@ -1,12 +1,12 @@ ---- makefile.orig Wed Jan 27 12:28:31 1999 -+++ makefile Wed Jan 27 12:29:14 1999 -@@ -9,8 +9,8 @@ - # 1991, Prentice Hall, Englewood Cliffs, NJ, 07632 +--- makefile.orig Wed Jun 23 18:26:14 1999 ++++ makefile Wed Jun 23 18:27:41 1999 +@@ -10,8 +10,8 @@ # Send bug-reports and/or questions to: gerard@research.bell-labs.com + # The book is available frm www.amazon.com --CC=gcc -g # or any other ansi compatible c compiler +-CC=gcc -O2 -DNXT # or any other ansi compatible c compiler -CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=gcc -g # or any other ansi compatible c compiler ++# CC=gcc -O2 -DNXT # or any other ansi compatible c compiler +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include # on Solaris: add -DSOLARIS diff -urNP spin.orig/patches/patch-ac spin/patches/patch-ac --- spin.orig/patches/patch-ac Wed Dec 31 16:00:00 1969 +++ spin/patches/patch-ac Wed Jun 23 19:34:27 1999 @@ -0,0 +1,11 @@ +--- ps_msc.c.orig Wed Jun 23 19:32:24 1999 ++++ ps_msc.c Wed Jun 23 19:33:57 1999 +@@ -13,7 +13,7 @@ + + #include "spin.h" + #include "version.h" +-#include ++#include + + static char *PsPre[] = { + "%%%%Pages: (atend)", diff -urNP spin.orig/pkg/DESCR spin/pkg/DESCR --- spin.orig/pkg/DESCR Sat Dec 12 14:17:48 1998 +++ spin/pkg/DESCR Wed Jun 23 19:29:55 1999 @@ -5,3 +5,5 @@ It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. +Spin uses a high level language to specify systems descriptions, +called PROMELA (PROcess MEta LAnguage). diff -urNP spin.orig/pkg/PLIST spin/pkg/PLIST --- spin.orig/pkg/PLIST Tue Feb 16 15:14:27 1999 +++ spin/pkg/PLIST Wed Jun 23 19:29:55 1999 @@ -1,6 +1,6 @@ bin/spin bin/xspin -bin/xspin324.tcl +bin/xspin330.tcl share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.answers @@ -69,6 +69,7 @@ share/doc/spin/HTML/inline.html share/doc/spin/HTML/labels.html share/doc/spin/HTML/len.html +share/doc/spin/HTML/local.html share/doc/spin/HTML/ltl.html share/doc/spin/HTML/macros.html share/doc/spin/HTML/mtype.html @@ -99,6 +100,7 @@ share/doc/spin/HTML/sequence.html share/doc/spin/HTML/show.html share/doc/spin/HTML/skip.html +share/doc/spin/HTML/stdin.html share/doc/spin/HTML/timeout.html share/doc/spin/HTML/trace.html share/doc/spin/HTML/true.html @@ -116,6 +118,7 @@ share/doc/spin/Test/loops share/doc/spin/Test/pathfinder share/doc/spin/Test/peterson +share/doc/spin/Test/petersonN share/doc/spin/Test/pftp share/doc/spin/Test/priorities share/doc/spin/Test/snoopy >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message