diff options
Diffstat (limited to 'devel/spin/Makefile')
| -rw-r--r-- | devel/spin/Makefile | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index f231a1a48b41..b230e3f04bd9 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -6,11 +6,11 @@ # PORTNAME= spin -PORTVERSION= 4.0.7 -PORTREVISION= 1 +PORTVERSION= 4.1.2 +PORTREVISION= 0 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ -DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz +DISTNAME= spin${PORTVERSION:S/.//g} MAINTAINER= jhanna@shaw.ca COMMENT= An on-the-fly verification system for asynchronous concurrent systems @@ -28,6 +28,9 @@ MAKEFILE= make_unix ALL_TARGET= spin USE_REINPLACE= yes +MANPAGE_WRKSRC= ${WRKDIR}/Man +MAN1= spin.1 + pre-everything:: @${ECHO_MSG} "" @${ECHO_MSG} "Use WITHOUT_XSPIN=yes to suppress xspin (and TCL/Tk dependency)." @@ -41,13 +44,13 @@ post-patch: if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \ ${REINPLACE_CMD} \ -e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \ - -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin407.tcl + -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.1/xspin412.tcl do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin .if !defined(WITHOUT_XSPIN) ${RM} -f ${PREFIX}/bin/xspin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin407.tcl ${PREFIX}/bin/xspin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.1/xspin412.tcl ${PREFIX}/bin/xspin .endif .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR}/Doc @@ -56,9 +59,11 @@ do-install: ${INSTALL_DATA} ${WRKDIR}/Doc/* ${DOCSDIR}/Doc ${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${DOCSDIR}/Examples .for i in README.tests abp eratosthenes hello leader leader.ltl leader2 \ - loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount + leader_trace loops mobile1 mobile1.ltl mobile2 mobile2.ltl \ + pathfinder peterson petersonN pftp priorities snoopy sort wordcount ${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test .endfor + ${INSTALL_MAN} ${WRKDIR}/Man/spin.1 ${PREFIX}/man/man1 .endif .include <bsd.port.mk> |