diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 7f7e9e07008f..d0441937dcb8 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,38 +1,38 @@ # $FreeBSD$ PORTNAME= spot -DISTVERSION= 2.9.3 +DISTVERSION= 2.9.4 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 519e9f2d181c..9d6d5b9e198c 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1596070942 -SHA256 (spot-2.9.3.tar.gz) = 02a348272329d4931905a586f7197b518ac6fa411aeeea2acac55d6d490ecd1e -SIZE (spot-2.9.3.tar.gz) = 7673884 +TIMESTAMP = 1600483273 +SHA256 (spot-2.9.4.tar.gz) = e11208323baabe9b5f98098d4b9bb39803fb102a68abbbaf900f1fcd578f0f85 +SIZE (spot-2.9.4.tar.gz) = 7670730