diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 4ca211134c37..eda5daa20cc3 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,38 +1,38 @@ PORTNAME= spot -DISTVERSION= 2.11 +DISTVERSION= 2.11.1 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++14-lang gmake libtool python:3.4+ 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} .include diff --git a/math/py-spot/distinfo b/math/py-spot/distinfo index 5e2f302d1eb1..d745dea8ef31 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1665335836 -SHA256 (spot-2.11.tar.gz) = 5b20541f876b8cacb1df1a07fe18175e81345ac93030a11f3691d2b516b59679 -SIZE (spot-2.11.tar.gz) = 7547899 +TIMESTAMP = 1665420342 +SHA256 (spot-2.11.1.tar.gz) = 2a03281dceb36df2515c3307cf452d578ee0db1a0ea0b321cc42d36df4f6d70b +SIZE (spot-2.11.1.tar.gz) = 7557763 diff --git a/math/spot/Makefile b/math/spot/Makefile index 53d406775a0d..5c46eacd16f0 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,30 +1,30 @@ PORTNAME= spot -DISTVERSION= 2.11 +DISTVERSION= 2.11.1 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 USES= charsetfix compiler:c++17-lang gmake libtool USE_LDCONFIG= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-python --disable-static INSTALL_TARGET= install-strip OPTIONS_DEFINE= DOCS PORTDOCS= tl.pdf TEST_TARGET= check # at least one test fails to run, see https://gitlab.lre.epita.fr/spot/spot/-/issues/517 post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so .include diff --git a/math/spot/distinfo b/math/spot/distinfo index 7601ff9d3606..696c7aef1196 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1665334301 -SHA256 (spot-2.11.tar.gz) = 5b20541f876b8cacb1df1a07fe18175e81345ac93030a11f3691d2b516b59679 -SIZE (spot-2.11.tar.gz) = 7547899 +TIMESTAMP = 1665419720 +SHA256 (spot-2.11.1.tar.gz) = 2a03281dceb36df2515c3307cf452d578ee0db1a0ea0b321cc42d36df4f6d70b +SIZE (spot-2.11.1.tar.gz) = 7557763 diff --git a/math/spot/files/patch-spot_twaalgos_hoa.hh b/math/spot/files/patch-spot_twaalgos_hoa.hh deleted file mode 100644 index 402f36099c4a..000000000000 --- a/math/spot/files/patch-spot_twaalgos_hoa.hh +++ /dev/null @@ -1,12 +0,0 @@ -- workaround for https://gitlab.lre.epita.fr/spot/spot/-/issues/515 - ---- spot/twaalgos/hoa.hh.orig 2022-10-09 17:09:51 UTC -+++ spot/twaalgos/hoa.hh -@@ -23,6 +23,7 @@ - #include - #include - #include -+#include - #include - #include - #include diff --git a/math/vtk9/Makefile.version b/math/vtk9/Makefile.version new file mode 100644 index 000000000000..66ceb4b6ed8f --- /dev/null +++ b/math/vtk9/Makefile.version @@ -0,0 +1,3 @@ +# this file is provided for VTK users + +VTK_VER=9.2