Date: Sat, 4 Aug 2018 23:33:35 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r476382 - in head/math: . py-spot py-spot/files Message-ID: <201808042333.w74NXZQP004010@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sat Aug 4 23:33:34 2018 New Revision: 476382 URL: https://svnweb.freebsd.org/changeset/ports/476382 Log: New port: math/py-spot: Python binding for 'Spot', the library for omega automata manipulation Added: head/math/py-spot/ head/math/py-spot/Makefile (contents, props changed) head/math/py-spot/distinfo (contents, props changed) head/math/py-spot/files/ head/math/py-spot/files/patch-Makefile.in (contents, props changed) head/math/py-spot/pkg-descr (contents, props changed) head/math/py-spot/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Sat Aug 4 23:30:58 2018 (r476381) +++ head/math/Makefile Sat Aug 4 23:33:34 2018 (r476382) @@ -726,6 +726,7 @@ SUBDIR += py-simhash SUBDIR += py-slepc4py SUBDIR += py-spectral + SUBDIR += py-spot SUBDIR += py-statsmodels SUBDIR += py-svgmath SUBDIR += py-sym Added: head/math/py-spot/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/py-spot/Makefile Sat Aug 4 23:33:34 2018 (r476382) @@ -0,0 +1,39 @@ +# $FreeBSD$ + +PORTNAME= spot +DISTVERSION= 2.6.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 + +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 +INSTALL_TARGET= install-strip + +# 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 <bsd.port.mk> Added: head/math/py-spot/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/py-spot/distinfo Sat Aug 4 23:33:34 2018 (r476382) @@ -0,0 +1,3 @@ +TIMESTAMP = 1533412580 +SHA256 (spot-2.6.1.tar.gz) = 1275ec21f350ab6ae3c37a08118f5e353d67b30790fa6907d703fa2385e7f63f +SIZE (spot-2.6.1.tar.gz) = 7088087 Added: head/math/py-spot/files/patch-Makefile.in ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/py-spot/files/patch-Makefile.in Sat Aug 4 23:33:34 2018 (r476382) @@ -0,0 +1,22 @@ +--- Makefile.in.orig 2018-08-04 07:35:57 UTC ++++ Makefile.in +@@ -223,8 +223,7 @@ am__define_uniq_tagged_files = \ + ETAGS = etags + CTAGS = ctags + CSCOPE = cscope +-DIST_SUBDIRS = picosat buddy lib ltdl spot bin tests python doc bench \ +- elisp ++DIST_SUBDIRS = python + am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.h.in \ + $(top_srcdir)/doc/org/.dir-locals.el.in \ + $(top_srcdir)/doc/org/g++wrap.in \ +@@ -1153,8 +1152,7 @@ top_srcdir = @top_srcdir@ + @NEVER_TRUE@NEVER_SUBDIRS = bench elisp + @USE_PYTHON_TRUE@PYTHON_SUBDIR = python + DOC_SUBDIR = doc +-SUBDIRS = picosat buddy lib ltdl spot bin tests $(PYTHON_SUBDIR) $(DOC_SUBDIR) \ +- $(NEVER_SUBDIRS) ++SUBDIRS = $(PYTHON_SUBDIR) + + UTF8 = utf8/README.md utf8/utf8.h \ + utf8/utf8/checked.h utf8/utf8/core.h utf8/utf8/unchecked.h Added: head/math/py-spot/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/py-spot/pkg-descr Sat Aug 4 23:33:34 2018 (r476382) @@ -0,0 +1,4 @@ +The python binding for 'Spot', the library for LTL, omega-automata manipulation +and model checking. + +WWW: https://spot.lrde.epita.fr Added: head/math/py-spot/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/py-spot/pkg-plist Sat Aug 4 23:33:34 2018 (r476382) @@ -0,0 +1,25 @@ +%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/_buddy.so +%%PYTHON_SITELIBDIR%%/buddy.py +%%PYTHON_SITELIBDIR%%/spot/__init__.py +%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-36.%%PYTHON_PYOEXTENSION%% +%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-36.pyc +%%PYTHON_SITELIBDIR%%/spot/_gen.so +%%PYTHON_SITELIBDIR%%/spot/_impl.so +%%PYTHON_SITELIBDIR%%/spot/_ltsmin.so +%%PYTHON_SITELIBDIR%%/spot/aux.py +%%PYTHON_SITELIBDIR%%/spot/gen.py +%%PYTHON_SITELIBDIR%%/spot/impl.py +%%PYTHON_SITELIBDIR%%/spot/jupyter.py +%%PYTHON_SITELIBDIR%%/spot/ltsmin.py
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201808042333.w74NXZQP004010>