aboutsummaryrefslogtreecommitdiff
path: root/devel/spin/files
diff options
context:
space:
mode:
authorcvs2svn <cvs2svn@FreeBSD.org>2000-09-23 01:36:53 +0000
committercvs2svn <cvs2svn@FreeBSD.org>2000-09-23 01:36:53 +0000
commit8c7499bdfa85657ea6c2517ada0ef4a4db489beb (patch)
tree1c37a6088704b234484b1352cd1f882fb2a253ad /devel/spin/files
parentc9396a78f758664f44aa3d601d25c18c74372c10 (diff)
This commit was manufactured by cvs2svn to create tag 'RELEASE_4_1_1'.release/4.1.1
Notes
Notes: svn path=/head/; revision=33029 svn path=/tags/RELEASE_4_1_1/; revision=33030; tag=release/4.1.1
Diffstat (limited to 'devel/spin/files')
-rw-r--r--devel/spin/files/patch-aa8
-rw-r--r--devel/spin/files/patch-ab15
-rw-r--r--devel/spin/files/patch-ac11
3 files changed, 0 insertions, 34 deletions
diff --git a/devel/spin/files/patch-aa b/devel/spin/files/patch-aa
deleted file mode 100644
index 66cfed4a0eb3..000000000000
--- a/devel/spin/files/patch-aa
+++ /dev/null
@@ -1,8 +0,0 @@
---- ../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
-
- #======================================================================#
- # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. #
diff --git a/devel/spin/files/patch-ab b/devel/spin/files/patch-ab
deleted file mode 100644
index 91869c5eed38..000000000000
--- a/devel/spin/files/patch-ab
+++ /dev/null
@@ -1,15 +0,0 @@
---- 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 -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
-+# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
-+CC += -DNXT
-
- # on Solaris: add -DSOLARIS
- # on PCs: add -DPC
diff --git a/devel/spin/files/patch-ac b/devel/spin/files/patch-ac
deleted file mode 100644
index fd8fa7d8833a..000000000000
--- a/devel/spin/files/patch-ac
+++ /dev/null
@@ -1,11 +0,0 @@
---- 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 <malloc.h>
-+#include <stdlib.h>
-
- static char *PsPre[] = {
- "%%%%Pages: (atend)",