Index: head/devel/spin/files/patch-makefile
===================================================================
--- head/devel/spin/files/patch-makefile	(revision 480345)
+++ head/devel/spin/files/patch-makefile	(nonexistent)
@@ -1,22 +0,0 @@
---- makefile.orig	2014-12-04 21:53:19 UTC
-+++ makefile
-@@ -17,10 +17,6 @@ CC=gcc
- # CC=gcc -m32 		# 32bit compilation on a 64bit system
- 
- CFLAGS=-O2 -DNXT	# on some systems add: -I/usr/include
--			# on a PC:    add -DPC
--			# on Solaris: add -DSOLARIS
--			# on a Mac:   add -DMAC
--			# on HP-UX:   add -Aa
- 
- # CFLAGS=-pg -g -DNXT
- 
-@@ -30,8 +26,6 @@ PICKY=-std=c99 -Wstrict-prototypes -peda
- 	-Wcast-qual -Winline -Wall
- 
- # when running spin with a different compiler:
--			# on OS2:         spin -Picc -E/Pd+ -E/Q+
--			# for Visual C++: spin -PCL  -E/E
- 
- YACC=yacc		# on Solaris: /usr/ccs/bin/yacc
- YFLAGS=-v -d 		# creates y.output and y.tab.h

Property changes on: head/devel/spin/files/patch-makefile
___________________________________________________________________
Deleted: fbsd:nokeywords
## -1 +0,0 ##
-yes
\ No newline at end of property
Deleted: svn:eol-style
## -1 +0,0 ##
-native
\ No newline at end of property
Deleted: svn:mime-type
## -1 +0,0 ##
-text/plain
\ No newline at end of property
Index: head/devel/spin/Makefile
===================================================================
--- head/devel/spin/Makefile	(revision 480345)
+++ head/devel/spin/Makefile	(revision 480346)
@@ -1,57 +1,55 @@
 # Created by: jhanna@home.com
 # $FreeBSD$
 
 PORTNAME=	spin
 PORTVERSION=	6.4.8
 CATEGORIES=	devel
 MASTER_SITES=	http://spinroot.com/spin/Src/
 DISTNAME=	spin${PORTVERSION:S/.//g}
 DIST_SUBDIR=	spin
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	On-the-fly verification system for asynchronous concurrent systems
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
-BROKEN=		fails to patch
-
 RUN_DEPENDS=	gcc:lang/gcc
 
 WRKSRC=		${WRKDIR}/Spin/Src${PORTVERSION}
 MAKEFILE=	makefile
 ALL_TARGET=	spin
 MAKE_ARGS=	CC="${CC}" CFLAGS="${CFLAGS} -DNXT"
 
 PORTDOCS=	*
 PORTEXAMPLES=	*
 
 OPTIONS_DEFINE=	DOCS EXAMPLES ISPIN
 OPTIONS_DEFAULT=	ISPIN
 OPTIONS_SUB=	yes
 ISPIN_DESC=	Install ispin and TCL/Tk dependency
 ISPIN_USES=	shebangfix tk
 
 SHEBANG_FILES=	../iSpin/ispin.tcl
 tk_OLD_CMD=	/bin/sh
 tk_CMD=		${WISH} -f
 
 post-patch-ISPIN-on:
 	${REINPLACE_CMD} -e "s|exec wish|#exec wish|" ${WRKDIR}/Spin/iSpin/ispin.tcl
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/spin ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${STAGEDIR}${PREFIX}/man/man1
 
 do-install-DOCS-on:
 	@${MKDIR} ${STAGEDIR}${DOCSDIR}
 	cd ${WRKDIR}/Spin/Doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}
 
 do-install-EXAMPLES-on:
 	@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
 	cd ${WRKDIR}/Spin/Examples && ${COPYTREE_SHARE} . ${STAGEDIR}${EXAMPLESDIR}
 
 do-install-ISPIN-on:
 	${INSTALL_SCRIPT} ${WRKDIR}/Spin/iSpin/ispin.tcl ${STAGEDIR}${PREFIX}/bin/ispin
 
 .include <bsd.port.mk>