a9f015d155
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t GCC 8.2 under most circumstances. This includes ports - with USE_GCC=yes or USE_GCC=any, - with USES=fortran, - using Mk/bsd.octave.mk which in turn features USES=fortran, and - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang, c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib plus, as a double check, everything INDEX-11 showed depending on lang/gcc7. PR: 231590
36 lines
1 KiB
Makefile
36 lines
1 KiB
Makefile
# Created by: Ed Schouten <ed@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= bddsolve
|
|
PORTVERSION= 1.04
|
|
PORTREVISION= 5
|
|
CATEGORIES= science
|
|
MASTER_SITES= http://www.win.tue.nl/~wieger/bddsolve/_downloads/
|
|
DISTNAME= ${PORTNAME}-source-${PORTVERSION}
|
|
|
|
MAINTAINER= ed@FreeBSD.org
|
|
COMMENT= BDD-based satisfiability and reachability solver
|
|
|
|
BROKEN_powerpc= fails to compile due to running out of virtual memory
|
|
|
|
LIB_DEPENDS+= libbdd.so:science/buddy \
|
|
libboost_program_options.so:devel/boost-libs
|
|
|
|
USES= compiler:c++11-lang zip
|
|
NO_WRKSUBDIR= yes
|
|
CFLAGS+= -I${LOCALBASE}/include -I${WRKSRC}/include
|
|
LDFLAGS+= -L${LOCALBASE}/lib -lbdd -lboost_program_options
|
|
|
|
OPTIONS_DEFINE= EXAMPLES
|
|
|
|
do-build:
|
|
${SETENV} ${MAKE_ENV} ${CXX} ${CXXFLAGS} ${LDFLAGS} \
|
|
-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
|
|
|
|
do-install:
|
|
${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.mk>
|