diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 001d9c1d0e1a..a2808351f250 100644
--- a/devel/spin/Makefile
+++ b/devel/spin/Makefile
@@ -1,55 +1,55 @@
 # Ports collection makefile for: spin
 # Date created:		Oct 23, 1997
 # Whom:			jhanna@home.com
 #
 # $FreeBSD$
 #
 
 PORTNAME=	spin
-PORTVERSION=	3.4.13
+PORTVERSION=	3.4.14
 CATEGORIES=	math
 MASTER_SITES=	ftp://netlib.bell-labs.com/netlib/spin/ \
 		ftp://www.netlib.org/spin/
 DISTFILES=	spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz
 
 MAINTAINER=	jhanna@home.com
 
 DIST_SUBDIR=	spin
 WRKSRC=		${WRKDIR}/Src3.4
 MAKEFILE=	makefile
 ALL_TARGET=	spin
 
 post-extract:
 	@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
 
 post-patch:
 	@WISH=`(cd ${LOCALBASE}/bin ; ls wish8* ) | tail -1` ; \
 	if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
 	${PERL} -pi \
 		-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
 		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.4/xspin347.tcl
 
 pre-build:
 	cd ${WRKSRC} && ${MAKE} clean
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
 	${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.4/xspin347.tcl ${PREFIX}/bin
 	${RM} -f ${PREFIX}/bin/xspin
 	${LN} -s ${PREFIX}/bin/xspin347.tcl ${PREFIX}/bin/xspin
 
 .if !defined(NOPORTDOCS)
 	${MKDIR} ${PREFIX}/share/doc/spin/Doc
 	${MKDIR} ${PREFIX}/share/doc/spin/Examples
 	${MKDIR} ${PREFIX}/share/doc/spin/HTML
 	${MKDIR} ${PREFIX}/share/doc/spin/Test
 	${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc
 	${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 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
 
 .include <bsd.port.mk>
diff --git a/devel/spin/distinfo b/devel/spin/distinfo
index 02642a3d1fdc..d479764de80e 100644
--- a/devel/spin/distinfo
+++ b/devel/spin/distinfo
@@ -1,2 +1,2 @@
-MD5 (spin/spin3413.tar.gz) = e6b59bd209ff1c479a8511262418e349
+MD5 (spin/spin3414.tar.gz) = 83b6a9c75dd2390a7ddcc882d962e03d
 MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20
diff --git a/devel/spin/files/patch-ab b/devel/spin/files/patch-ab
index 91869c5eed38..a50e73daae58 100644
--- a/devel/spin/files/patch-ab
+++ b/devel/spin/files/patch-ab
@@ -1,15 +1,14 @@
---- 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
+--- makefile.orig	Wed Feb 20 13:40:54 2002
++++ makefile	Sun Apr  7 17:44:50 2002
+@@ -11,8 +11,9 @@
  # 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
+ # 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 -g -DNXT	# if you need the X operator in LTL
 +# CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
-+CC += -DNXT
++CFLAGS += -DNXT
  
  #	on Solaris:	add -DSOLARIS
  #	on PCs:		add -DPC
diff --git a/math/spin/Makefile b/math/spin/Makefile
index 001d9c1d0e1a..a2808351f250 100644
--- a/math/spin/Makefile
+++ b/math/spin/Makefile
@@ -1,55 +1,55 @@
 # Ports collection makefile for: spin
 # Date created:		Oct 23, 1997
 # Whom:			jhanna@home.com
 #
 # $FreeBSD$
 #
 
 PORTNAME=	spin
-PORTVERSION=	3.4.13
+PORTVERSION=	3.4.14
 CATEGORIES=	math
 MASTER_SITES=	ftp://netlib.bell-labs.com/netlib/spin/ \
 		ftp://www.netlib.org/spin/
 DISTFILES=	spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz
 
 MAINTAINER=	jhanna@home.com
 
 DIST_SUBDIR=	spin
 WRKSRC=		${WRKDIR}/Src3.4
 MAKEFILE=	makefile
 ALL_TARGET=	spin
 
 post-extract:
 	@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
 
 post-patch:
 	@WISH=`(cd ${LOCALBASE}/bin ; ls wish8* ) | tail -1` ; \
 	if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
 	${PERL} -pi \
 		-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
 		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.4/xspin347.tcl
 
 pre-build:
 	cd ${WRKSRC} && ${MAKE} clean
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
 	${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.4/xspin347.tcl ${PREFIX}/bin
 	${RM} -f ${PREFIX}/bin/xspin
 	${LN} -s ${PREFIX}/bin/xspin347.tcl ${PREFIX}/bin/xspin
 
 .if !defined(NOPORTDOCS)
 	${MKDIR} ${PREFIX}/share/doc/spin/Doc
 	${MKDIR} ${PREFIX}/share/doc/spin/Examples
 	${MKDIR} ${PREFIX}/share/doc/spin/HTML
 	${MKDIR} ${PREFIX}/share/doc/spin/Test
 	${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc
 	${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 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
 
 .include <bsd.port.mk>
diff --git a/math/spin/distinfo b/math/spin/distinfo
index 02642a3d1fdc..d479764de80e 100644
--- a/math/spin/distinfo
+++ b/math/spin/distinfo
@@ -1,2 +1,2 @@
-MD5 (spin/spin3413.tar.gz) = e6b59bd209ff1c479a8511262418e349
+MD5 (spin/spin3414.tar.gz) = 83b6a9c75dd2390a7ddcc882d962e03d
 MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20
diff --git a/math/spin/files/patch-ab b/math/spin/files/patch-ab
index 91869c5eed38..a50e73daae58 100644
--- a/math/spin/files/patch-ab
+++ b/math/spin/files/patch-ab
@@ -1,15 +1,14 @@
---- 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
+--- makefile.orig	Wed Feb 20 13:40:54 2002
++++ makefile	Sun Apr  7 17:44:50 2002
+@@ -11,8 +11,9 @@
  # 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
+ # 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 -g -DNXT	# if you need the X operator in LTL
 +# CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
-+CC += -DNXT
++CFLAGS += -DNXT
  
  #	on Solaris:	add -DSOLARIS
  #	on PCs:		add -DPC