Mock Version: 6.5
Mock Version: 6.5
Mock Version: 6.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/clingo.spec'], chrootPath='/var/lib/mock/f45-build-4289-331/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa6af2e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '655a4a364a634e979a21ad0b070f4fae', '-D', '/var/lib/mock/f45-build-4289-331/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/clingo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1786752000
Wrote: /builddir/build/SRPMS/clingo-5.8.2-1.fc45.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/clingo.spec'], chrootPath='/var/lib/mock/f45-build-4289-331/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fa6af2e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'bd64ba19e78841339bec07647d36efd8', '-D', '/var/lib/mock/f45-build-4289-331/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ow3l3jy7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/clingo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1786752000
Executing(mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.Zice8C
Creating(rpmbuild.env): /builddir/build/BUILD/clingo-5.8.2-build/rpmbuild.env
  RPM_SOURCE_DIR="/builddir/build/SOURCES"
  RPM_BUILD_DIR="/builddir/build/BUILD/clingo-5.8.2-build"
  RPM_OPT_FLAGS="-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer"
  RPM_LD_FLAGS="-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  "
  RPM_ARCH="riscv64"
  RPM_OS="linux"
  RPM_BUILD_NCPUS="8"
  RPM_SPECPARTS_DIR="/builddir/build/BUILD/clingo-5.8.2-build/SPECPARTS"
  export RPM_SOURCE_DIR RPM_BUILD_DIR RPM_OPT_FLAGS RPM_ARCH RPM_OS RPM_BUILD_NCPUS RPM_SPECPARTS_DIR RPM_LD_FLAGS
  RPM_DOC_DIR="/usr/share/doc"
  export RPM_DOC_DIR
  RPM_PACKAGE_NAME="clingo"
  RPM_PACKAGE_VERSION="5.8.2"
  RPM_PACKAGE_RELEASE="1.fc45"
  export RPM_PACKAGE_NAME RPM_PACKAGE_VERSION RPM_PACKAGE_RELEASE
  LANG=C.UTF-8
  export LANG
  unset CDPATH DISPLAY ||:
  unset DEBUGINFOD_URLS ||:
  unset RPM_CONFIG_DIR ||:
  RPM_BUILD_ROOT="/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT"
  export RPM_BUILD_ROOT
  
  PKG_CONFIG_PATH="${PKG_CONFIG_PATH}:/usr/lib64/pkgconfig:/usr/share/pkgconfig"
  export PKG_CONFIG_PATH
  CONFIG_SITE=${CONFIG_SITE:-NONE}
  export CONFIG_SITE
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.uAcyUB
+ umask 022
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ rm -rf clingo-5.8.2
+ /usr/bin/rpmuncompress -x /builddir/build/SOURCES/clingo-5.8.2.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd clingo-5.8.2
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/clingo.clasp-disable-class-memaccess-warning.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.2pl3Vt
+ umask 022
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd clingo-5.8.2
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ /usr/bin/cmake -S . -B redhat-linux-build -G Ninja -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DCMAKE_INSTALL_FULL_SBINDIR:PATH=/usr/bin -DCMAKE_INSTALL_SBINDIR:PATH=bin -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON -DCLINGO_MANAGE_RPATH:BOOL=OFF -DBUILD_SHARED_LIBS:BOOL=OFF -DCLINGO_BUILD_APPS:BOOL=ON -DPython_EXECUTABLE=/usr/bin/python3 -DCLINGO_BUILD_SHARED:BOOL=ON -DCLINGO_BUILD_WITH_PYTHON:BOOL=ON -DLUACLINGO_INSTALL_DIR:PATH=/usr/lib64/lua/5.5
-- The C compiler identification is GNU 16.1.1
-- The CXX compiler identification is GNU 16.1.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- No build type selected - using 'Release'
-- Found Python: /usr/bin/python3 (found suitable version "3.15.0", minimum required is "3.6") found components: Interpreter Development Development.Module Development.Embed
-- Found Lua: /usr/lib64/liblua-5.5.so;/usr/lib64/libm.so (found suitable version "5.5.1", minimum required is "5.0")
-- Found BISON: /usr/bin/bison (found suitable version "3.8.2", minimum required is "2.5")
-- Found RE2C: /usr/bin/re2c (found suitable version "3.1.0", minimum required is "1.1")
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- Performing Test CLINGO_USE_VERSION_SCRIPT
-- Performing Test CLINGO_USE_VERSION_SCRIPT - Success
-- Performing Test CLASP_HAS_WORKING_LIBATOMIC
-- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success
-- Potassco is not installed - using local copy
-- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) 
-- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) 
-- Configuring done (4.8s)
-- Generating done (0.2s)
CMake Warning:
  Manually-specified variables were not used by the project:
    CMAKE_Fortran_FLAGS_RELEASE
    CMAKE_INSTALL_DO_STRIP
    CMAKE_VERBOSE_MAKEFILE
    INCLUDE_INSTALL_DIR
    LIB_INSTALL_DIR
    LIB_SUFFIX
    SHARE_INSTALL_PREFIX
    SYSCONF_INSTALL_DIR
-- Build files have been written to: /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build
+ /usr/bin/cmake --build redhat-linux-build -j8 --verbose
Change Dir: '/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build'
Run Build Command(s): /usr/bin/ninja-build -v -j 8
[1/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/clingo.cpp
[2/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/match_basic_types.cpp
[3/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/rule_utils.cpp
[4/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/aspif.cpp
[5/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/theory_data.cpp
[6/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/string_convert.cpp
[7/111] cd /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo && /usr/bin/cmake -E make_directory /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/groundtermgrammar && /usr/bin/bison -d -o /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/groundtermgrammar/grammar.cc /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy:26.1-52: warning: deprecated directive: ‘%define namespace "Gringo::Input::GroundTermGrammar"’, use ‘%define api.namespace {Gringo::Input::GroundTermGrammar}’ [-Wdeprecated]
   26 | %define namespace "Gringo::Input::GroundTermGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.namespace {Gringo::Input::GroundTermGrammar}
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy:27.1-39: warning: deprecated directive: ‘%name-prefix "GringoGroundTermGrammar_"’, use ‘%define api.prefix {GringoGroundTermGrammar_}’ [-Wdeprecated]
   27 | %name-prefix "GringoGroundTermGrammar_"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.prefix {GringoGroundTermGrammar_}
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy:28.1-14: warning: deprecated directive: ‘%error-verbose’, use ‘%define parse.error verbose’ [-Wdeprecated]
   28 | %error-verbose
      | ^~~~~~~~~~~~~~
      | %define parse.error verbose
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy:26.1-52: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
   26 | %define namespace "Gringo::Input::GroundTermGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermgrammar.yy: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
[8/111] cd /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo && /usr/bin/re2c -o /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/groundtermlexer.hh /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/groundtermlexer.xh
[9/111] cd /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo && /usr/bin/cmake -E make_directory /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/nongroundgrammar && /usr/bin/bison -d -o /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/nongroundgrammar/grammar.cc /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:28.1-51: warning: deprecated directive: ‘%define namespace "Gringo::Input::NonGroundGrammar"’, use ‘%define api.namespace {Gringo::Input::NonGroundGrammar}’ [-Wdeprecated]
   28 | %define namespace "Gringo::Input::NonGroundGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.namespace {Gringo::Input::NonGroundGrammar}
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:30.1-38: warning: deprecated directive: ‘%name-prefix "GringoNonGroundGrammar_"’, use ‘%define api.prefix {GringoNonGroundGrammar_}’ [-Wdeprecated]
   30 | %name-prefix "GringoNonGroundGrammar_"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.prefix {GringoNonGroundGrammar_}
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:32.1-14: warning: deprecated directive: ‘%error-verbose’, use ‘%define parse.error verbose’ [-Wdeprecated]
   32 | %error-verbose
      | ^~~~~~~~~~~~~~
      | %define parse.error verbose
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:34.1-39: warning: deprecated directive: ‘%define location_type "DefaultLocation"’, use ‘%define api.location.type {DefaultLocation}’ [-Wdeprecated]
   34 | %define location_type "DefaultLocation"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      | %define api.location.type {DefaultLocation}
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:34.1-39: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
   34 | %define location_type "DefaultLocation"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy:28.1-51: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
   28 | %define namespace "Gringo::Input::NonGroundGrammar"
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundgrammar.yy: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
[10/111] cd /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo && /usr/bin/re2c -c -o /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch
[11/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/application.cpp
[12/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/value_store.cpp
[13/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/smodels.cpp
[14/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/convert.cpp
[15/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/aspif_text.cpp
[16/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/asp_preprocessor.cpp
[17/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/cb_enumerator.cpp
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/cb_enumerator.cpp: In constructor ‘Clasp::CBConsequences::QueryFinder::State::State(Clasp::uint32)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/cb_enumerator.cpp:109:26: warning: ‘Clasp::CBConsequences::QueryFinder::State::refs_’ will be initialized after [-Wreorder]
  109 |                 SizeType refs_;
      |                          ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/cb_enumerator.cpp:108:26: warning:   ‘Clasp::uint32 Clasp::CBConsequences::QueryFinder::State::size_’ [-Wreorder]
  108 |                 uint32   size_;
      |                          ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/cb_enumerator.cpp:90:17: warning:   when initialized here [-Wreorder]
   90 |                 State(uint32 nVars) : refs_(1), size_(nVars) {
      |                 ^~~~~
[18/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clasp_output.cpp
[19/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libreify/CMakeFiles/libreify.dir/src/program.cc.o -MF libreify/CMakeFiles/libreify.dir/src/program.cc.o.d -o libreify/CMakeFiles/libreify.dir/src/program.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify/src/program.cc
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify/reify/program.hh:29,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify/src/program.cc:25:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh: In member function ‘Gringo::Graph<T>::SCCVec Gringo::Graph<T>::tarjan() [with T = unsigned int]’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh:126:39: warning: ‘<unknown>[2305843009213693951]’ may be used uninitialized [-Wmaybe-uninitialized]
  126 |                     for (auto &z : y->edges_) {
      |                                    ~~~^~~~~~
[20/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clasp_app.cpp
[21/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o -MF clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o.d -o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/program_options.cpp
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/program_options.cpp: In member function ‘virtual void Potassco::ProgramOptions::{anonymous}::CfgFileParser::doParse()’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/src/program_options.cpp:786:46: warning: variable ‘lineNr’ set but not used [-Wunused-but-set-variable=]
  786 |                                          int lineNr = 0;
      |                                              ^~~~~~
[22/111] : && /usr/bin/cmake -E rm -f lib/libpotassco.a && /usr/bin/ar qc lib/libpotassco.a  clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o && /usr/bin/ranlib lib/libpotassco.a && :
[23/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/constraint.cpp
[24/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clasp_facade.cpp
[25/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clingo.cpp
[26/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp: In constructor ‘Clasp::Clause::Clause(Clasp::Solver&, const Clasp::ClauseRep&, Clasp::uint32, bool)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp:413:41: warning: array subscript 3 is above array bounds of ‘Clasp::Literal [3]’ [-Warray-bounds=]
  413 |                         head_[rep.size-1].flag();  // mark last literal of clause
      |                         ~~~~~~~~~~~~~~~~^
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/clasp/clause.h:31,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp:24:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/clasp/solver_types.h:341:18: note: while referencing ‘Clasp::ClauseHead::head_’
  341 |         Literal  head_[HEAD_LITS]; // two watched literals and one cache literal
      |                  ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp:413:41: warning: array subscript 3 is above array bounds of ‘Clasp::Literal [3]’ [-Warray-bounds=]
  413 |                         head_[rep.size-1].flag();  // mark last literal of clause
      |                         ~~~~~~~~~~~~~~~~^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/clasp/solver_types.h:341:18: note: while referencing ‘Clasp::ClauseHead::head_’
  341 |         Literal  head_[HEAD_LITS]; // two watched literals and one cache literal
      |                  ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clause.cpp:414:47: warning: array subscript 3 is above array bounds of ‘Clasp::Literal [3]’ [-Warray-bounds=]
  414 |                         Literal t = head_[tail];
      |                                     ~~~~~~~~~~^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/clasp/solver_types.h:341:18: note: while referencing ‘Clasp::ClauseHead::head_’
  341 |         Literal  head_[HEAD_LITS]; // two watched literals and one cache literal
      |                  ^~~~~
[27/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/enumerator.cpp
[28/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/model_enumerators.cpp
[29/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/lookahead.cpp
[30/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/parser.cpp
[31/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/clasp_options.cpp
[32/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/heuristics.cpp
[33/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/dependency_graph.cpp
[34/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/program_builder.cpp
[35/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/logic_program_types.cpp
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/logic_program_types.cpp: In member function ‘bool Clasp::Asp::PrgHead::simplifySupports(Clasp::Asp::LogicProgram&, bool, Clasp::uint32*)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/logic_program_types.cpp:464:24: warning: variable ‘dis’ set but not used [-Wunused-but-set-variable=]
  464 |                 uint32 dis = 0;
      |                        ^~~
[36/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/satelite.cpp
[37/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solve_algorithms.cpp
[38/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/minimize_constraint.cpp
[39/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/timer.cpp
[40/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver_types.cpp
[41/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver_strategies.cpp
[42/111] : && /usr/bin/cmake -E rm -f lib/libreify.a && /usr/bin/ar qc lib/libreify.a  libreify/CMakeFiles/libreify.dir/src/program.cc.o && /usr/bin/ranlib lib/libreify.a && :
[43/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/logic_program.cpp
[44/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/statistics.cpp
[45/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/shared_context.cpp
[46/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/weight_constraint.cpp
[47/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/parallel_solve.cpp
[48/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/unfounded_check.cpp
[49/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -DCLINGO_MAP_NUM_SHARDS=1 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/symbol.cc
[50/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/terms.cc
[51/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/ground/literal.cc
[52/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -Wno-deprecated-declarations -Wno-class-memaccess -MD -MT clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o -MF clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o.d -o clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver.cpp
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver.cpp: In member function ‘void Clasp::Solver::destroyDB(ConstraintDB&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver.cpp:671:43: warning: storing the address of local variable ‘dirty’ in ‘*this.Clasp::Solver::lazyRem_’ [-Wdangling-pointer=]
  671 |                 if (!lazyRem_) { lazyRem_ = &dirty; }
      |                                  ~~~~~~~~~^~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver.cpp:670:23: note: ‘dirty’ declared here
  670 |                 Dirty dirty;
      |                       ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/src/solver.cpp:668:40: note: ‘this’ declared here
  668 | void Solver::destroyDB(ConstraintDB& db) {
      |                                        ^
[53/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/ground/instantiation.cc
[54/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/literal.cc
[55/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/groundtermparser.cc
[56/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/ground/program.cc
[57/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/aggregate.cc
[58/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/term.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/term.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/term.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/term.cc
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/term.cc:31:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh: In member function ‘Gringo::Graph<T>::SCCVec Gringo::Graph<T>::tarjan() [with T = std::__detail::_Node_iterator<std::pair<const Gringo::String, std::tuple<bool, Gringo::Location, std::unique_ptr<Gringo::Term, std::default_delete<Gringo::Term> > > >, false, true>]’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh:126:39: warning: ‘<unknown>[2305843009213693951]’ may be used uninitialized [-Wmaybe-uninitialized]
  126 |                     for (auto &z : y->edges_) {
      |                                    ~~~^~~~~~
[59/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/ground/literals.cc
[60/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundparser.cc
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundparser.cc:835:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘int Gringo::Input::NonGroundParser::lex_impl(void*, Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:52:16: warning: enumeration value ‘yycaspif’ not handled in switch [-Wswitch]
   52 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘Potassco::StringSpan Gringo::Input::NonGroundParser::aspif_string_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7191 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7191:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:229:10: warning: unused variable ‘yych’ [-Wunused-variable]
  229 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘Potassco::StringSpan Gringo::Input::NonGroundParser::aspif_nonl_string_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7227 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7227:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:242:10: warning: unused variable ‘yych’ [-Wunused-variable]
  242 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘void Gringo::Input::NonGroundParser::aspif_preamble_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7276 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7276:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:254:10: warning: unused variable ‘major’ [-Wunused-variable]
  254 |     auto major = aspif_unsigned_(loc);
      |          ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:256:10: warning: unused variable ‘minor’ [-Wunused-variable]
  256 |     auto minor = aspif_unsigned_(loc);
      |          ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:258:10: warning: unused variable ‘revision’ [-Wunused-variable]
  258 |     auto revision = aspif_unsigned_(loc);
      |          ^~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:259:10: warning: variable ‘incremental’ set but not used [-Wunused-but-set-variable=]
  259 |     bool incremental = false;
      |          ^~~~~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:260:10: warning: unused variable ‘yych’ [-Wunused-variable]
  260 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘void Gringo::Input::NonGroundParser::aspif_ws_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7390 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7390:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:273:10: warning: unused variable ‘yych’ [-Wunused-variable]
  273 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘void Gringo::Input::NonGroundParser::aspif_eof_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7437 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7437:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:284:10: warning: unused variable ‘yych’ [-Wunused-variable]
  284 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘void Gringo::Input::NonGroundParser::aspif_nl_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7489 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7489:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:300:10: warning: unused variable ‘yych’ [-Wunused-variable]
  300 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘int32_t Gringo::Input::NonGroundParser::aspif_signed_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7542 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7542:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:317:10: warning: unused variable ‘yych’ [-Wunused-variable]
  317 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘uint32_t Gringo::Input::NonGroundParser::aspif_unsigned_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7647 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7647:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:330:10: warning: unused variable ‘yych’ [-Wunused-variable]
  330 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh: In member function ‘void Gringo::Input::NonGroundParser::aspif_asp_(Gringo::Location&)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yyccomment’ not handled in switch [-Wswitch]
 7736 |         switch (YYGETCONDITION()) {
      |                ^
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycblockcomment’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycscript’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycscript_body’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycnormal’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yyctheory’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycdefinition’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo//src/input/nongroundlexer.hh:7736:16: warning: enumeration value ‘yycstart’ not handled in switch [-Wswitch]
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo//src/input/nongroundlexer.xch:344:10: warning: unused variable ‘yych’ [-Wunused-variable]
  344 |     char yych;
      |          ^~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundparser.cc: At global scope:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/nongroundparser.cc:184:6: warning: ‘void Gringo::Input::{anonymous}::format_(std::ostringstream&)’ defined but not used [-Wunused-function]
  184 | void format_(std::ostringstream &out) {}
      |      ^~~~~~~
[61/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/groundtermgrammar/grammar.cc
[62/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/statement.cc
[63/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/literals.cc
[64/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src/input/nongroundgrammar/grammar.cc
[65/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/programbuilder.cc
[66/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/aggregates.cc
[67/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/literal.cc
[68/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/theory.cc
[69/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/program.cc
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/ground/dependency.hh:28,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/ground/statement.hh:28,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/ground/program.hh:28,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/input/program.hh:28,
                 from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/program.cc:25:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh: In member function ‘Gringo::Graph<T>::SCCVec Gringo::Graph<T>::tarjan() [with T = Gringo::Ground::Dependency<std::unique_ptr<Gringo::Ground::Statement>, Gringo::Ground::HeadOccurrence>::Node*]’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/gringo/graph.hh:126:39: warning: ‘<unknown>[2305843009213693951]’ may be used uninitialized [-Wmaybe-uninitialized]
  126 |                     for (auto &z : y->edges_) {
      |                                    ~~~^~~~~~
[70/111] : && /usr/bin/cmake -E rm -f lib/libclasp.a && /usr/bin/ar qc lib/libclasp.a  clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o && /usr/bin/ranlib lib/libclasp.a && :
[71/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/statement.cc
[72/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/output.cc
[73/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2.cc
[74/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2_str.cc
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2_str.cc:193:15: warning: ‘std::ostream& Gringo::Input::{anonymous}::operator<<(std::ostream&, const Gringo::Input::OAST&)’ defined but not used [-Wunused-function]
  193 | std::ostream &operator<<(std::ostream &out, OAST const &x) {
      |               ^~~~~~~~
[75/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2_parse.cc
[76/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/statements.cc
[77/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/literals.cc
[78/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/input/aggregates.cc
[79/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/output/theory.cc
[80/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2_build.cc
[81/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/clingo_app.cc
[82/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/incmode.cc
[83/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/gringo_options.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/gringo_options.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/gringo_options.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/gringo_options.cc
[84/111] /usr/bin/gcc -DCLINGO_WITH_PYTHON -DPYCLINGO_BUILD_LIBRARY -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -isystem /usr/include/python3.15 -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -fPIC -fvisibility=hidden -MD -MT libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o -MF libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o.d -o libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo/pyclingo.c
[85/111] /usr/bin/g++ -DCLINGO_MAP_TYPE=0 -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libgringo/src -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o -MF libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o.d -o libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo/src/ground/statements.cc
[86/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/astv2_unpool.cc
[87/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/scripts.cc
[88/111] : && /usr/bin/cmake -E rm -f lib/libgringo.a && /usr/bin/ar qc lib/libgringo.a  libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o libgringo/CMakeFiles/libgringo.dir/src/term.cc.o libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o && /usr/bin/ranlib lib/libgringo.a && :
[89/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fvisibility=hidden -MD -MT clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o -MF clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o.d -o clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/app/lpconvert.cpp
In file included from /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/app/lpconvert.cpp:28:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/potassco/application.h:57:29: warning: ‘virtual void Potassco::Application::error(const char*) const’ was hidden [-Woverloaded-virtual=]
   57 |         virtual void        error(const char* msg) const { WRITE_STDERR("ERROR", getName(), msg); }
      |                             ^~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco/app/lpconvert.cpp:63:20: note:   by ‘static int LpConvert::error(int, const char*)’
   63 |         static int error(int line, const char* what) {
      |                    ^~~~~
[90/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=gnu++11 -fvisibility=hidden -Wno-class-memaccess -MD -MT clasp/app/CMakeFiles/clasp.dir/main.cpp.o -MF clasp/app/CMakeFiles/clasp.dir/main.cpp.o.d -o clasp/app/CMakeFiles/clasp.dir/main.cpp.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/app/main.cpp
[91/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/gringo_app.cc
[92/111] /usr/bin/g++  -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/reify/CMakeFiles/reify.dir/main.cc.o -MF app/reify/CMakeFiles/reify.dir/main.cc.o.d -o app/reify/CMakeFiles/reify.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/app/reify/main.cc
[93/111] /usr/bin/g++ -DCLINGO_WITH_LUA -DLUACLINGO_NO_VISIBILITY -Dluaclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o -MF app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o.d -o app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/app/luaclingo/main.cc
[94/111] /usr/bin/g++ -DCLINGO_WITH_LUA -DCLINGO_WITH_PYTHON -DLUACLINGO_NO_VISIBILITY -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/clingo/CMakeFiles/clingo.dir/main.cc.o -MF app/clingo/CMakeFiles/clingo.dir/main.cc.o.d -o app/clingo/CMakeFiles/clingo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/app/clingo/main.cc
[95/111] /usr/bin/g++ -DCLINGO_WITH_LUA -DCLINGO_WITH_PYTHON -DLUACLINGO_NO_VISIBILITY -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/gringo/CMakeFiles/gringo.dir/main.cc.o -MF app/gringo/CMakeFiles/gringo.dir/main.cc.o.d -o app/gringo/CMakeFiles/gringo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/app/gringo/main.cc
[96/111] : && /usr/bin/g++ -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=clasp/libpotassco/app/CMakeFiles/lpconvert.dir/link.d clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o bin/lpconvert  lib/libpotassco.a && :
[97/111] : && /usr/bin/g++ -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=app/reify/CMakeFiles/reify.dir/link.d app/reify/CMakeFiles/reify.dir/main.cc.o -o bin/reify  lib/libreify.a  lib/libpotassco.a && :
[98/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/control.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/control.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/control.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/control.cc
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/control.cc: In function ‘void {anonymous}::handleError()’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/control.cc:169:19: warning: catching polymorphic type ‘class std::logic_error’ by value [-Wcatch-value=]
  169 |     } catch (std::logic_error) {
      |                   ^~~~~~~~~~~
[99/111] : && /usr/bin/g++ -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=clasp/app/CMakeFiles/clasp.dir/link.d clasp/app/CMakeFiles/clasp.dir/main.cpp.o -o bin/clasp  lib/libclasp.a  lib/libpotassco.a && :
[100/111] /usr/bin/gcc -DCLINGO_WITH_PYTHON -DPYCLINGO_BUILD_LIBRARY -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/libpyclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -isystem /usr/include/python3.15 -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -fPIC -fvisibility=hidden -MD -MT libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o -MF libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o.d -o libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libpyclingo/_clingo.c
[101/111] /usr/bin/gcc -D_CFFI_NO_LIMITED_API -Dpyclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -isystem /usr/include/python3.15 -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -fPIC -fvisibility=hidden -MD -MT app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o -MF app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o.d -o app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/app/pyclingo/_clingo.c
[102/111] /usr/bin/g++ -DCLINGO_WITH_LUA -DLUACLINGO_BUILD_LIBRARY -DLUACLINGO_NO_VISIBILITY -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o -MF libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o.d -o libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc: In function ‘std::vector<int>* {anonymous}::luaToLits(lua_State*, int, const clingo_symbolic_atoms_t*, bool, bool)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:1405:37: warning: ‘*(unsigned char*)((char*)&sym + offsetof(<unnamed>::symbolic_literal_t, <unnamed>::symbolic_literal_t::positive))’ may be used uninitialized [-Wmaybe-uninitialized]
 1405 |                 sym.positive = !sym.positive;
      |                                 ~~~~^~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:1402:32: note: ‘*(unsigned char*)((char*)&sym + offsetof(<unnamed>::symbolic_literal_t, <unnamed>::symbolic_literal_t::positive))’ was declared here
 1402 |             symbolic_literal_t sym;
      |                                ^~~
In function ‘T {anonymous}::call_c_(Types<T*>*, lua_State*, F, Args ...) [with T = long unsigned int; F = bool (*)(const clingo_symbolic_atoms*, long unsigned int, long unsigned int*); Args = {const clingo_symbolic_atoms*, long unsigned int}]’,
    inlined from ‘decltype ({anonymous}::call_c_(static_cast<T*>(nullptr), L, f, <unnamed>::call_c::args ...)) {anonymous}::call_c(lua_State*, F, Args ...) [with F = bool (*)(const clingo_symbolic_atoms*, long unsigned int, long unsigned int*); Args = {const clingo_symbolic_atoms*, long unsigned int}; T = Types<long unsigned int*>]’ at /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:130:19,
    inlined from ‘std::vector<int>* {anonymous}::luaToLits(lua_State*, int, const clingo_symbolic_atoms_t*, bool, bool)’ at /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:1407:29:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:116:19: warning: ‘*(<unnamed>::symbol_wrapper*)((char*)&sym + offsetof(<unnamed>::symbolic_literal_t, <unnamed>::symbolic_literal_t::symbol)).{anonymous}::symbol_wrapper::symbol’ may be used uninitialized [-Wmaybe-uninitialized]
  116 |     handle_c_error(L, f(args..., &ret));
      |     ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc: In function ‘std::vector<int>* {anonymous}::luaToLits(lua_State*, int, const clingo_symbolic_atoms_t*, bool, bool)’:
/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libluaclingo/luaclingo.cc:1402:32: note: ‘*(<unnamed>::symbol_wrapper*)((char*)&sym + offsetof(<unnamed>::symbolic_literal_t, <unnamed>::symbolic_literal_t::symbol)).{anonymous}::symbol_wrapper::symbol’ was declared here
 1402 |             symbolic_literal_t sym;
      |                                ^~~
[103/111] /usr/bin/g++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libgringo -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libreify -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/ordered-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/hopscotch-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/sparse-map/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/optional/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/variant/include -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/third_party/wide-integer -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/clasp -I/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/clasp -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -Wno-class-memaccess -MD -MT libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -MF libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o.d -o libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -c /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/src/clingocontrol.cc
[104/111] : && /usr/bin/g++ -fPIC -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG  -shared -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--version-script='/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/libclingo/clingo.map' -Wl,--dependency-file=libclingo/CMakeFiles/libclingo.dir/link.d -Wl,-soname,libclingo.so.4 -o bin/libclingo.so.4.0 libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o libclingo/CMakeFiles/libclingo.dir/src/control.cc.o libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o libclingo/CMakeFiles/libclingo.dir/src/gringo_options.cc.o libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o  lib/libgringo.a  lib/libclasp.a  lib/libreify.a  lib/libpotassco.a && :
[105/111] /usr/bin/cmake -E cmake_symlink_library bin/libclingo.so.4.0  bin/libclingo.so.4 bin/libclingo.so && :
[106/111] : && /usr/bin/cmake -E rm -f lib/libpyclingo.a && /usr/bin/ar qc lib/libpyclingo.a  libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o && /usr/bin/ranlib lib/libpyclingo.a && :
[107/111] : && /usr/bin/cmake -E rm -f lib/libluaclingo.a && /usr/bin/ar qc lib/libluaclingo.a  libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o && /usr/bin/ranlib lib/libluaclingo.a && :
[108/111] : && /usr/bin/gcc -fPIC -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG  -shared -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=app/pyclingo/CMakeFiles/pyclingo.dir/link.d  -o bin/python/_clingo.cpython-315-riscv64-linux-gnu.so app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o  -Wl,-rpath,/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/bin:  bin/libclingo.so.4.0 && :
[109/111] : && /usr/bin/g++ -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=app/clingo/CMakeFiles/clingo.dir/link.d app/clingo/CMakeFiles/clingo.dir/main.cc.o -o bin/clingo  -Wl,-rpath,/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/bin:  lib/libpyclingo.a  lib/libluaclingo.a  /usr/lib64/libpython3.15.so  bin/libclingo.so.4.0  /usr/lib64/liblua-5.5.so  /usr/lib64/libm.so  -lgcc_s_asneeded  -lgcc_s_asneeded && :
[110/111] : && /usr/bin/g++ -fPIC -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG  -shared -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=app/luaclingo/CMakeFiles/luaclingo.dir/link.d  -o bin/lua/clingo.so app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o  -Wl,-rpath,/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/bin:  lib/libluaclingo.a  bin/libclingo.so.4.0  /usr/lib64/liblua-5.5.so  /usr/lib64/libm.so && :
[111/111] : && /usr/bin/g++ -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -DNDEBUG -Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes -Wl,--dependency-file=app/gringo/CMakeFiles/gringo.dir/link.d app/gringo/CMakeFiles/gringo.dir/main.cc.o -o bin/gringo  -Wl,-rpath,/builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/redhat-linux-build/bin:  lib/libpyclingo.a  lib/libluaclingo.a  bin/libclingo.so.4.0  /usr/lib64/libpython3.15.so  /usr/lib64/liblua-5.5.so  /usr/lib64/libm.so  -lgcc_s_asneeded  -lgcc_s_asneeded && :
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.wXpfxh
+ umask 022
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ '[' /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
++ dirname /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/clingo-5.8.2-build
+ mkdir /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd clingo-5.8.2
+ DESTDIR=/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
+ /usr/bin/cmake --install redhat-linux-build
-- Install configuration: "Release"
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/lpconvert
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/clasp
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/libclingo.so.4.0
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/libclingo.so.4
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/libclingo.so
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/include/clingo.hh
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/include/clingo.h
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/cmake/Clingo/ClingoTargets.cmake
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/cmake/Clingo/ClingoTargets-release.cmake
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/cmake/Clingo/ClingoConfig.cmake
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/cmake/Clingo/ClingoConfigVersion.cmake
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/reify
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/gringo
-- Set non-toolchain portion of runtime path of "/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/gringo" to ""
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/clingo
-- Set non-toolchain portion of runtime path of "/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/bin/clingo" to ""
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/_clingo.cpython-315-riscv64-linux-gnu.so
-- Set non-toolchain portion of runtime path of "/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/_clingo.cpython-315-riscv64-linux-gnu.so" to ""
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo-5.8.2.dist-info/INSTALLER
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo-5.8.2.dist-info/METADATA
-- Up-to-date: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__init__.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__main__.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/_internal.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/application.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/ast.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/backend.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/configuration.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/control.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/core.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/propagator.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/py.typed
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/script.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/solving.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/statistics.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/symbol.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/symbolic_atoms.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/theory.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/theory_atoms.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/util.py
-- Installing: /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/lua/5.5/clingo.so
-- Set non-toolchain portion of runtime path of "/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/lua/5.5/clingo.so" to ""
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 5.8.2-1.fc45 --unique-debug-suffix -5.8.2-1.fc45.riscv64 --unique-debug-src-base clingo-5.8.2-1.fc45.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2
find-debuginfo: starting
Extracting debug info from 8 files
DWARF-compressing 8 files
sepdebugcrcfix: Updated 8 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/clingo-5.8.2-1.fc45.riscv64
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ COMPRESS='gzip -9 -n'
+ COMPRESS_EXT=.gz
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8
Bytecompiling .py files below /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15 using python3.15
Bytecompiling .py files below /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib/debug/usr/lib64/python3.15 using python3.15
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-det --brp -j8 /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/__main__.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/__init__.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/script.cpython-315.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/script.cpython-315.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/symbolic_atoms.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/core.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/theory_atoms.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/theory.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/statistics.cpython-315.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/util.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/application.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/statistics.cpython-315.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/symbol.cpython-315.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/_internal.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/symbol.cpython-315.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/solving.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/configuration.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/propagator.cpython-315.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/propagator.cpython-315.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/ast.cpython-315.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/ast.cpython-315.opt-1.pyc: replacing with normalized version
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/backend.cpython-315.pyc: rewriting with normalized contents
/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/lib64/python3.15/site-packages/clingo/__pycache__/control.cpython-315.pyc: rewriting with normalized contents
Scanned 88 directories and 318 files,
    processed 23 inodes,
    23 modified (10 replaced + 13 rewritten),
    0 unsupported format, 0 errors
+ /usr/bin/linkdupes --brp /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr
Scanned 87 directories and 318 files,
    considered 316 files, read 6 files, linked 1 files, 0 errors
    sum of sizes of linked files: 203076 bytes
Reading /builddir/build/BUILD/clingo-5.8.2-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: clingo-5.8.2-1.fc45.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.6UOQwj
+ umask 022
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ cd clingo-5.8.2
+ DOCDIR=/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/doc/clingo
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/doc/clingo
+ cp -pr /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/README.md /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/doc/clingo
+ cp -pr /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/INSTALL.md /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/doc/clingo
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.d5nFzC
+ umask 022
+ cd /builddir/build/BUILD/clingo-5.8.2-build
+ cd clingo-5.8.2
+ LICENSEDIR=/builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/licenses/clingo
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/licenses/clingo
+ cp -pr /builddir/build/BUILD/clingo-5.8.2-build/clingo-5.8.2/LICENSE.md /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT/usr/share/licenses/clingo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: clingo = 5.8.2-1.fc45 clingo(riscv-64) = 5.8.2-1.fc45 libclingo.so.4()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libclingo.so.4()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) liblua-5.5.so()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpython3.15.so.1.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.1)(64bit) libstdc++.so.6(CXXABI_1.3.11)(64bit) libstdc++.so.6(CXXABI_1.3.13)(64bit) libstdc++.so.6(CXXABI_1.3.15)(64bit) libstdc++.so.6(CXXABI_1.3.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(64bit) libstdc++.so.6(CXXABI_1.3.7)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.19)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.22)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: clingo-devel-5.8.2-1.fc45.riscv64
Provides: clingo-devel = 5.8.2-1.fc45 clingo-devel(riscv-64) = 5.8.2-1.fc45 cmake(Clingo) = 5.8.2 cmake(clingo) = 5.8.2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: cmake-filesystem(riscv-64) libclingo.so.4()(64bit)
Processing files: lua-clingo-5.8.2-1.fc45.riscv64
Provides: lua-clingo = 5.8.2-1.fc45 lua-clingo(riscv-64) = 5.8.2-1.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libclingo.so.4()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) liblua-5.5.so()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) lua(abi) = 5.5 rtld(GNU_HASH)
Processing files: python3-clingo-5.8.2-1.fc45.riscv64
Provides: python-clingo = 5.8.2-1.fc45 python3-clingo = 5.8.2-1.fc45 python3-clingo(riscv-64) = 5.8.2-1.fc45 python3.15-clingo = 5.8.2-1.fc45 python3.15dist(clingo) = 5.8.2 python3dist(clingo) = 5.8.2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libclingo.so.4()(64bit) python(abi) = 3.15 rtld(GNU_HASH)
Obsoletes: python-clingo < 5.8.2-1.fc45
Processing files: clingo-debugsource-5.8.2-1.fc45.riscv64
Provides: clingo-debugsource = 5.8.2-1.fc45 clingo-debugsource(riscv-64) = 5.8.2-1.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: clingo-debuginfo-5.8.2-1.fc45.riscv64
Provides: clingo-debuginfo = 5.8.2-1.fc45 clingo-debuginfo(riscv-64) = 5.8.2-1.fc45 debuginfo(build-id) = 0805f982f6d310db36a85f9844028336c792af46 debuginfo(build-id) = 2054f0f4866777222b75ac8c881fbf9900e1aa9e debuginfo(build-id) = 4a1a4101ac76572da4fbeb99a4841e163d32d9d9 debuginfo(build-id) = 94e9c8a15d81033e8aa8f5d08cf17c8bac9dcefb debuginfo(build-id) = b1fa0b22c1a79c9b6cb94ffac823eace98c6e1ec debuginfo(build-id) = d279905108d65a4bffb4282e66a3c35828dbde9d libclingo.so.4.0-5.8.2-1.fc45.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: clingo-debugsource(riscv-64) = 5.8.2-1.fc45
Processing files: lua-clingo-debuginfo-5.8.2-1.fc45.riscv64
Provides: debuginfo(build-id) = c6faa99af31816eb1b8236ad74796ab516e89f99 lua-clingo-debuginfo = 5.8.2-1.fc45 lua-clingo-debuginfo(riscv-64) = 5.8.2-1.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: clingo-debugsource(riscv-64) = 5.8.2-1.fc45
Processing files: python3-clingo-debuginfo-5.8.2-1.fc45.riscv64
Provides: debuginfo(build-id) = 3ef0cf426146d31319cd2ed1e9049cf916d39520 python-clingo-debuginfo = 5.8.2-1.fc45 python3-clingo-debuginfo = 5.8.2-1.fc45 python3-clingo-debuginfo(riscv-64) = 5.8.2-1.fc45 python3.15-clingo-debuginfo = 5.8.2-1.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: clingo-debugsource(riscv-64) = 5.8.2-1.fc45
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/clingo-5.8.2-build/BUILDROOT
Wrote: /builddir/build/RPMS/lua-clingo-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/clingo-devel-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-clingo-debuginfo-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-clingo-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/lua-clingo-debuginfo-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/clingo-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/clingo-debugsource-5.8.2-1.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/clingo-debuginfo-5.8.2-1.fc45.riscv64.rpm
Child return code was: 0