cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

science/bddsolve: Set environment, use CXXFLAGS, cleanup

Browse Source 
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
This commit is contained in:
John Marino 2015-02-25 12:01:52 +00:00
parent 9e4bccdb18
commit d1404f6e9b
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=379903
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
science/bddsolve/Makefile
View File

@ -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>