mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-21 00:25:50 +00:00
- Support staging
- Define EXAMPLES option - Don't install to LOCALBASE
This commit is contained in:
parent
3a2dd80354
commit
81d2d67887
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=348672
@ -17,7 +17,8 @@ LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \
|
|||||||
USES= zip
|
USES= zip
|
||||||
NO_WRKSUBDIR= yes
|
NO_WRKSUBDIR= yes
|
||||||
|
|
||||||
NO_STAGE= yes
|
OPTIONS_DEFINE= EXAMPLES
|
||||||
|
|
||||||
.include <bsd.port.pre.mk>
|
.include <bsd.port.pre.mk>
|
||||||
|
|
||||||
.if ${ARCH} == "powerpc"
|
.if ${ARCH} == "powerpc"
|
||||||
@ -30,11 +31,9 @@ do-build:
|
|||||||
-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
|
-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
|
||||||
|
|
||||||
do-install:
|
do-install:
|
||||||
${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${LOCALBASE}/bin/
|
${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${STAGEDIR}${PREFIX}/bin
|
||||||
.if !defined(NOPORTEXAMPLES)
|
@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
|
||||||
${MKDIR} ${EXAMPLESDIR}
|
${INSTALL_DATA} ${WRKSRC}/example/reach.b ${STAGEDIR}${EXAMPLESDIR}
|
||||||
${INSTALL_DATA} ${WRKSRC}/example/reach.b ${EXAMPLESDIR}/
|
${INSTALL_DATA} ${WRKSRC}/example/sat.b ${STAGEDIR}${EXAMPLESDIR}
|
||||||
${INSTALL_DATA} ${WRKSRC}/example/sat.b ${EXAMPLESDIR}/
|
|
||||||
.endif
|
|
||||||
|
|
||||||
.include <bsd.port.post.mk>
|
.include <bsd.port.post.mk>
|
||||||
|
Loading…
Reference in New Issue
Block a user