diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index d18b6a74f2b7..b5e3b5bc5c9a 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,36 +1,36 @@ PORTNAME= spot -DISTVERSION= 2.10.1 +DISTVERSION= 2.10.2 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 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 e567120e10ba..eda624166edc 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1637348045 -SHA256 (spot-2.10.1.tar.gz) = 38002989fc8e3725841a0537665bb2d5dfc259d2e09358100322c38f4c7481ad -SIZE (spot-2.10.1.tar.gz) = 7587978 +TIMESTAMP = 1638954254 +SHA256 (spot-2.10.2.tar.gz) = c1c4ba4f1c87919b3d2749280c7e9959a7d82a4a43a97a19eca0a3ca22605066 +SIZE (spot-2.10.2.tar.gz) = 7603197 diff --git a/math/spot/Makefile b/math/spot/Makefile index 92e766815c24..545e3bf6f939 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,29 +1,29 @@ PORTNAME= spot -DISTVERSION= 2.10.1 +DISTVERSION= 2.10.2 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ MAINTAINER= yuri@FreeBSD.org COMMENT= Library for omega automata manipulation and model checking LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/COPYING USES= charsetfix compiler:c++14-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 post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so .include diff --git a/math/spot/distinfo b/math/spot/distinfo index fde28cf9cd69..149d24174443 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1637346475 -SHA256 (spot-2.10.1.tar.gz) = 38002989fc8e3725841a0537665bb2d5dfc259d2e09358100322c38f4c7481ad -SIZE (spot-2.10.1.tar.gz) = 7587978 +TIMESTAMP = 1638949916 +SHA256 (spot-2.10.2.tar.gz) = c1c4ba4f1c87919b3d2749280c7e9959a7d82a4a43a97a19eca0a3ca22605066 +SIZE (spot-2.10.2.tar.gz) = 7603197