git: f2ae92ee0135 - main - math/{,py-}spot: update 2.14.5 → 2.15.1
Yuri Victorovich <[email protected]> Thu, 06 Aug 2026 22:23:08 +0000
| Newsgroups | gmane.os.freebsd.devel.cvs.ports |
|---|---|
| Message-ID | <[email protected]> |
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=f2ae92ee013545ddfdf3071caad1418b24a7b6ed commit f2ae92ee013545ddfdf3071caad1418b24a7b6ed Author: Yuri Victorovich <[email protected]> AuthorDate: 2026-08-06 20:45:52 +0000 Commit: Yuri Victorovich <[email protected]> CommitDate: 2026-08-06 22:22:59 +0000 math/{,py-}spot: update 2.14.5 → 2.15.1 ChangeLog: https://gitlab.lre.epita.fr/spot/spot/blob/spot-2-15-1/NEWS --- math/py-spot/Makefile | 2 +- math/py-spot/distinfo | 6 +++--- math/spot/Makefile | 15 +++++++-------- math/spot/distinfo | 6 +++--- math/spot/files/patch-tests_core_ltlsynt2.test | 11 +++++++++++ math/spot/pkg-plist | 19 ++++--------------- 6 files changed, 29 insertions(+), 30 deletions(-) diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile index 7eb113f57058..974633e55558 100644 --- a/math/py-spot/Makefile +++ b/math/py-spot/Makefile @@ -1,5 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.14.5 +DISTVERSION= 2.15.1 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-spot/distinfo b/math/py-spot/distinfo index e53e6f7caac7..4ab08c8ab783 100644 --- a/math/py-spot/distinfo +++ b/math/py-spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1768210019 -SHA256 (spot-2.14.5.tar.gz) = 8703d33426eea50a8e3b7f4b984c05b8058cbff054b260863a1688980d8b8d19 -SIZE (spot-2.14.5.tar.gz) = 8587011 +TIMESTAMP = 1786049058 +SHA256 (spot-2.15.1.tar.gz) = 65013a2edf3f314854d7619888145f52c8dd36bfd27894d9db9b272d9a16ce4b +SIZE (spot-2.15.1.tar.gz) = 9019758 diff --git a/math/spot/Makefile b/math/spot/Makefile index 437e611dc923..daab679bbb4f 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,6 +1,5 @@ PORTNAME= spot -DISTVERSION= 2.14.5 -PORTREVISION= 1 +DISTVERSION= 2.15.1 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ @@ -13,7 +12,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}numpy>=1.16:math/py-numpy@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pandas>0:math/py-pandas@${PY_FLAVOR} \ - syfco:math/hs-syfco + gcut:sysutils/coreutils USES= charsetfix compiler:c++17-lang gmake libtool python:test USE_LDCONFIG= yes @@ -37,13 +36,13 @@ post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so # ============================================================================ -# Testsuite summary for spot 2.14.5 +# Testsuite summary for spot 2.15.1 # ============================================================================ -# TOTAL: 211 -# PASS: 189 -# SKIP: 20 +# TOTAL: 213 +# PASS: 192 +# SKIP: 21 # XFAIL: 0 -# FAIL: 2 +# FAIL: 0 # XPASS: 0 # ERROR: 0 diff --git a/math/spot/distinfo b/math/spot/distinfo index 35f96e71c28e..a1307d9ea6a5 100644 --- a/math/spot/distinfo +++ b/math/spot/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1768206323 -SHA256 (spot-2.14.5.tar.gz) = 8703d33426eea50a8e3b7f4b984c05b8058cbff054b260863a1688980d8b8d19 -SIZE (spot-2.14.5.tar.gz) = 8587011 +TIMESTAMP = 1786043865 +SHA256 (spot-2.15.1.tar.gz) = 65013a2edf3f314854d7619888145f52c8dd36bfd27894d9db9b272d9a16ce4b +SIZE (spot-2.15.1.tar.gz) = 9019758 diff --git a/math/spot/files/patch-tests_core_ltlsynt2.test b/math/spot/files/patch-tests_core_ltlsynt2.test new file mode 100644 index 000000000000..0100f28c8a45 --- /dev/null +++ b/math/spot/files/patch-tests_core_ltlsynt2.test @@ -0,0 +1,11 @@ +--- tests/core/ltlsynt2.test.orig 2026-08-06 20:12:34 UTC ++++ tests/core/ltlsynt2.test +@@ -95,7 +95,7 @@ ltlsynt -F input.csv/-2 --csv=out.csv -q + diff filtered.csv expected + + ltlsynt -F input.csv/-2 --csv=out.csv -q +-cut out.csv -d, -f1,2,3 >filtered.csv ++gcut out.csv -d, -f1,2,3 >filtered.csv + cat >expected <<EOF + source,subspecs,algo + "input.csv:2",1,lar diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist index 257af036777a..a03039a8bb3b 100644 --- a/math/spot/pkg-plist +++ b/math/spot/pkg-plist @@ -4,7 +4,6 @@ bin/dstar2tgba bin/genaut bin/genltl bin/ltl2tgba -bin/ltl2tgta bin/ltlcross bin/ltldo bin/ltlf2dfa @@ -77,24 +76,12 @@ include/spot/misc/tmpfile.hh include/spot/misc/trival.hh include/spot/misc/version.hh include/spot/parseaut/public.hh -include/spot/ta/ta.hh -include/spot/ta/taexplicit.hh -include/spot/ta/taproduct.hh -include/spot/ta/tgta.hh -include/spot/ta/tgtaexplicit.hh -include/spot/ta/tgtaproduct.hh -include/spot/taalgos/dot.hh -include/spot/taalgos/emptinessta.hh -include/spot/taalgos/minimize.hh -include/spot/taalgos/reachiter.hh -include/spot/taalgos/statessetbuilder.hh -include/spot/taalgos/stats.hh -include/spot/taalgos/tgba2ta.hh include/spot/tl/apcollect.hh include/spot/tl/contain.hh include/spot/tl/declenv.hh include/spot/tl/defaultenv.hh include/spot/tl/delta2.hh +include/spot/tl/distribute.hh include/spot/tl/dot.hh include/spot/tl/environment.hh include/spot/tl/exclusive.hh @@ -109,6 +96,7 @@ include/spot/tl/print.hh include/spot/tl/randomltl.hh include/spot/tl/relabel.hh include/spot/tl/remove_x.hh +include/spot/tl/sat.hh include/spot/tl/simplify.hh include/spot/tl/snf.hh include/spot/tl/sonf.hh @@ -173,12 +161,14 @@ include/spot/twaalgos/matchstates.hh include/spot/twaalgos/mcs.hh include/spot/twaalgos/mealy_machine.hh include/spot/twaalgos/minimize.hh +include/spot/twaalgos/mtdswa.hh include/spot/twaalgos/mtdtwa.hh include/spot/twaalgos/neverclaim.hh include/spot/twaalgos/parity.hh include/spot/twaalgos/postproc.hh include/spot/twaalgos/powerset.hh include/spot/twaalgos/product.hh +include/spot/twaalgos/quantify.hh include/spot/twaalgos/randomgraph.hh include/spot/twaalgos/randomize.hh include/spot/twaalgos/reachiter.hh @@ -232,7 +222,6 @@ share/man/man1/dstar2tgba.1.gz share/man/man1/genaut.1.gz share/man/man1/genltl.1.gz share/man/man1/ltl2tgba.1.gz -share/man/man1/ltl2tgta.1.gz share/man/man1/ltlcross.1.gz share/man/man1/ltldo.1.gz share/man/man1/ltlf2dfa.1.gz