diff options
| author | ehaupt <ehaupt@FreeBSD.org> | 2014-03-20 17:34:19 +0800 |
|---|---|---|
| committer | ehaupt <ehaupt@FreeBSD.org> | 2014-03-20 17:34:19 +0800 |
| commit | cb58c35915c54fd1a8e5fb08eae49e9c63bfbc7a (patch) | |
| tree | da3ddaf457a2469328a3c3ac83674770beed25a6 /science | |
| parent | 1af8a39f8471926621954dc18c6205747f2e2dda (diff) | |
| download | freebsd-ports-gnome-cb58c35915c54fd1a8e5fb08eae49e9c63bfbc7a.tar.gz freebsd-ports-gnome-cb58c35915c54fd1a8e5fb08eae49e9c63bfbc7a.tar.zst freebsd-ports-gnome-cb58c35915c54fd1a8e5fb08eae49e9c63bfbc7a.zip | |
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
Diffstat (limited to 'science')
| -rw-r--r-- | science/bddsolve/Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index a205eaacda7a..2e61918aa27d 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -17,7 +17,8 @@ LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \ USES= zip NO_WRKSUBDIR= yes -NO_STAGE= yes +OPTIONS_DEFINE= EXAMPLES + .include <bsd.port.pre.mk> .if ${ARCH} == "powerpc" @@ -30,11 +31,9 @@ do-build: -o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${LOCALBASE}/bin/ -.if !defined(NOPORTEXAMPLES) - ${MKDIR} ${EXAMPLESDIR} - ${INSTALL_DATA} ${WRKSRC}/example/reach.b ${EXAMPLESDIR}/ - ${INSTALL_DATA} ${WRKSRC}/example/sat.b ${EXAMPLESDIR}/ -.endif + ${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${STAGEDIR}${PREFIX}/bin + @${MKDIR} ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_DATA} ${WRKSRC}/example/reach.b ${STAGEDIR}${EXAMPLESDIR} + ${INSTALL_DATA} ${WRKSRC}/example/sat.b ${STAGEDIR}${EXAMPLESDIR} .include <bsd.port.post.mk> |