Index: head/devel/spin/Makefile =================================================================== --- head/devel/spin/Makefile (revision 479776) +++ head/devel/spin/Makefile (revision 479777) @@ -1,53 +1,55 @@ # Created by: jhanna@home.com # $FreeBSD$ PORTNAME= spin -PORTVERSION= 6.4.5 +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 + +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 Index: head/devel/spin/distinfo =================================================================== --- head/devel/spin/distinfo (revision 479776) +++ head/devel/spin/distinfo (revision 479777) @@ -1,2 +1,3 @@ -SHA256 (spin/spin645.tar.gz) = 44081282eb63cd9df763ebbcf8bad19dbeefecbebf8ac2cc090ea92e2ab71875 -SIZE (spin/spin645.tar.gz) = 672549 +TIMESTAMP = 1536942338 +SHA256 (spin/spin648.tar.gz) = 0035bb114157a759e047c7f94ede0a3d7149003893914c9bbdff45e074ab6ae7 +SIZE (spin/spin648.tar.gz) = 544622