blob: b5e0334f2998a0dcc7bb054dfd4242d886319e5f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# Created by: jhanna@home.com
# $FreeBSD$
PORTNAME= spin
PORTVERSION= 6.4.3
CATEGORIES= devel
MASTER_SITES= http://spinroot.com/spin/Src/
DISTNAME= spin${PORTVERSION:S/.//g}
MAINTAINER= antont@inbox.lv
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>
|
