git: 6464c4ca2659 - main - math/{,py-}spot: update 2.15.1 → 2.16
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 06 Sep 2026 17:50:30 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=6464c4ca2659cbf3e1275397033c8dc3df1ec680
commit 6464c4ca2659cbf3e1275397033c8dc3df1ec680
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-06 06:25:33 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-06 17:50:23 +0000
math/{,py-}spot: update 2.15.1 → 2.16
---
math/py-spot/Makefile | 2 +-
math/py-spot/distinfo | 6 +++---
math/py-spot/files/patch-Makefile.in | 10 +++++-----
math/spot/Makefile | 8 +++++---
math/spot/distinfo | 6 +++---
math/spot/pkg-plist | 8 +++++++-
6 files changed, 24 insertions(+), 16 deletions(-)
diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile
index 974633e55558..4aadcfdaa3f0 100644
--- a/math/py-spot/Makefile
+++ b/math/py-spot/Makefile
@@ -1,5 +1,5 @@
PORTNAME= spot
-DISTVERSION= 2.15.1
+DISTVERSION= 2.16
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 4ab08c8ab783..686605068857 100644
--- a/math/py-spot/distinfo
+++ b/math/py-spot/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1786049058
-SHA256 (spot-2.15.1.tar.gz) = 65013a2edf3f314854d7619888145f52c8dd36bfd27894d9db9b272d9a16ce4b
-SIZE (spot-2.15.1.tar.gz) = 9019758
+TIMESTAMP = 1788675953
+SHA256 (spot-2.16.tar.gz) = 688463cb2fa393c51d9cf938fb01a716b91e4c8122aeb52fd116a3bbfddab869
+SIZE (spot-2.16.tar.gz) = 9516931
diff --git a/math/py-spot/files/patch-Makefile.in b/math/py-spot/files/patch-Makefile.in
index 776da2132059..02e3392d36cb 100644
--- a/math/py-spot/files/patch-Makefile.in
+++ b/math/py-spot/files/patch-Makefile.in
@@ -1,20 +1,20 @@
---- Makefile.in.orig 2022-10-08 19:12:24 UTC
+--- Makefile.in.orig 2026-09-03 05:52:04 UTC
+++ Makefile.in
-@@ -224,8 +224,7 @@ am__define_uniq_tagged_files = \
+@@ -226,8 +226,7 @@ am__define_uniq_tagged_files = \
unique=`for i in $$list; do \
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
done | $(am__uniquify_input)`
--DIST_SUBDIRS = picosat buddy lib ltdl spot bin tests python doc bench \
+-DIST_SUBDIRS = picosat buddy lib ltdl spot bin python tests 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 \
-@@ -1229,8 +1228,7 @@ top_srcdir = @top_srcdir@
+@@ -1237,8 +1236,7 @@ DOC_SUBDIR = doc
@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) \
+-SUBDIRS = picosat buddy lib ltdl spot bin $(PYTHON_SUBDIR) tests $(DOC_SUBDIR) \
- $(NEVER_SUBDIRS)
+SUBDIRS = $(PYTHON_SUBDIR)
diff --git a/math/spot/Makefile b/math/spot/Makefile
index daab679bbb4f..8a39cea2dd59 100644
--- a/math/spot/Makefile
+++ b/math/spot/Makefile
@@ -1,5 +1,5 @@
PORTNAME= spot
-DISTVERSION= 2.15.1
+DISTVERSION= 2.16
CATEGORIES= math
MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/
@@ -12,6 +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} \
+ gawk:lang/gawk \
gcut:sysutils/coreutils
USES= charsetfix compiler:c++17-lang gmake libtool python:test
@@ -19,10 +20,11 @@ USE_LDCONFIG= yes
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share
+CONFIGURE_ARGS= AWK=${LOCALBASE}/bin/gawk
.if !defined(WITH_PYTHON) # math/py-spot is a separate port but tests don't work there. To test run: make test WITH_PYTHON=yes
-CONFIGURE_ARGS= --disable-python --disable-static
+CONFIGURE_ARGS+= --disable-python --disable-static
.else
-CONFIGURE_ARGS= --disable-static
+CONFIGURE_ARGS+= --disable-static
.endif
INSTALL_TARGET= install-strip
diff --git a/math/spot/distinfo b/math/spot/distinfo
index a1307d9ea6a5..c8721e5a8d38 100644
--- a/math/spot/distinfo
+++ b/math/spot/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1786043865
-SHA256 (spot-2.15.1.tar.gz) = 65013a2edf3f314854d7619888145f52c8dd36bfd27894d9db9b272d9a16ce4b
-SIZE (spot-2.15.1.tar.gz) = 9019758
+TIMESTAMP = 1788672822
+SHA256 (spot-2.16.tar.gz) = 688463cb2fa393c51d9cf938fb01a716b91e4c8122aeb52fd116a3bbfddab869
+SIZE (spot-2.16.tar.gz) = 9516931
diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist
index a03039a8bb3b..626397ce4c58 100644
--- a/math/spot/pkg-plist
+++ b/math/spot/pkg-plist
@@ -1,5 +1,7 @@
bin/autcross
+bin/autdo
bin/autfilt
+bin/autwords
bin/dstar2tgba
bin/genaut
bin/genltl
@@ -101,6 +103,7 @@ include/spot/tl/simplify.hh
include/spot/tl/snf.hh
include/spot/tl/sonf.hh
include/spot/tl/unabbrev.hh
+include/spot/tl/unitprop.hh
include/spot/twa/acc.hh
include/spot/twa/bdddict.hh
include/spot/twa/bddprint.hh
@@ -122,12 +125,12 @@ include/spot/twaalgos/complement.hh
include/spot/twaalgos/complete.hh
include/spot/twaalgos/compsusp.hh
include/spot/twaalgos/contains.hh
-include/spot/twaalgos/copy.hh
include/spot/twaalgos/couvreurnew.hh
include/spot/twaalgos/cycles.hh
include/spot/twaalgos/dbranch.hh
include/spot/twaalgos/deadends.hh
include/spot/twaalgos/degen.hh
+include/spot/twaalgos/dependent.hh
include/spot/twaalgos/determinize.hh
include/spot/twaalgos/dot.hh
include/spot/twaalgos/dtbasat.hh
@@ -151,6 +154,7 @@ include/spot/twaalgos/isdet.hh
include/spot/twaalgos/isunamb.hh
include/spot/twaalgos/isweakscc.hh
include/spot/twaalgos/langmap.hh
+include/spot/twaalgos/lasso.hh
include/spot/twaalgos/lbtt.hh
include/spot/twaalgos/ltl2taa.hh
include/spot/twaalgos/ltl2tgba_fm.hh
@@ -217,7 +221,9 @@ libdata/pkgconfig/libspot.pc
libdata/pkgconfig/libspotgen.pc
libdata/pkgconfig/libspotltsmin.pc
share/man/man1/autcross.1.gz
+share/man/man1/autdo.1.gz
share/man/man1/autfilt.1.gz
+share/man/man1/autwords.1.gz
share/man/man1/dstar2tgba.1.gz
share/man/man1/genaut.1.gz
share/man/man1/genltl.1.gz