math/boolector: Update 3.1.0 -> 3.2.0
Reported by: portscout
This commit is contained in:
parent
f4cbd65c5c
commit
45a72e1882
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=525595
@ -1,7 +1,7 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= boolector
|
||||
DISTVERSION= 3.1.0
|
||||
DISTVERSION= 3.2.0
|
||||
CATEGORIES= math
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
@ -21,8 +21,11 @@ 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
|
||||
do-test: # tests assume that python-3.7 and bash are installed
|
||||
@${FIND} ${WRKDIR} -name "*.py" \
|
||||
| ${XARGS} ${REINPLACE_CMD} -e 's|#!/usr/bin/env python$$|#!${LOCALBASE}/bin/python3.7| ; s|#!/usr/bin/env python3$$|#!${LOCALBASE}/bin/python3.7|'
|
||||
@${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} && \
|
||||
|
@ -1,3 +1,3 @@
|
||||
TIMESTAMP = 1575434687
|
||||
SHA256 (Boolector-boolector-3.1.0_GH0.tar.gz) = 0c799f4e835e7f20ae7ecf7c3c8a99b9638b01cfe7b7f5dd1bc93ac478a0b06c
|
||||
SIZE (Boolector-boolector-3.1.0_GH0.tar.gz) = 1548782
|
||||
TIMESTAMP = 1581185405
|
||||
SHA256 (Boolector-boolector-3.2.0_GH0.tar.gz) = 5065ed4032f2761aff509a99df2124c0de1ab4fc8e7407d271946c92d564f268
|
||||
SIZE (Boolector-boolector-3.2.0_GH0.tar.gz) = 1558017
|
||||
|
Loading…
Reference in New Issue
Block a user