mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-10 07:04:03 +00:00
ea8c8ec7da
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3 to GCC 9.1 under most circumstances now after revision 507371. 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, everything INDEX-11 shows with a dependency on lang/gcc9 now. PR: 238330
32 lines
984 B
Makefile
32 lines
984 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= boolector
|
|
DISTVERSION= 3.0.0-239
|
|
PORTREVISION= 1
|
|
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>
|