mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-13 03:03:15 +00:00
Code Issues Releases Activity
8f2582a569
freebsd-ports/devel/spin/Makefile

65 lines
1.7 KiB
Makefile
Raw Normal View History

Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
# Ports collection makefile for: spin
# Date created: Oct 23, 1997
# Whom: jhanna@home.com
#
Change Id->FreeBSD.
1999-08-25 07:23:21 +00:00
# $FreeBSD$
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
#
Convert to PORTNAME/PORTVERSION.
2000-04-14 07:20:58 +00:00
PORTNAME= spin
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
PORTVERSION= 4.0.7
The HTML documentation tarball has been removed PR: 56071 Submitted by: maintainer
2003-08-28 07:43:33 +00:00
PORTREVISION= 1
Category move: math/spin to devel PR: ports/10396 Submitted by: Daniel C. Sobral <dcs@newsguy.com> Approved by: maintainer
2002-06-11 19:31:07 +00:00
CATEGORIES= devel
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
MASTER_SITES= http://spinroot.com/spin/Src/
The HTML documentation tarball has been removed PR: 56071 Submitted by: maintainer
2003-08-28 07:43:33 +00:00
DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
* Upgrade to 3.5.0. * Change maintainers email. * Use REINPLACE. * Add master site. PR: 43753 Submitted by: maintainer
2002-10-16 21:50:47 +00:00
MAINTAINER= jhanna@shaw.ca
De-pkg-comment.
2003-02-21 11:23:04 +00:00
COMMENT= An on-the-fly verification system for asynchronous concurrent systems
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
.if !defined(WITHOUT_XSPIN)
RUN_DEPENDS= wish8.4:${PORTSDIR}/x11-toolkits/tk84
PLIST_SUB+= XSPIN=""
.else
PLIST_SUB+= XSPIN="@comment "
.endif
BROKEN: CHecksum mismatch
2003-08-07 08:34:31 +00:00
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
DIST_SUBDIR= spin
Update to 4.0.3. PR: ports/50706 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
2003-04-11 16:33:33 +00:00
WRKSRC= ${WRKDIR}/Src${PORTVERSION}
MAKEFILE= make_unix
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
ALL_TARGET= spin
* Upgrade to 3.5.0. * Change maintainers email. * Use REINPLACE. * Add master site. PR: 43753 Submitted by: maintainer
2002-10-16 21:50:47 +00:00
USE_REINPLACE= yes
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
pre-everything::
@${ECHO_MSG} ""
@${ECHO_MSG} "Use WITHOUT_XSPIN=yes to suppress xspin (and TCL/Tk dependency)."
@${ECHO_MSG} ""
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
post-extract:
@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
- Support LOCALBASE properly (in setting path to custom wish script) PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp>
2000-06-23 13:44:03 +00:00
post-patch:
Update to version 3.4.4 PR: 25024 Submitted by: MAINTAINER
2001-02-12 12:58:00 +00:00
@WISH=`(cd ${LOCALBASE}/bin ; ls wish8* ) | tail -1` ; \
if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
* Upgrade to 3.5.0. * Change maintainers email. * Use REINPLACE. * Add master site. PR: 43753 Submitted by: maintainer
2002-10-16 21:50:47 +00:00
${REINPLACE_CMD} \
Update to version 3.4.4 PR: 25024 Submitted by: MAINTAINER
2001-02-12 12:58:00 +00:00
-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin407.tcl
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
.if !defined(WITHOUT_XSPIN)
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
${RM} -f ${PREFIX}/bin/xspin
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin407.tcl ${PREFIX}/bin/xspin
.endif
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
.if !defined(NOPORTDOCS)
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
${MKDIR} ${DOCSDIR}/Doc
${MKDIR} ${DOCSDIR}/Examples
${MKDIR} ${DOCSDIR}/Test
${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 \
Update to 3.4.1 PR: 21181 Submitted by: maintainer
2000-09-16 20:18:20 +00:00
loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount
A newer spin has been released. Also, the current spin suffers from having been minorly updated without a distfile version bump. Alternate master sites have been removed for now, they have not been updated with the current version. The patch also makes the xspin dependency on with8.4 explicit, though xspin should work 8.3 as well. xspin can now be suppressed with WITHOUT_XSPIN. PR: 55364 Submitted by: Jonathan Hanna <jhanna@shaw.ca>
2003-08-08 22:03:49 +00:00
${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test
Import of math spin: Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
.endfor
.endif
.include <bsd.port.mk>
Reference in New Issue Copy Permalink