diff options
| author | yuri <yuri@FreeBSD.org> | 2020-02-09 03:10:37 +0800 |
|---|---|---|
| committer | yuri <yuri@FreeBSD.org> | 2020-02-09 03:10:37 +0800 |
| commit | fa7ae25c28fc8cdb6653a8be43fd9e853704c8f4 (patch) | |
| tree | 8b36e77ecf216fec5564a73d52ca2067eddd6b4a /math | |
| parent | 442e2815c3bae4372a254a697872b0606d1817ba (diff) | |
| download | freebsd-ports-gnome-fa7ae25c28fc8cdb6653a8be43fd9e853704c8f4.tar.gz freebsd-ports-gnome-fa7ae25c28fc8cdb6653a8be43fd9e853704c8f4.tar.zst freebsd-ports-gnome-fa7ae25c28fc8cdb6653a8be43fd9e853704c8f4.zip | |
math/boolector: Update 3.1.0 -> 3.2.0
Reported by: portscout
Diffstat (limited to 'math')
| -rw-r--r-- | math/boolector/Makefile | 9 | ||||
| -rw-r--r-- | math/boolector/distinfo | 6 |
2 files changed, 9 insertions, 6 deletions
diff --git a/math/boolector/Makefile b/math/boolector/Makefile index dd633727c480..e6e8374d08a7 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -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} && \ diff --git a/math/boolector/distinfo b/math/boolector/distinfo index e5187876dc29..6d14f11d2ff6 100644 --- a/math/boolector/distinfo +++ b/math/boolector/distinfo @@ -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 |