diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index feca94cbe998..62eb791a4fa6 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,38 +1,38 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.8.2 +DISTVERSION= 2.8.3 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 15db82b9ba23..dee7c3e60c27 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1569681520 -SHA256 (spot-2.8.2.tar.gz) = 88ff7e40c2fbf029196249566bf670806443d4770d814b9cd2e98fa4a817990a -SIZE (spot-2.8.2.tar.gz) = 7535145 +TIMESTAMP = 1573369665 +SHA256 (spot-2.8.3.tar.gz) = 68ba5c39cfdba886edde9f7d90df49054388ce3d7bef5b08616cb70149c2bdcf +SIZE (spot-2.8.3.tar.gz) = 7534733