35 lines
809 B
Makefile
35 lines
809 B
Makefile
V = 6.4.7
|
|
REVISION = 0
|
|
COMMENT = tool for formal verification of parallel software
|
|
DISTNAME = spin${V:S/.//g}
|
|
PKGNAME = spin-${V}
|
|
CATEGORIES = lang
|
|
|
|
HOMEPAGE = https://spinroot.com/
|
|
MAINTAINER = Ori Bernstein <ori@eigenstate.org>
|
|
|
|
# BSD
|
|
PERMIT_PACKAGE = Yes
|
|
|
|
WANTLIB += c
|
|
|
|
MASTER_SITES = https://eigenstate.org/distfiles/ \
|
|
https://spinroot.com/spin/Src/
|
|
|
|
ALL_TARGET = spin
|
|
MAKE_FILE = makefile
|
|
MAKE_FLAGS = CFLAGS="${CFLAGS} -std=c99 -DNXT"
|
|
|
|
NO_TEST = Yes
|
|
|
|
WRKDIST = ${WRKDIR}/Spin/Src${V}
|
|
|
|
post-install:
|
|
${INSTALL_DATA_DIR} ${PREFIX}/share/examples/spin
|
|
cd ${WRKSRC}/../Examples && find * -type d -exec ${INSTALL_DATA_DIR} \
|
|
"${PREFIX}/share/examples/spin/{}" \;
|
|
cd ${WRKSRC}/../Examples && find * -type f -exec ${INSTALL_DATA} \
|
|
"{}" "${PREFIX}/share/examples/spin/{}" \;
|
|
|
|
.include <bsd.port.mk>
|