diff --git a/devel/spin/Makefile b/devel/spin/Makefile index b230e3f04bd9..71a9a3f3230e 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -15,6 +15,7 @@ DISTNAME= spin${PORTVERSION:S/.//g} MAINTAINER= jhanna@shaw.ca COMMENT= An on-the-fly verification system for asynchronous concurrent systems +BROKEN= checksum mismatch .if !defined(WITHOUT_XSPIN) RUN_DEPENDS= wish8.4:${PORTSDIR}/x11-toolkits/tk84 PLIST_SUB+= XSPIN=""