mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-05 22:43:24 +00:00
Code Issues Releases Activity
f11dbca392
freebsd-ports/devel/spin/Makefile

50 lines
1.4 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
Update to version 3.3.10. PR: 18549 Submitted by: maintainer
2000-05-29 03:09:13 +00:00
PORTVERSION= 3.3.10
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
CATEGORIES= math
MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \
ftp://www.netlib.org/spin/ \
ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go.
2000-05-14 05:40:52 +00:00
ftp://ftp.freesoftware.com/pub/netlib/spin/
Update to version 3.3.10. PR: 18549 Submitted by: maintainer
2000-05-29 03:09:13 +00:00
DISTFILES= spin3310.tar.gz html.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
MAINTAINER= jhanna@home.com
DIST_SUBDIR= spin
Update spin to 3.30. PR: 12373 Submitted by: maintainer
1999-06-25 03:51:43 +00:00
WRKSRC= ${WRKDIR}/Src3.3
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
MAKEFILE= makefile
ALL_TARGET= spin
post-extract:
@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
pre-build:
cd ${WRKSRC} && ${MAKE} clean
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
Update to version 3.3.10. PR: 18549 Submitted by: maintainer
2000-05-29 03:09:13 +00:00
${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin3310.tcl ${PREFIX}/bin
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
Update to version 3.3.10. PR: 18549 Submitted by: maintainer
2000-05-29 03:09:13 +00:00
${LN} -s ${PREFIX}/bin/xspin3310.tcl ${PREFIX}/bin/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
.if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/spin/Doc
${MKDIR} ${PREFIX}/share/doc/spin/Examples
${MKDIR} ${PREFIX}/share/doc/spin/HTML
${MKDIR} ${PREFIX}/share/doc/spin/Test
${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc
${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${PREFIX}/share/doc/spin/Examples
${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer
1999-02-12 02:48:58 +00:00
.for i in README.tests abp erathostenes hello leader leader.ltl leader2 \
Update spin to 3.30. PR: 12373 Submitted by: maintainer
1999-06-25 03:51:43 +00:00
loops pathfinder peterson petersonN pftp priorities snoopy sort
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
${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test
.endfor
.endif
.include <bsd.port.mk>
Reference in New Issue Copy Permalink