[package - 123i386-default][math/spot] Failed for spot-2.10.5 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 07 May 2022 08:32:33 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://beefy5.nyi.freebsd.org/data/123i386-default/b74cbc3a04aa/logs/spot-2.10.5.log
Build URL: http://beefy5.nyi.freebsd.org/build.html?mastername=123i386-default&build=b74cbc3a04aa
Log:
=>> Building math/spot
build started at Sat May 7 08:12:33 UTC 2022
port directory: /usr/ports/math/spot
package name: spot-2.10.5
building for: FreeBSD 123i386-default-job-16 12.3-RELEASE-p5 FreeBSD 12.3-RELEASE-p5 i386
maintained by: yuri@FreeBSD.org
Makefile ident:
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400050
Jail OSVERSION: 1203000
Job Id: 16
---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1203000
UNAME_v=FreeBSD 12.3-RELEASE-p5
UNAME_r=12.3-RELEASE-p5
BLOCKSIZE=K
MAIL=/var/mail/root
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/123i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/123i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=123i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/123i386-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 " 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=12.3 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
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /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 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: i386-unknown-freebsd12.3 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: i386-unknown-freebsd12.3 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" "-m" "elf_i386_fbsd" "-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 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: i386-unknown-freebsd12.3 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=12.3-RELEASE-p5
OSREL=12.3
OSVERSION=1203000
PYTHONBASE=/usr/local
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) 524288
stack size (kbytes, -s) 65536
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
[123i386-default-job-16] Installing pkg-1.17.5_1...
[123i386-default-job-16] 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
=> spot-2.10.5.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch http://www.lrde.epita.fr/dload/spot/spot-2.10.5.tar.gz
spot-2.10.5.tar.gz 7426 kB 1483 kBps 05s
===> 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
[123i386-default-job-16] Installing gmake-4.3_2...
[123i386-default-job-16] `-- Installing gettext-runtime-0.21...
[123i386-default-job-16] | `-- Installing indexinfo-0.3.1...
[123i386-default-job-16] | `-- Extracting indexinfo-0.3.1: .... done
[123i386-default-job-16] `-- Extracting gettext-runtime-0.21: .......... done
[123i386-default-job-16] Extracting gmake-4.3_2: .......... done
===> spot-2.10.5 depends on package: gmake>=4.3 - found
<snip>
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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sbacc.lo -MD -MP -MF .deps/sbacc.Tpo -c sbacc.cc -fPIC -DPIC -o .libs/sbacc.o
mv -f .deps/sbacc.Tpo .deps/sbacc.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sccinfo.lo -MD -MP -MF .deps/sccinfo.Tpo -c -o sccinfo.lo sccinfo.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sccinfo.lo -MD -MP -MF .deps/sccinfo.Tpo -c sccinfo.cc -fPIC -DPIC -o .libs/sccinfo.o
mv -f .deps/sccinfo.Tpo .deps/sccinfo.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sccfilter.lo -MD -MP -MF .deps/sccfilter.Tpo -c -o sccfilter.lo sccfilter.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sccfilter.lo -MD -MP -MF .deps/sccfilter.Tpo -c sccfilter.cc -fPIC -DPIC -o .libs/sccfilter.o
mv -f .deps/sccfilter.Tpo .deps/sccfilter.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT se05.lo -MD -MP -MF .deps/se05.Tpo -c -o se05.lo se05.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT se05.lo -MD -MP -MF .deps/se05.Tpo -c se05.cc -fPIC -DPIC -o .libs/se05.o
mv -f .deps/se05.Tpo .deps/se05.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sepsets.lo -MD -MP -MF .deps/sepsets.Tpo -c -o sepsets.lo sepsets.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sepsets.lo -MD -MP -MF .deps/sepsets.Tpo -c sepsets.cc -fPIC -DPIC -o .libs/sepsets.o
mv -f .deps/sepsets.Tpo .deps/sepsets.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT simulation.lo -MD -MP -MF .deps/simulation.Tpo -c -o simulation.lo simulation.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT simulation.lo -MD -MP -MF .deps/simulation.Tpo -c simulation.cc -fPIC -DPIC -o .libs/simulation.o
mv -f .deps/simulation.Tpo .deps/simulation.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 -fvisibility=hidden -fvisibility-inlines-hidden -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../../buddy/src -I../../lib -I../../lib -D_THREAD_SAFE -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -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
mv -f .deps/stats.Tpo .deps/stats.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stripacc.lo -MD -MP -MF .deps/stripacc.Tpo -c -o stripacc.lo stripacc.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stripacc.lo -MD -MP -MF .deps/stripacc.Tpo -c stripacc.cc -fPIC -DPIC -o .libs/stripacc.o
mv -f .deps/stripacc.Tpo .deps/stripacc.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stutter.lo -MD -MP -MF .deps/stutter.Tpo -c -o stutter.lo stutter.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT stutter.lo -MD -MP -MF .deps/stutter.Tpo -c stutter.cc -fPIC -DPIC -o .libs/stutter.o
mv -f .deps/stutter.Tpo .deps/stutter.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT synthesis.lo -MD -MP -MF .deps/synthesis.Tpo -c -o synthesis.lo synthesis.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT synthesis.lo -MD -MP -MF .deps/synthesis.Tpo -c synthesis.cc -fPIC -DPIC -o .libs/synthesis.o
mv -f .deps/synthesis.Tpo .deps/synthesis.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sum.lo -MD -MP -MF .deps/sum.Tpo -c -o sum.lo sum.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT sum.lo -MD -MP -MF .deps/sum.Tpo -c sum.cc -fPIC -DPIC -o .libs/sum.o
mv -f .deps/sum.Tpo .deps/sum.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tau03.lo -MD -MP -MF .deps/tau03.Tpo -c -o tau03.lo tau03.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tau03.lo -MD -MP -MF .deps/tau03.Tpo -c tau03.cc -fPIC -DPIC -o .libs/tau03.o
mv -f .deps/tau03.Tpo .deps/tau03.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tau03opt.lo -MD -MP -MF .deps/tau03opt.Tpo -c -o tau03opt.lo tau03opt.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tau03opt.lo -MD -MP -MF .deps/tau03opt.Tpo -c tau03opt.cc -fPIC -DPIC -o .libs/tau03opt.o
mv -f .deps/tau03opt.Tpo .deps/tau03opt.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT toparity.lo -MD -MP -MF .deps/toparity.Tpo -c -o toparity.lo toparity.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT toparity.lo -MD -MP -MF .deps/toparity.Tpo -c toparity.cc -fPIC -DPIC -o .libs/toparity.o
mv -f .deps/toparity.Tpo .deps/toparity.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT totgba.lo -MD -MP -MF .deps/totgba.Tpo -c -o totgba.lo totgba.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT totgba.lo -MD -MP -MF .deps/totgba.Tpo -c totgba.cc -fPIC -DPIC -o .libs/totgba.o
mv -f .deps/totgba.Tpo .deps/totgba.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT toweak.lo -MD -MP -MF .deps/toweak.Tpo -c -o toweak.lo toweak.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT toweak.lo -MD -MP -MF .deps/toweak.Tpo -c toweak.cc -fPIC -DPIC -o .libs/toweak.o
mv -f .deps/toweak.Tpo .deps/toweak.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT translate.lo -MD -MP -MF .deps/translate.Tpo -c -o translate.lo translate.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT translate.lo -MD -MP -MF .deps/translate.Tpo -c translate.cc -fPIC -DPIC -o .libs/translate.o
mv -f .deps/translate.Tpo .deps/translate.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT word.lo -MD -MP -MF .deps/word.Tpo -c -o word.lo word.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT word.lo -MD -MP -MF .deps/word.Tpo -c word.cc -fPIC -DPIC -o .libs/word.o
mv -f .deps/word.Tpo .deps/word.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT zlktree.lo -MD -MP -MF .deps/zlktree.Tpo -c -o zlktree.lo zlktree.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT zlktree.lo -MD -MP -MF .deps/zlktree.Tpo -c zlktree.cc -fPIC -DPIC -o .libs/zlktree.o
mv -f .deps/zlktree.Tpo .deps/zlktree.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -fstack-protector-strong -o libtwaalgos.la aiger.lo alternation.lo are_isomorphic.lo bfssteps.lo canonicalize.lo cleanacc.lo cobuchi.lo complete.lo complement.lo compsusp.lo contains.lo cycles.lo degen.lo determinize.lo dot.lo dtbasat.lo dtwasat.lo dualize.lo emptiness.lo genem.lo gfguarantee.lo gv04.lo hoa.lo iscolored.lo isdet.lo isunamb.lo isweakscc.lo game.lo langmap.lo lbtt.lo ltl2taa.lo ltl2tgba_fm.lo magic.lo mask.lo minimize.lo mealy_machine.lo couvreurnew.lo neverclaim.lo parity.lo postproc.lo powerset.lo product.lo randomgraph.lo randomize.lo reachiter.lo remfin.lo remprop.lo relabel.lo split.lo strength.lo sbacc.lo sccinfo.lo sccfilter.lo se05.lo sepsets.lo simulation.lo stats.lo stripacc.lo stutter.lo synthesis.lo sum.lo tau03.lo tau
03opt.lo toparity.lo totgba.lo toweak.lo translate.lo word.lo zlktree.lo gtec/libgtec.la
libtool: link: (cd .libs/libtwaalgos.lax/libgtec.a && ar x "/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/twaalgos/gtec/.libs/libgtec.a")
libtool: link: ar cr .libs/libtwaalgos.a .libs/aiger.o .libs/alternation.o .libs/are_isomorphic.o .libs/bfssteps.o .libs/canonicalize.o .libs/cleanacc.o .libs/cobuchi.o .libs/complete.o .libs/complement.o .libs/compsusp.o .libs/contains.o .libs/cycles.o .libs/degen.o .libs/determinize.o .libs/dot.o .libs/dtbasat.o .libs/dtwasat.o .libs/dualize.o .libs/emptiness.o .libs/genem.o .libs/gfguarantee.o .libs/gv04.o .libs/hoa.o .libs/iscolored.o .libs/isdet.o .libs/isunamb.o .libs/isweakscc.o .libs/game.o .libs/langmap.o .libs/lbtt.o .libs/ltl2taa.o .libs/ltl2tgba_fm.o .libs/magic.o .libs/mask.o .libs/minimize.o .libs/mealy_machine.o .libs/couvreurnew.o .libs/neverclaim.o .libs/parity.o .libs/postproc.o .libs/powerset.o .libs/product.o .libs/randomgraph.o .libs/randomize.o .libs/reachiter.o .libs/remfin.o .libs/remprop.o .libs/relabel.o .libs/split.o .libs/strength.o .libs/sbacc.o .libs/sccinfo.o .libs/sccfilter.o .libs/se05.o .libs/sepsets.o .libs/simulation.o .libs/stats.o .libs/stripacc.
o .libs/stutter.o .libs/synthesis.o .libs/sum.o .libs/tau03.o .libs/tau03opt.o .libs/toparity.o .libs/totgba.o .libs/toweak.o .libs/translate.o .libs/word.o .libs/zlktree.o .libs/libtwaalgos.lax/libgtec.a/ce.o .libs/libtwaalgos.lax/libgtec.a/gtec.o .libs/libtwaalgos.lax/libgtec.a/sccstack.o .libs/libtwaalgos.lax/libgtec.a/status.o
libtool: link: ranlib .libs/libtwaalgos.a
libtool: link: rm -fr .libs/libtwaalgos.lax
libtool: link: ( cd ".libs" && rm -f "libtwaalgos.la" && ln -s "../libtwaalgos.la" "libtwaalgos.la" )
gmake[5]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/twaalgos'
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/twaalgos'
Making all in ta
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/ta'
/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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT ta.lo -MD -MP -MF .deps/ta.Tpo -c -o ta.lo ta.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT ta.lo -MD -MP -MF .deps/ta.Tpo -c ta.cc -fPIC -DPIC -o .libs/ta.o
mv -f .deps/ta.Tpo .deps/ta.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT taproduct.lo -MD -MP -MF .deps/taproduct.Tpo -c -o taproduct.lo taproduct.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT taproduct.lo -MD -MP -MF .deps/taproduct.Tpo -c taproduct.cc -fPIC -DPIC -o .libs/taproduct.o
mv -f .deps/taproduct.Tpo .deps/taproduct.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgtaexplicit.lo -MD -MP -MF .deps/tgtaexplicit.Tpo -c -o tgtaexplicit.lo tgtaexplicit.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgtaexplicit.lo -MD -MP -MF .deps/tgtaexplicit.Tpo -c tgtaexplicit.cc -fPIC -DPIC -o .libs/tgtaexplicit.o
mv -f .deps/tgtaexplicit.Tpo .deps/tgtaexplicit.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT taexplicit.lo -MD -MP -MF .deps/taexplicit.Tpo -c -o taexplicit.lo taexplicit.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT taexplicit.lo -MD -MP -MF .deps/taexplicit.Tpo -c taexplicit.cc -fPIC -DPIC -o .libs/taexplicit.o
mv -f .deps/taexplicit.Tpo .deps/taexplicit.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgtaproduct.lo -MD -MP -MF .deps/tgtaproduct.Tpo -c -o tgtaproduct.lo tgtaproduct.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgtaproduct.lo -MD -MP -MF .deps/tgtaproduct.Tpo -c tgtaproduct.cc -fPIC -DPIC -o .libs/tgtaproduct.o
mv -f .deps/tgtaproduct.Tpo .deps/tgtaproduct.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -fstack-protector-strong -o libta.la ta.lo taproduct.lo tgtaexplicit.lo taexplicit.lo tgtaproduct.lo
libtool: link: ar cr .libs/libta.a .libs/ta.o .libs/taproduct.o .libs/tgtaexplicit.o .libs/taexplicit.o .libs/tgtaproduct.o
libtool: link: ranlib .libs/libta.a
libtool: link: ( cd ".libs" && rm -f "libta.la" && ln -s "../libta.la" "libta.la" )
gmake[4]: Leaving directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/ta'
Making all in taalgos
gmake[4]: Entering directory '/wrkdirs/usr/ports/math/spot/work/spot-2.10.5/spot/taalgos'
/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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgba2ta.lo -MD -MP -MF .deps/tgba2ta.Tpo -c -o tgba2ta.lo tgba2ta.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT tgba2ta.lo -MD -MP -MF .deps/tgba2ta.Tpo -c tgba2ta.cc -fPIC -DPIC -o .libs/tgba2ta.o
mv -f .deps/tgba2ta.Tpo .deps/tgba2ta.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT dot.lo -MD -MP -MF .deps/dot.Tpo -c -o dot.lo dot.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT dot.lo -MD -MP -MF .deps/dot.Tpo -c dot.cc -fPIC -DPIC -o .libs/dot.o
mv -f .deps/dot.Tpo .deps/dot.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 -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT reachiter.lo -MD -MP -MF .deps/reachiter.Tpo -c -o reachiter.lo reachiter.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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
mv -f .deps/emptinessta.Tpo .deps/emptinessta.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
mv -f .deps/kripke.Tpo .deps/kripke.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
mv -f .deps/convert.Tpo .deps/convert.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
mv -f .deps/unionfind.Tpo .deps/unionfind.Plo
/bin/sh ../../libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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
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_);
^
3 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 -fvisibility=hidden -fvisibility-inlines-hidden -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 -fvisibility=hidden -fvisibility-inlines-hidden -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: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
^~~~~~~~~~~~~~~~~~~~~~~~~
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