mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
54 lines
1.8 KiB
Makefile
54 lines
1.8 KiB
Makefile
# Created by: jhanna@home.com
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= spin
|
|
PORTVERSION= 6.3.2
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://spinroot.com/spin/Src/
|
|
DISTNAME= spin${PORTVERSION:S/.//g}
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= On-the-fly verification system for asynchronous concurrent systems
|
|
|
|
OPTIONS_DEFINE= ISPIN DOCS
|
|
OPTIONS_DEFAULT= ISPIN
|
|
ISPIN_DESC= Install xspin and TCL/Tk dependency
|
|
|
|
.include <bsd.port.options.mk>
|
|
|
|
.if ${PORT_OPTIONS:MISPIN}
|
|
USES= shebangfix tk
|
|
SHEBANG_FILES= ../iSpin/ispin.tcl
|
|
tk_OLD_CMD= /bin/sh
|
|
tk_CMD= ${WISH} -f
|
|
PLIST_SUB+= ISPIN=""
|
|
.else
|
|
PLIST_SUB+= ISPIN="@comment "
|
|
.endif
|
|
|
|
DIST_SUBDIR= spin
|
|
WRKSRC= ${WRKDIR}/Spin/Src${PORTVERSION}
|
|
MAKEFILE= makefile
|
|
ALL_TARGET= spin
|
|
MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS} -DNXT"
|
|
|
|
post-patch:
|
|
${REINPLACE_CMD} -e "s|exec wish|#exec wish|" ${WRKDIR}/Spin/iSpin/ispin.tcl
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/spin ${STAGEDIR}${PREFIX}/bin
|
|
${INSTALL_SCRIPT} ${WRKSRC}/../iSpin/ispin.tcl ${STAGEDIR}${PREFIX}/bin/ispin
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}/Doc
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/Book_1991
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/Exercises
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/LTL
|
|
${INSTALL_DATA} ${WRKDIR}/Spin/Doc/* ${STAGEDIR}${DOCSDIR}/Doc
|
|
(cd ${WRKDIR}/Spin/Examples && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples)
|
|
(cd ${WRKDIR}/Spin/Examples/Book_1991 && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/Book_1991)
|
|
(cd ${WRKDIR}/Spin/Examples/Exercises && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/Exercises)
|
|
(cd ${WRKDIR}/Spin/Examples/LTL && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/LTL)
|
|
${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${STAGEDIR}${PREFIX}/man/man1
|
|
|
|
.include <bsd.port.mk>
|