diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 18851b8db7f6..7eb113f57058 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,40 +1,40 @@ PORTNAME= spot -DISTVERSION= 2.14.3 +DISTVERSION= 2.14.5 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= yuri@FreeBSD.org COMMENT= Python binding for 'Spot', the library for omega automata manipulation WWW= https://spot.lrde.epita.fr LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/COPYING LIB_DEPENDS= libspot.so:math/spot USES= compiler:c++17-lang gmake libtool python GNU_CONFIGURE= yes CONFIGURE_ARGS= --enable-python --disable-static # otherwise shared libs aren't linked to spot libs for some reason LDFLAGS+= -L${LOCALBASE}/lib .for l in spot bddx spotgen spotltsmin LDFLAGS+= -l${l} .endfor post-configure: @${REINPLACE_CMD} ' \ s|^BUDDY_LDFLAGS =.*|BUDDY_LDFLAGS = ${LOCALBASE}/lib/libbddx.so|; \ s|$$(top_builddir)/spot/libspot.la|${LOCALBASE}/lib/libspot.so|; \ s|$$(top_builddir)/spot/ltsmin/libspotltsmin.la|${LOCALBASE}/lib/libspotltsmin.so|; \ s|$$(top_builddir)/spot/gen/libspotgen.la|${LOCALBASE}/lib/libspotgen.so|' \ ${WRKSRC}/python/Makefile post-install: @${FIND} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} -name "*.so" | ${XARGS} ${STRIP_CMD} # to test: cd ../spot && make test WITH_PYTHON=yes .include diff --git a/math/py-spot/distinfo b/math/py-spot/distinfo index 30e63d6b0c24..e53e6f7caac7 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1762966144 -SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21 -SIZE (spot-2.14.3.tar.gz) = 8585774 +TIMESTAMP = 1768210019 +SHA256 (spot-2.14.5.tar.gz) = 8703d33426eea50a8e3b7f4b984c05b8058cbff054b260863a1688980d8b8d19 +SIZE (spot-2.14.5.tar.gz) = 8587011 diff --git a/math/spot/Makefile b/math/spot/Makefile index 0c4ff64e6054..02e3edf44022 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,38 +1,49 @@ PORTNAME= spot -DISTVERSION= 2.14.3 +DISTVERSION= 2.14.5 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ MAINTAINER= yuri@FreeBSD.org COMMENT= Library for omega automata manipulation and model checking WWW= https://spot.lrde.epita.fr LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/COPYING TEST_DEPENDS= ${PYNUMPY} \ ${PYTHON_PKGNAMEPREFIX}pandas>0:math/py-pandas@${PY_FLAVOR} \ syfco:math/hs-syfco USES= charsetfix compiler:c++17-lang gmake libtool python:test USE_LDCONFIG= yes GNU_CONFIGURE= yes GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share .if !defined(WITH_PYTHON) # math/py-spot is a separate port but tests don't work there. To test run: make test WITH_PYTHON=yes CONFIGURE_ARGS= --disable-python --disable-static .else CONFIGURE_ARGS= --disable-static .endif INSTALL_TARGET= install-strip TEST_TARGET= check OPTIONS_DEFINE= DOCS PORTDOCS= tl.pdf post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so +# ============================================================================ +# Testsuite summary for spot 2.14.5 +# ============================================================================ +# TOTAL: 211 +# PASS: 189 +# SKIP: 20 +# XFAIL: 0 +# FAIL: 2 +# XPASS: 0 +# ERROR: 0 + .include diff --git a/math/spot/distinfo b/math/spot/distinfo index db2078ef6232..35f96e71c28e 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1762965183 -SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21 -SIZE (spot-2.14.3.tar.gz) = 8585774 +TIMESTAMP = 1768206323 +SHA256 (spot-2.14.5.tar.gz) = 8703d33426eea50a8e3b7f4b984c05b8058cbff054b260863a1688980d8b8d19 +SIZE (spot-2.14.5.tar.gz) = 8587011