diff options
Diffstat (limited to 'devel/spin/files')
-rw-r--r-- | devel/spin/files/patch-aa | 8 | ||||
-rw-r--r-- | devel/spin/files/patch-ab | 15 | ||||
-rw-r--r-- | devel/spin/files/patch-ac | 11 |
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)", |