[package - 130amd64-default][math/spot] Failed for spot-2.10.5 in build

From: <pkg-fallout_at_FreeBSD.org>
Date: Sat, 14 May 2022 12:28:31 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     yuri@FreeBSD.org
Log URL:        http://beefy16.nyi.freebsd.org/data/130amd64-default/1aeecb4c60d0/logs/spot-2.10.5.log
Build URL:      http://beefy16.nyi.freebsd.org/build.html?mastername=130amd64-default&build=1aeecb4c60d0
Log:

=>> Building math/spot
build started at Sat May 14 12:18:12 UTC 2022
port directory: /usr/ports/math/spot
package name: spot-2.10.5
building for: FreeBSD 130amd64-default-job-10 13.0-RELEASE-p11 FreeBSD 13.0-RELEASE-p11 amd64
maintained by: yuri@FreeBSD.org
Makefile ident: 
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400050
Jail OSVERSION: 1300139
Job Id: 10

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1300139
UNAME_v=FreeBSD 13.0-RELEASE-p11
UNAME_r=13.0-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-21-g883afb07
MASTERMNT=/usr/local/poudriere/data/.m/130amd64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/130amd64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=130amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/130amd64-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
===> The following configuration options are available for spot-2.10.5:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
---End OPTIONS List---

--MAINTAINER--
yuri@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--
--disable-python --disable-static --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/spot/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/spot/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/spot/work/.cache  HOME=/wrkdirs/usr/ports/math/spot/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/spot/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/spot/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/spot/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/spot/work/.cache  HOME=/wrkdirs/usr/ports/math/spot/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/spot/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local  LOCALBASE=/usr/local  CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict= "  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s -m 555"  BSD_INSTALL_LIB="install  -s -m 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
PORTDOCS="" OSREL=13.0 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/spot"  EXAMPLESDIR="share/examples/spot"  DATADIR="share/spot"  WWWDIR="www/spot"  ETCDIR="etc/spot"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/spot DOCSDIR=/usr/local/share/doc/spot EXAMPLESDIR=/usr/local/share/examples/spot  WWWDIR=/usr/local/www/spot ETCDIR=/usr/local/etc/spot
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=13.0-RELEASE-p11
OSREL=13.0
OSVERSION=1300139
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  33554432
stack size              (kbytes, -s)  524288
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  1024
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===>  License GPLv3 accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   spot-2.10.5 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.17.5_1.pkg
[130amd64-default-job-10] Installing pkg-1.17.5_1...
[130amd64-default-job-10] Extracting pkg-1.17.5_1: .......... done
===>   spot-2.10.5 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of spot-2.10.5
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by spot-2.10.5 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by spot-2.10.5 for building
=> SHA256 Checksum OK for spot-2.10.5.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by spot-2.10.5 for building
===>  Extracting for spot-2.10.5
=> SHA256 Checksum OK for spot-2.10.5.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for spot-2.10.5
===>  Applying FreeBSD patches for spot-2.10.5 from /usr/ports/math/spot/files
===========================================================================
=======================<phase: build-depends  >============================
===>   spot-2.10.5 depends on package: gmake>=4.3 - not found
===>   Installing existing package /packages/All/gmake-4.3_2.pkg
[130amd64-default-job-10] Installing gmake-4.3_2...
[130amd64-default-job-10] `-- Installing gettext-runtime-0.21...
[130amd64-default-job-10] |   `-- Installing indexinfo-0.3.1...
[130amd64-default-job-10] |   `-- Extracting indexinfo-0.3.1: .... done
[130amd64-default-job-10] `-- Extracting gettext-runtime-0.21: .......... done
[130amd64-default-job-10] Extracting gmake-4.3_2: .......... done
===>   spot-2.10.5 depends on package: gmake>=4.3 - found
===>   Returning to build of spot-2.10.5
===========================================================================
=======================<phase: lib-depends    >============================
===========================================================================
=======================<phase: configure      >============================
<snip>
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT reachiter.lo -MD -MP -MF .deps/reachiter.Tpo -c reachiter.cc  -fPIC -DPIC -o .libs/reachiter.o
In file included from reachiter.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/reachiter.Tpo .deps/reachiter.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stats.lo -MD -MP -MF .deps/stats.Tpo -c -o stats.lo stats.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stats.lo -MD -MP -MF .deps/stats.Tpo -c stats.cc  -fPIC -DPIC -o .libs/stats.o
In file included from stats.cc:23:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/stats.Tpo .deps/stats.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT statessetbuilder.lo -MD -MP -MF .deps/statessetbuilder.Tpo -c -o statessetbuilder.lo statessetbuilder.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT statessetbuilder.lo -MD -MP -MF .deps/statessetbuilder.Tpo -c statessetbuilder.cc  -fPIC -DPIC -o .libs/statessetbuilder.o
In file included from statessetbuilder.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/statessetbuilder.Tpo .deps/statessetbuilder.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT minimize.lo -MD -MP -MF .deps/minimize.Tpo -c -o minimize.lo minimize.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT minimize.lo -MD -MP -MF .deps/minimize.Tpo -c minimize.cc  -fPIC -DPIC -o .libs/minimize.o
In file included from minimize.cc:23:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/minimize.Tpo .deps/minimize.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT emptinessta.lo -MD -MP -MF .deps/emptinessta.Tpo -c -o emptinessta.lo emptinessta.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT emptinessta.lo -MD -MP -MF .deps/emptinessta.Tpo -c emptinessta.cc  -fPIC -DPIC -o .libs/emptinessta.o
In file included from emptinessta.cc:22:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/emptinessta.Tpo .deps/emptinessta.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=link c++  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer  -fstack-protector-strong  -o libtaalgos.la  tgba2ta.lo dot.lo reachiter.lo stats.lo statessetbuilder.lo minimize.lo emptinessta.lo  
libtool: link: ar cr .libs/libtaalgos.a .libs/tgba2ta.o .libs/dot.o .libs/reachiter.o .libs/stats.o .libs/statessetbuilder.o .libs/minimize.o .libs/emptinessta.o 
libtool: link: ranlib .libs/libtaalgos.a
libtool: link: ( cd ".libs" && rm -f "libtaalgos.la" && ln -s "../libtaalgos.la" "libtaalgos.la" )
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/taalgos'
Making all in kripke
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/kripke'
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT fairkripke.lo -MD -MP -MF .deps/fairkripke.Tpo -c -o fairkripke.lo fairkripke.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT fairkripke.lo -MD -MP -MF .deps/fairkripke.Tpo -c fairkripke.cc  -fPIC -DPIC -o .libs/fairkripke.o
In file included from fairkripke.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/fairkripke.Tpo .deps/fairkripke.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT kripke.lo -MD -MP -MF .deps/kripke.Tpo -c -o kripke.lo kripke.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT kripke.lo -MD -MP -MF .deps/kripke.Tpo -c kripke.cc  -fPIC -DPIC -o .libs/kripke.o
In file included from kripke.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/kripke.Tpo .deps/kripke.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=link c++  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer  -fstack-protector-strong  -o libkripke.la  fairkripke.lo kripke.lo  
libtool: link: ar cr .libs/libkripke.a .libs/fairkripke.o .libs/kripke.o 
libtool: link: ranlib .libs/libkripke.a
libtool: link: ( cd ".libs" && rm -f "libkripke.la" && ln -s "../libkripke.la" "libkripke.la" )
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/kripke'
Making all in twacube_algos
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/twacube_algos'
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT convert.lo -MD -MP -MF .deps/convert.Tpo -c -o convert.lo convert.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT convert.lo -MD -MP -MF .deps/convert.Tpo -c convert.cc  -fPIC -DPIC -o .libs/convert.o
In file included from convert.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/convert.Tpo .deps/convert.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=link c++  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer  -fstack-protector-strong  -o libtwacube_algos.la  convert.lo  
libtool: link: ar cr .libs/libtwacube_algos.a .libs/convert.o 
libtool: link: ranlib .libs/libtwacube_algos.a
libtool: link: ( cd ".libs" && rm -f "libtwacube_algos.la" && ln -s "../libtwacube_algos.la" "libtwacube_algos.la" )
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/twacube_algos'
Making all in mc
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/mc'
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT unionfind.lo -MD -MP -MF .deps/unionfind.Tpo -c -o unionfind.lo unionfind.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT unionfind.lo -MD -MP -MF .deps/unionfind.Tpo -c unionfind.cc  -fPIC -DPIC -o .libs/unionfind.o
In file included from unionfind.cc:21:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:4:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/unionfind.Tpo .deps/unionfind.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=link c++  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer  -fstack-protector-strong  -o libmc.la  unionfind.lo  
libtool: link: ar cr .libs/libmc.a .libs/unionfind.o 
libtool: link: ranlib .libs/libmc.a
libtool: link: ( cd ".libs" && rm -f "libmc.la" && ln -s "../libmc.la" "libmc.la" )
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/mc'
Making all in parseaut
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/parseaut'
gmake  all-am
gmake[5]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/parseaut'
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT fmterror.lo -MD -MP -MF .deps/fmterror.Tpo -c -o fmterror.lo fmterror.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT fmterror.lo -MD -MP -MF .deps/fmterror.Tpo -c fmterror.cc  -fPIC -DPIC -o .libs/fmterror.o
In file included from fmterror.cc:20:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:5:9: note: previous definition is here
#define restrict 
        ^
1 warning generated.
mv -f .deps/fmterror.Tpo .deps/fmterror.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT parseaut.lo -MD -MP -MF .deps/parseaut.Tpo -c -o parseaut.lo parseaut.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT parseaut.lo -MD -MP -MF .deps/parseaut.Tpo -c parseaut.cc  -fPIC -DPIC -o .libs/parseaut.o
In file included from parseaut.cc:43:
In file included from parseaut.yy:34:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:5:9: note: previous definition is here
#define restrict 
        ^
parseaut.yy:2563:16: warning: cannot refer to a non-static member from the handler of a constructor function try block [-Wexceptions]
    hoayyclose(scanner_);
               ^
parseaut.yy:2578:16: warning: cannot refer to a non-static member from the handler of a constructor function try block [-Wexceptions]
    hoayyclose(scanner_);
               ^
parseaut.yy:2592:16: warning: cannot refer to a non-static member from the handler of a constructor function try block [-Wexceptions]
    hoayyclose(scanner_);
               ^
4 warnings generated.
mv -f .deps/parseaut.Tpo .deps/parseaut.Plo
/bin/sh ../../libtool  --tag=CXX   --mode=compile c++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG  -O2 -pipe -fstack-protector-strong -fno-strict-aliasing  -Drestrict=  -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT scanaut.lo -MD -MP -MF .deps/scanaut.Tpo -c -o scanaut.lo scanaut.cc
libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -DYY_NO_INPUT -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Drestrict= -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT scanaut.lo -MD -MP -MF .deps/scanaut.Tpo -c scanaut.cc  -fPIC -DPIC -o .libs/scanaut.o
In file included from scanaut.cc:2:
./../config.h:1229:9: warning: 'restrict' macro redefined [-Wmacro-redefined]
#define restrict __restrict
        ^
<command line>:5:9: note: previous definition is here
#define restrict 
        ^
In file included from scanaut.cc:240:
./../lib/string.h:674:35: error: expected ')'
                  (void *restrict __dest, void const *restrict __src,
                                  ^
./../lib/string.h:674:19: note: to match this '('
                  (void *restrict __dest, void const *restrict __src,
                  ^
./../lib/string.h:676:19: error: '__nonnull__' attribute parameter 2 is out of bounds
                  _GL_ARG_NONNULL ((1, 2)));
                  ^                    ~
./../lib/stdio.h:487:51: note: expanded from macro '_GL_ARG_NONNULL'
#  define _GL_ARG_NONNULL(params) __attribute__ ((__nonnull__ params))
                                                  ^           ~~~~~~
./../lib/stdio.h:266:29: note: expanded from macro '_GL_FUNCDECL_SYS'
  _GL_EXTERN_C rettype func parameters_and_attributes
                            ^~~~~~~~~~~~~~~~~~~~~~~~~
1 warning and 2 errors generated.
gmake[5]: *** [Makefile:1346: scanaut.lo] Error 1
gmake[5]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/parseaut'
gmake[4]: *** [Makefile:1267: all] Error 2
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/parseaut'
gmake[3]: *** [Makefile:1471: all-recursive] Error 1
gmake[3]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot'
gmake[2]: *** [Makefile:1346: all-recursive] Error 1
gmake[2]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5'
gmake[1]: *** [Makefile:1266: all] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5'
*** Error code 1

Stop.
make: stopped in /usr/ports/math/spot