blob: 9e134b13d2e2293c3c1a97644e06c8ee36a22abd (
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
|
# $FreeBSD$
PORTNAME= boolector
DISTVERSION= 3.0.0-239
DISTVERSIONSUFFIX= -g0b4b8540
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Satisfiability Modulo Theories (SMT) solver
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= picosat>0:math/picosat
LIB_DEPENDS= libbtor2parser.so:math/btor2tools
USES= cmake:noninja compiler:c++11-lang # ninja fails to build tests
USE_GITHUB= yes
GH_ACCOUNT= Boolector
CMAKE_ON= BUILD_SHARED_LIBS
do-test: # tests assume that python-3.6 is installed # some tests fail: https://github.com/Boolector/boolector/issues/53
@${REINPLACE_CMD} 's|#!/usr/bin/env python2|#!${LOCALBASE}/bin/python3.6|' ${WRKSRC}/contrib/btorcheckmodel.py
@cd ${BUILD_WRKSRC} && \
${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \
${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
.include <bsd.port.mk>
|
