diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/R-cran-Deriv/Makefile | 2 | ||||
| -rw-r--r-- | math/R-cran-Deriv/distinfo | 6 | ||||
| -rw-r--r-- | math/cvc5/Makefile | 5 | ||||
| -rw-r--r-- | math/libpoly/Makefile | 4 |
4 files changed, 8 insertions, 9 deletions
diff --git a/math/R-cran-Deriv/Makefile b/math/R-cran-Deriv/Makefile index 884733f42c82..f9cb49e963d6 100644 --- a/math/R-cran-Deriv/Makefile +++ b/math/R-cran-Deriv/Makefile @@ -1,5 +1,5 @@ PORTNAME= Deriv -PORTVERSION= 4.1.6 +PORTVERSION= 4.2.0 CATEGORIES= math DISTNAME= ${PORTNAME}_${PORTVERSION} diff --git a/math/R-cran-Deriv/distinfo b/math/R-cran-Deriv/distinfo index 6010c4fbb064..18a9bf2c4613 100644 --- a/math/R-cran-Deriv/distinfo +++ b/math/R-cran-Deriv/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1726903945 -SHA256 (Deriv_4.1.6.tar.gz) = 01b82a52dc5eb395142c17e062878f5022b68a34725ba0dcdf55c1f61ea4ba72 -SIZE (Deriv_4.1.6.tar.gz) = 37831 +TIMESTAMP = 1750650410 +SHA256 (Deriv_4.2.0.tar.gz) = 210394e7f90fe6fd943d37e8b1953c5a3c10c96fbdc5bbac7660aa9d112a1f63 +SIZE (Deriv_4.2.0.tar.gz) = 38752 diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index dd800f743ae5..a42303efa420 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -19,10 +19,9 @@ BUILD_DEPENDS= bash:shells/bash \ ${PYTHON_PKGNAMEPREFIX}pexpect>0:misc/py-pexpect@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pybind11>0:devel/py-pybind11@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR} -LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ - libcadical.so:math/cadical +LIB_DEPENDS= libcadical.so:math/cadical -USES= cmake:testing ncurses compiler:c++17-lang java:build \ +USES= cmake:testing ncurses compiler:c++17-lang \ localbase:ldflags pkgconfig python:build USE_LDCONFIG= yes USE_GITHUB= yes diff --git a/math/libpoly/Makefile b/math/libpoly/Makefile index 6a254cb70cc9..0e85bafaadcb 100644 --- a/math/libpoly/Makefile +++ b/math/libpoly/Makefile @@ -7,7 +7,7 @@ MAINTAINER= yuri@FreeBSD.org COMMENT= C library for manipulating polynomials WWW= https://github.com/SRI-CSL/libpoly -LICENSE= GPLv3 +LICENSE= LGPL3 LICENSE_FILE= ${WRKSRC}/LICENCE LIB_DEPENDS= libgmp.so:math/gmp @@ -23,7 +23,7 @@ CMAKE_OFF= LIBPOLY_BUILD_PYTHON_API LIBPOLY_BUILD_STATIC LIBPOLY_BUILD_STATIC_PI .include <bsd.port.pre.mk> .if ${OPSYS} == FreeBSD -CFLAGS+= -Wno-error=unused-but-set-variable +CFLAGS+= -Wno-error=unused-but-set-variable .endif # tests as of 0.2.0: 100% tests passed, 0 tests failed out of 14 |