From owner-svn-ports-head@freebsd.org Sat Aug 4 23:33:36 2018 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id B17E510576AE; Sat, 4 Aug 2018 23:33:36 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 66DAF8E534; Sat, 4 Aug 2018 23:33:36 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4815616412; Sat, 4 Aug 2018 23:33:36 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w74NXafR004015; Sat, 4 Aug 2018 23:33:36 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w74NXZQP004010; Sat, 4 Aug 2018 23:33:35 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201808042333.w74NXZQP004010@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Sat, 4 Aug 2018 23:33:35 +0000 (UTC) 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 X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . py-spot py-spot/files X-SVN-Commit-Revision: 476382 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 04 Aug 2018 23:33:36 -0000 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 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