blob: f89e303ed68802561aa41143d2ae639410f6a60b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# Created by: Ed Schouten <ed@FreeBSD.org>
# $FreeBSD$
PORTNAME= bddsolve
PORTVERSION= 1.03
PORTREVISION= 1
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
LIB_DEPENDS+= libbdd.so:${PORTSDIR}/science/buddy \
libboost_program_options.so:${PORTSDIR}/devel/boost-libs
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
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>
|
