diff options
| -rw-r--r-- | devel/spin/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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="" |