diff --git a/devel/spin/Makefile b/devel/spin/Makefile index ddb65c0c5317..ca3c52e3c65f 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -1,56 +1,56 @@ PORTNAME= spin -PORTVERSION= 6.5.0 +PORTVERSION= 6.5.2 DISTVERSIONPREFIX= version- CATEGORIES= devel -MAINTAINER= ports@FreeBSD.org +MAINTAINER= adridg@FreeBSD.org COMMENT= On-the-fly verification system for asynchronous concurrent systems WWW= http://spinroot.com LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/Src/LICENSE USES= cpe CPE_VENDOR= spinroot MAKEFILE= makefile ALL_TARGET= all MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS} -DNXT" PORTDOCS= * PORTEXAMPLES= * USE_GITHUB= yes GH_ACCOUNT= nimble-code GH_PROJECT= Spin 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= optional_gui/ispin.tcl tk_OLD_CMD= /bin/sh tk_CMD= ${WISH} -f post-patch-ISPIN-on: ${REINPLACE_CMD} -e "s|exec wish|#exec wish|" ${WRKSRC}/optional_gui/ispin.tcl do-install: ${INSTALL_PROGRAM} ${WRKSRC}/Src/spin ${STAGEDIR}${PREFIX}/bin ${INSTALL_MAN} ${WRKSRC}/Man/spin.1 ${STAGEDIR}${PREFIX}/man/man1 do-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC}/Doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR} do-install-EXAMPLES-on: @${MKDIR} ${STAGEDIR}${EXAMPLESDIR} cd ${WRKSRC}/Examples && ${COPYTREE_SHARE} . ${STAGEDIR}${EXAMPLESDIR} do-install-ISPIN-on: ${INSTALL_SCRIPT} ${WRKSRC}/optional_gui/ispin.tcl ${STAGEDIR}${PREFIX}/bin/ispin .include diff --git a/devel/spin/distinfo b/devel/spin/distinfo index 5776c2ebbc87..e5b27e3e1c0c 100644 --- a/devel/spin/distinfo +++ b/devel/spin/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1570219065 -SHA256 (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 7bd764793621940b7e69eef8210c82c75ccee7745f24927f221d228260505333 -SIZE (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 4360118 +TIMESTAMP = 1693649541 +SHA256 (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = e46a3bd308c4cd213cc466a8aaecfd5cedc02241190f3cb9a1d1b87e5f37080a +SIZE (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = 6084903