| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/boolector/ |
Upload File : |
PORTNAME= boolector
DISTVERSION= 3.2.2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Satisfiability Modulo Theories (SMT) solver
WWW= https://boolector.github.io/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= cadical>0:math/cadical
LIB_DEPENDS= libbtor2parser.so:math/btor2tools \
libminisat.so:math/minisat \
libpicosat.so:math/picosat
TEST_DEPENDS= bash:shells/bash
USES= cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests
CPE_VENDOR= boolector_project
USE_GITHUB= yes
GH_ACCOUNT= Boolector
CMAKE_ON= BUILD_SHARED_LIBS
do-test:
@${FIND} ${WRKDIR} -name "*.py" \
| ${XARGS} ${REINPLACE_CMD} -e 's|#!/usr/bin/env python$$|#!${PYTHON_CMD}| ; s|#!/usr/bin/env python3$$|#!${PYTHON_CMD}|'
@${FIND} ${WRKDIR} -name "*.sh" \
| ${XARGS} ${REINPLACE_CMD} 's|#!/bin/bash$$|#!${LOCALBASE}/bin/bash|'
@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>