freebsd-ports/math/spin/files/patch-aa

--- ../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
 
 #======================================================================#
 # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA.  #
Update spin to 3.30. PR: 12373 Submitted by: maintainer 1999-06-25 03:51:43 +00:00			`--- ../Xspin3.3/xspin330.tcl.orig Wed Jun 23 18:29:29 1999`
			`+++ ../Xspin3.3/xspin330.tcl Wed Jun 23 18:30:51 1999`
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com 1998-12-12 22:17:48 +00:00			`@@ -1,4 +1,4 @@`
			`-#!/usr/local/bin/wish -f`
			`+#!/usr/local/bin/wish8.0 -f`
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer 1999-02-12 02:48:58 +00:00
			`#======================================================================#`
			`# Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. #`