diff options
| author | John Marino <marino@FreeBSD.org> | 2015-02-25 12:01:52 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2015-02-25 12:01:52 +0000 |
| commit | d1404f6e9b2a1644d078867b19498c8a8077e42e (patch) | |
| tree | a7da22a712518f2b98f223021100988afdcf8537 /science/bddsolve | |
| parent | 9e4bccdb1869d3c4487cc4a2e418b887f81caca2 (diff) | |
| download | ports-d1404f6e9b2a1644d078867b19498c8a8077e42e.tar.gz ports-d1404f6e9b2a1644d078867b19498c8a8077e42e.zip | |
science/bddsolve: Set environment, use CXXFLAGS, cleanup
This port had two main problems:
1) failure to set the enviroment in the build target
2) failure to use CXXFLAGS with CXX
While fixing those, clean up a bit:
3) remove <pre>,<post> by using BROKEN_powerpc instead
4) use CFLAGS+= to augment CFLAGS
5) use LDFLAGS+= to augment LDFLAGS
6) simplify do-build target accordingly
Approved by: just fix it
Notes
Notes:
svn path=/head/; revision=379903
Diffstat (limited to 'science/bddsolve')
| -rw-r--r-- | science/bddsolve/Makefile | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 2e61918aa27d..f89e303ed688 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -16,18 +16,14 @@ LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \ USES= zip NO_WRKSUBDIR= yes +CFLAGS+= -I${LOCALBASE}/include -I${WRKSRC}/include +LDFLAGS+= -L${LOCALBASE}/lib -lbdd -lboost_program_options +BROKEN_powerpc= Does not compile due to running out of virtual memory OPTIONS_DEFINE= EXAMPLES -.include <bsd.port.pre.mk> - -.if ${ARCH} == "powerpc" -BROKEN= Does not compile on powerpc: runs out of virtual memory -.endif - do-build: - ${CXX} ${CFLAGS} -I${LOCALBASE}/include -I${WRKSRC}/include \ - ${LDFLAGS} -L${LOCALBASE}/lib -lbdd -lboost_program_options \ + ${SETENV} ${MAKE_ENV} ${CXX} ${CXXFLAGS} ${LDFLAGS} \ -o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp do-install: @@ -36,4 +32,4 @@ do-install: ${INSTALL_DATA} ${WRKSRC}/example/reach.b ${STAGEDIR}${EXAMPLESDIR} ${INSTALL_DATA} ${WRKSRC}/example/sat.b ${STAGEDIR}${EXAMPLESDIR} -.include <bsd.port.post.mk> +.include <bsd.port.mk> |