Mock Version: 1.4.16 Mock Version: 1.4.16 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/clingo.spec'], chrootPath='/var/lib/mock/f32-build-17437522-1258009/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1567728000 Wrote: /builddir/build/SRPMS/clingo-5.4.0-1.fc32.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/clingo.spec'], chrootPath='/var/lib/mock/f32-build-17437522-1258009/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1567728000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Kigv7M + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf clingo-5.4.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/clingo-5.4.0.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd clingo-5.4.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/clingo.clasp-disable-class-memaccess-warning.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /builddir/build/SOURCES/clingo.python38.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.x3f7LJ + umask 022 + cd /builddir/build/BUILD + cd clingo-5.4.0 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + /usr/bin/cmake -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_PREFIX:PATH=/usr -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 -H. -Brelease -DCLINGO_MANAGE_RPATH:BOOL=OFF -DBUILD_SHARED_LIBS:BOOL=OFF -DCLINGO_BUILD_APPS:BOOL=ON -DCLINGO_BUILD_LUA_SHARED:BOOL=ON -DPYTHON_EXECUTABLE=/usr/bin/python3 -DCLINGO_BUILD_PY_SHARED:BOOL=ON -DCLINGO_BUILD_SHARED:BOOL=ON -DCLINGO_REQUIRE_PYTHON:BOOL=ON -DPYCLINGO_USER_INSTALL:BOOL=OFF -DLUACLINGO_INSTALL_DIR:PATH=/usr/lib64/lua/5.3 -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- No build type selected - using 'Release' -- Found PythonInterp: /usr/bin/python3 (found version "3.8") -- Found PythonLibs: /usr/lib64/libpython3.8.so (found version "3.8.0b4") -- Found Lua: /usr/lib64/liblua-5.3.so;/usr/lib64/libm.so (found version "5.3.5") -- Found BISON: /usr/bin/bison (found suitable version "3.4.1", minimum required is "2.5") -- Found RE2C: /usr/bin/re2c (found suitable version "0.101.1", minimum required is "0.13") -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done -- Generating done BUILDSTDERR: CMake Warning: BUILDSTDERR: Manually-specified variables were not used by the project: BUILDSTDERR: CMAKE_C_FLAGS_RELEASE BUILDSTDERR: CMAKE_Fortran_FLAGS_RELEASE BUILDSTDERR: INCLUDE_INSTALL_DIR BUILDSTDERR: LIB_INSTALL_DIR BUILDSTDERR: LIB_SUFFIX BUILDSTDERR: SHARE_INSTALL_PREFIX BUILDSTDERR: SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/clingo-5.4.0/release + cmake --build release -- -j48 /usr/bin/cmake -S/builddir/build/BUILD/clingo-5.4.0 -B/builddir/build/BUILD/clingo-5.4.0/release --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Scanning dependencies of target libpotassco gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 1%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/match_basic_types.cpp [ 2%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/convert.cpp [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/smodels.cpp [ 4%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/clingo.cpp [ 6%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o [ 6%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [ 7%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/rule_utils.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/program_options.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/aspif_text.cpp [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/aspif.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/application.cpp [ 9%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o [ 10%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o [ 11%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/value_store.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/string_convert.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src/theory_data.cpp [ 12%] Linking CXX static library ../../../lib/libpotassco.a cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpotassco.dir/link.txt --verbose=1 /usr/bin/ar qc ../../../lib/libpotassco.a CMakeFiles/libpotassco.dir/application.cpp.o CMakeFiles/libpotassco.dir/aspif.cpp.o CMakeFiles/libpotassco.dir/aspif_text.cpp.o CMakeFiles/libpotassco.dir/clingo.cpp.o CMakeFiles/libpotassco.dir/convert.cpp.o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o CMakeFiles/libpotassco.dir/program_options.cpp.o CMakeFiles/libpotassco.dir/rule_utils.cpp.o CMakeFiles/libpotassco.dir/smodels.cpp.o CMakeFiles/libpotassco.dir/string_convert.cpp.o CMakeFiles/libpotassco.dir/theory_data.cpp.o CMakeFiles/libpotassco.dir/value_store.cpp.o /usr/bin/ranlib ../../../lib/libpotassco.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 12%] Built target libpotassco /usr/bin/gmake -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend /usr/bin/gmake -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend /usr/bin/gmake -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/app /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/src /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/src /builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libreify /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libreify /builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/libreify.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/libreify.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/libreify.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/libreify.dir/depend.internal". Scanning dependencies of target lpconvert Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/libclasp.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/libclasp.dir/depend.internal". gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' Scanning dependencies of target libreify /usr/bin/gmake -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 13%] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -std=gnu++11 -o CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/app/lpconvert.cpp Scanning dependencies of target libclasp [ 14%] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release/libreify && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libreify.dir/src/program.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libreify/src/program.cc /usr/bin/gmake -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 15%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/clasp_output.cpp [ 15%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o [ 19%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o [ 20%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/heuristics.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/clingo.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/clasp_options.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/constraint.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/logic_program.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/logic_program_types.cpp [ 21%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o [ 23%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/asp_preprocessor.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/cb_enumerator.cpp [ 24%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/lookahead.cpp [ 25%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o [ 26%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [ 27%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/clasp_facade.cpp [ 28%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/clause.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/minimize_constraint.cpp [ 29%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o [ 30%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/dependency_graph.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/model_enumerators.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/enumerator.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/solver.cpp [ 31%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o [ 32%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o [ 32%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/program_builder.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/parser.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/solve_algorithms.cpp [ 33%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o [ 35%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o [ 35%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o [ 37%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o [ 37%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/statistics.cpp [ 38%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/solver_strategies.cpp [ 39%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o [ 40%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/weight_constraint.cpp [ 41%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/satelite.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/shared_context.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/solver_types.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/timer.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/unfounded_check.cpp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/src/parallel_solve.cpp [ 42%] Linking CXX executable ../../../bin/lpconvert cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/lpconvert.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o ../../../bin/lpconvert ../../../lib/libpotassco.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 42%] Built target lpconvert [ 43%] Linking CXX static library ../lib/libreify.a cd /builddir/build/BUILD/clingo-5.4.0/release/libreify && /usr/bin/cmake -P CMakeFiles/libreify.dir/cmake_clean_target.cmake cd /builddir/build/BUILD/clingo-5.4.0/release/libreify && /usr/bin/cmake -E cmake_link_script CMakeFiles/libreify.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libreify.a CMakeFiles/libreify.dir/src/program.cc.o /usr/bin/ranlib ../lib/libreify.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 43%] Built target libreify /usr/bin/gmake -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend /usr/bin/gmake -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/reify /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/reify /builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/reify.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 44%] [RE2C][nongroundlexer] Building lexer with re2c 0.101.1 cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/re2c -c -o /builddir/build/BUILD/clingo-5.4.0/release/libgringo//src/input/nongroundlexer.hh /builddir/build/BUILD/clingo-5.4.0/libgringo//src/input/nongroundlexer.xch [ 45%] [BISON][nongroundgrammar] Building parser with bison 3.4.1 [ 46%] [BISON][groundtermgrammar] Building parser with bison 3.4.1 cd /builddir/build/BUILD/clingo-5.4.0/libgringo && /usr/bin/bison -d -o /builddir/build/BUILD/clingo-5.4.0/release/libgringo/src/input/nongroundgrammar/grammar.cc /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/reify.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/reify.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/reify.dir/depend.internal". cd /builddir/build/BUILD/clingo-5.4.0/libgringo && /usr/bin/bison -d -o /builddir/build/BUILD/clingo-5.4.0/release/libgringo/src/input/groundtermgrammar/grammar.cc /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:28.1-51: warning: deprecated directive, use '%define api.namespace {Gringo::Input::NonGroundGrammar}' [-Wdeprecated] BUILDSTDERR: 28 | %define namespace "Gringo::Input::NonGroundGrammar" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:30.1-38: warning: deprecated directive, use '%define api.prefix {GringoNonGroundGrammar_}' [-Wdeprecated] BUILDSTDERR: 30 | %name-prefix "GringoNonGroundGrammar_" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:32.1-14: warning: deprecated directive, use '%define parse.error verbose' [-Wdeprecated] BUILDSTDERR: 32 | %error-verbose BUILDSTDERR: | ^~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:34.1-39: warning: deprecated directive, use '%define api.location.type {DefaultLocation}' [-Wdeprecated] BUILDSTDERR: 34 | %define location_type "DefaultLocation" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 47%] [RE2C][groundtermlexer] Building lexer with re2c 0.101.1 Scanning dependencies of target reify BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy:26.1-52: warning: deprecated directive, use '%define api.namespace {Gringo::Input::GroundTermGrammar}' [-Wdeprecated] BUILDSTDERR: 26 | %define namespace "Gringo::Input::GroundTermGrammar" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy:27.1-39: warning: deprecated directive, use '%define api.prefix {GringoGroundTermGrammar_}' [-Wdeprecated] BUILDSTDERR: 27 | %name-prefix "GringoGroundTermGrammar_" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy:28.1-14: warning: deprecated directive, use '%define parse.error verbose' [-Wdeprecated] BUILDSTDERR: 28 | %error-verbose BUILDSTDERR: | ^~~~~~~~~~~~~~ gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/re2c -o /builddir/build/BUILD/clingo-5.4.0/release/libgringo//src/input/groundtermlexer.hh /builddir/build/BUILD/clingo-5.4.0/libgringo//src/input/groundtermlexer.xh /usr/bin/gmake -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy:26.1-52: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated] BUILDSTDERR: 26 | %define namespace "Gringo::Input::GroundTermGrammar" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 48%] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/app/reify && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -std=c++14 -o CMakeFiles/reify.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.4.0/app/reify/main.cc BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermgrammar.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:34.1-39: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated] BUILDSTDERR: 34 | %define location_type "DefaultLocation" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy:28.1-51: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated] BUILDSTDERR: 28 | %define namespace "Gringo::Input::NonGroundGrammar" BUILDSTDERR: | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundgrammar.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libgringo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libgringo /builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/libgringo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/libgringo.dir/depend.internal". Scanning dependencies of target libgringo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 49%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/nongroundparser.cc [ 50%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o [ 51%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o [ 52%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o [ 53%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/program.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/ground/program.cc [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/aggregate.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/symbol.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/symbol.cc [ 55%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/aggregates.cc [ 56%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literal.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/literal.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literals.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/literals.cc [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o [ 58%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o [ 58%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/ground/instantiation.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/term.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/term.cc [ 59%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/groundtermparser.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/terms.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/terms.cc [ 60%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o [ 61%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/backend.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/backend.cc [ 62%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o [ 63%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o [ 63%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/program.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/program.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/primes.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/primes.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/theory.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/theory.cc [ 64%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o [ 65%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/literals.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/ground/literals.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/statement.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/statement.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/statements.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/ground/statements.cc [ 66%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/input/programbuilder.cc [ 67%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literal.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/literal.cc [ 68%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statement.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/statement.cc [ 69%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -c /builddir/build/BUILD/clingo-5.4.0/release/libgringo/src/input/groundtermgrammar/grammar.cc [ 70%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -c /builddir/build/BUILD/clingo-5.4.0/release/libgringo/src/input/nongroundgrammar/grammar.cc [ 71%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o [ 72%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o [ 73%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/aggregates.cc [ 74%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statements.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/statements.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literals.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/literals.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/output.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/output.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/release/libgringo/src -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/theory.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libgringo/src/output/theory.cc [ 75%] Linking CXX executable ../../bin/reify cd /builddir/build/BUILD/clingo-5.4.0/release/app/reify && /usr/bin/cmake -E cmake_link_script CMakeFiles/reify.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/reify.dir/main.cc.o -o ../../bin/reify ../../lib/libreify.a ../../lib/libpotassco.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 75%] Built target reify [ 76%] Linking CXX static library ../../lib/libclasp.a cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc ../../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o /usr/bin/ranlib ../../lib/libclasp.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 76%] Built target libclasp /usr/bin/gmake -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/app /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/app /builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/clasp.dir/depend.internal". Scanning dependencies of target clasp gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 77%] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/app && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/app/main.cpp [ 77%] Building CXX object clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/app && /usr/bin/c++ -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -Wno-class-memaccess -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/app/clasp_app.cpp [ 78%] Linking CXX executable ../../bin/clasp cd /builddir/build/BUILD/clingo-5.4.0/release/clasp/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../../bin/clasp ../../lib/libclasp.a -lpthread ../../lib/libpotassco.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 78%] Built target clasp [ 79%] Linking CXX static library ../lib/libgringo.a cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/cmake -P CMakeFiles/libgringo.dir/cmake_clean_target.cmake cd /builddir/build/BUILD/clingo-5.4.0/release/libgringo && /usr/bin/cmake -E cmake_link_script CMakeFiles/libgringo.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libgringo.a CMakeFiles/libgringo.dir/src/backend.cc.o CMakeFiles/libgringo.dir/src/primes.cc.o CMakeFiles/libgringo.dir/src/symbol.cc.o CMakeFiles/libgringo.dir/src/term.cc.o CMakeFiles/libgringo.dir/src/terms.cc.o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o CMakeFiles/libgringo.dir/src/ground/literals.cc.o CMakeFiles/libgringo.dir/src/ground/program.cc.o CMakeFiles/libgringo.dir/src/ground/statements.cc.o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o CMakeFiles/libgringo.dir/src/input/literal.cc.o CMakeFiles/libgringo.dir/src/input/literals.cc.o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o CMakeFiles/libgringo.dir/src/input/program.cc.o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o CMakeFiles/libgringo.dir/src/input/statement.cc.o CMakeFiles/libgringo.dir/src/input/theory.cc.o CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o CMakeFiles/libgringo.dir/src/output/literal.cc.o CMakeFiles/libgringo.dir/src/output/literals.cc.o CMakeFiles/libgringo.dir/src/output/output.cc.o CMakeFiles/libgringo.dir/src/output/statement.cc.o CMakeFiles/libgringo.dir/src/output/statements.cc.o CMakeFiles/libgringo.dir/src/output/theory.cc.o /usr/bin/ranlib ../lib/libgringo.a gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 79%] Built target libgringo /usr/bin/gmake -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libclingo /builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/libclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/libclingo.dir/depend.internal". Scanning dependencies of target libclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 80%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/ast.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/ast.cc [ 81%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o [ 82%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/clingocontrol.cc [ 82%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/clingo_app.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/clingo_app.cc [ 83%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o [ 84%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o [ 85%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/control.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/control.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/gringo_app.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/gringo_app.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/incmode.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/incmode.cc cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/src/scripts.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libclingo/src/scripts.cc [ 86%] Building CXX object libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/clasp/app -I/builddir/build/BUILD/clingo-5.4.0/libgringo -I/builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco -I/builddir/build/BUILD/clingo-5.4.0/libreify -I/builddir/build/BUILD/clingo-5.4.0/clasp -I/builddir/build/BUILD/clingo-5.4.0/release/clasp -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -Wno-class-memaccess -std=c++14 -o CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o -c /builddir/build/BUILD/clingo-5.4.0/clasp/app/clasp_app.cpp [ 87%] Linking CXX shared library ../bin/libclingo.so cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,libclingo.so.3 -o ../bin/libclingo.so.3.0 CMakeFiles/libclingo.dir/src/ast.cc.o CMakeFiles/libclingo.dir/src/clingo_app.cc.o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o CMakeFiles/libclingo.dir/src/control.cc.o CMakeFiles/libclingo.dir/src/gringo_app.cc.o CMakeFiles/libclingo.dir/src/incmode.cc.o CMakeFiles/libclingo.dir/src/scripts.cc.o CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -lpthread cd /builddir/build/BUILD/clingo-5.4.0/release/libclingo && /usr/bin/cmake -E cmake_symlink_library ../bin/libclingo.so.3.0 ../bin/libclingo.so.3 ../bin/libclingo.so gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 87%] Built target libclingo /usr/bin/gmake -f libpyclingo/CMakeFiles/libpyclingom.dir/build.make libpyclingo/CMakeFiles/libpyclingom.dir/depend /usr/bin/gmake -f libpyclingo/CMakeFiles/libpyclingo.dir/build.make libpyclingo/CMakeFiles/libpyclingo.dir/depend /usr/bin/gmake -f libluaclingo/CMakeFiles/libluaclingo.dir/build.make libluaclingo/CMakeFiles/libluaclingo.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingom.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingo.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libluaclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/libluaclingo.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingom.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingom.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingom.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/libluaclingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/libluaclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/libluaclingo.dir/depend.internal". Scanning dependencies of target libluaclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f libluaclingo/CMakeFiles/libluaclingo.dir/build.make libluaclingo/CMakeFiles/libluaclingo.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' Scanning dependencies of target libpyclingom Scanning dependencies of target libpyclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f libpyclingo/CMakeFiles/libpyclingo.dir/build.make libpyclingo/CMakeFiles/libpyclingo.dir/build /usr/bin/gmake -f libpyclingo/CMakeFiles/libpyclingom.dir/build.make libpyclingo/CMakeFiles/libpyclingom.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 88%] Building CXX object libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo && /usr/bin/c++ -DCLINGO_WITH_LUA -DLUACLINGO_BUILD_LIBRARY -Dlibluaclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libluaclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libluaclingo.dir/luaclingo.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libluaclingo/luaclingo.cc [ 88%] Building CXX object libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/c++ -DCLINGO_WITH_PYTHON -DPYCLINGO_BUILD_LIBRARY -Dlibpyclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libpyclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -isystem /usr/include/python3.8 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libpyclingo.dir/pyclingo.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc [ 89%] Building CXX object libpyclingo/CMakeFiles/libpyclingom.dir/pyclingo.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/c++ -DCLINGO_WITH_PYTHON -DPYCLINGO_BUILD_LIBRARY -DPYCLINGO_NO_VISIBILITY -I/builddir/build/BUILD/clingo-5.4.0/libpyclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -isystem /usr/include/python3.8 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libpyclingom.dir/pyclingo.cc.o -c /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc: In member function '{anonymous}::Object {anonymous}::SymbolicAtom::match({anonymous}::Reference, {anonymous}::Reference)': BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc:2032:57: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] BUILDSTDERR: 2032 | return reinterpret_cast &>(sym)->match(pyargs, pykwds); BUILDSTDERR: | ^~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc: In member function '{anonymous}::Object {anonymous}::SymbolicAtom::match({anonymous}::Reference, {anonymous}::Reference)': BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libpyclingo/pyclingo.cc:2032:57: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] BUILDSTDERR: 2032 | return reinterpret_cast &>(sym)->match(pyargs, pykwds); BUILDSTDERR: | ^~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libluaclingo/luaclingo.cc: In function 'std::vector* {anonymous}::luaToLits(lua_State*, int, const clingo_symbolic_atoms_t*, bool, bool)': BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libluaclingo/luaclingo.cc:1403:32: warning: '*((void*)& sym +8)' may be used uninitialized in this function [-Wmaybe-uninitialized] BUILDSTDERR: 1403 | symbolic_literal_t sym; BUILDSTDERR: | ^~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libluaclingo/luaclingo.cc:120:24: warning: 'sym' may be used uninitialized in this function [-Wmaybe-uninitialized] BUILDSTDERR: 120 | handle_c_error(L, f(args..., &ret)); BUILDSTDERR: | ~^~~~~~~~~~~~~~~ BUILDSTDERR: /builddir/build/BUILD/clingo-5.4.0/libluaclingo/luaclingo.cc:1403:32: note: 'sym' was declared here BUILDSTDERR: 1403 | symbolic_literal_t sym; BUILDSTDERR: | ^~~ [ 90%] Linking CXX shared library ../bin/libluaclingo.so cd /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/libluaclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,libluaclingo.so.1 -o ../bin/libluaclingo.so.1.0 CMakeFiles/libluaclingo.dir/luaclingo.cc.o -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../bin/libclingo.so.3.0 -llua-5.3 -lm cd /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo && /usr/bin/cmake -E cmake_symlink_library ../bin/libluaclingo.so.1.0 ../bin/libluaclingo.so.1 ../bin/libluaclingo.so gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 90%] Built target libluaclingo /usr/bin/gmake -f app/luaclingo/CMakeFiles/luaclingo.dir/build.make app/luaclingo/CMakeFiles/luaclingo.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/luaclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/luaclingo.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/luaclingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/luaclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/luaclingo.dir/depend.internal". Scanning dependencies of target luaclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f app/luaclingo/CMakeFiles/luaclingo.dir/build.make app/luaclingo/CMakeFiles/luaclingo.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 91%] Building CXX object app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo && /usr/bin/c++ -DCLINGO_WITH_LUA -Dluaclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libluaclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/luaclingo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.4.0/app/luaclingo/main.cc [ 92%] Linking CXX shared module ../../bin/lua/clingo.so cd /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/luaclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -o ../../bin/lua/clingo.so CMakeFiles/luaclingo.dir/main.cc.o -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../../bin/libluaclingo.so.1.0 ../../bin/libclingo.so.3.0 gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 92%] Built target luaclingo [ 93%] Linking CXX shared library ../bin/libpyclingo.so cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpyclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,libpyclingo.so.1 -o ../bin/libpyclingo.so.1.0 CMakeFiles/libpyclingo.dir/pyclingo.cc.o -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../bin/libclingo.so.3.0 -lpython3.8 [ 94%] Linking CXX static library ../lib/libpyclingom.a cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/cmake -P CMakeFiles/libpyclingom.dir/cmake_clean_target.cmake cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpyclingom.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libpyclingom.a CMakeFiles/libpyclingom.dir/pyclingo.cc.o /usr/bin/ranlib ../lib/libpyclingom.a cd /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo && /usr/bin/cmake -E cmake_symlink_library ../bin/libpyclingo.so.1.0 ../bin/libpyclingo.so.1 ../bin/libpyclingo.so gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 94%] Built target libpyclingo /usr/bin/gmake -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend /usr/bin/gmake -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/gringo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/gringo /builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/clingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/clingo /builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake --color= [ 94%] Built target libpyclingom /usr/bin/gmake -f app/pyclingo/CMakeFiles/pyclingo.dir/build.make app/pyclingo/CMakeFiles/pyclingo.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/pyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/pyclingo.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/clingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/clingo.dir/depend.internal". Scanning dependencies of target clingo Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/gringo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/gringo.dir/depend.internal". gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build Scanning dependencies of target gringo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/pyclingo.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/pyclingo.dir/depend.internal". Dependee "/builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/pyclingo.dir/depend.internal". Scanning dependencies of target pyclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/gmake -f app/pyclingo/CMakeFiles/pyclingo.dir/build.make app/pyclingo/CMakeFiles/pyclingo.dir/build [ 95%] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/app/clingo && /usr/bin/c++ -DCLINGO_WITH_LUA -DCLINGO_WITH_PYTHON -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/libpyclingo -I/builddir/build/BUILD/clingo-5.4.0/libluaclingo -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -std=c++14 -o CMakeFiles/clingo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.4.0/app/clingo/main.cc [ 96%] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/app/gringo && /usr/bin/c++ -DCLINGO_WITH_LUA -DCLINGO_WITH_PYTHON -I/builddir/build/BUILD/clingo-5.4.0/libpyclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -I/builddir/build/BUILD/clingo-5.4.0/libluaclingo -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fvisibility=hidden -std=c++14 -o CMakeFiles/gringo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.4.0/app/gringo/main.cc gmake[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 97%] Building CXX object app/pyclingo/CMakeFiles/pyclingo.dir/main.cc.o cd /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo && /usr/bin/c++ -DCLINGO_WITH_PYTHON -DPYCLINGO_NO_VISIBILITY -Dpyclingo_EXPORTS -I/builddir/build/BUILD/clingo-5.4.0/libpyclingo -I/builddir/build/BUILD/clingo-5.4.0/libclingo -isystem /usr/include/python3.8 -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/pyclingo.dir/main.cc.o -c /builddir/build/BUILD/clingo-5.4.0/app/pyclingo/main.cc [ 98%] Linking CXX shared module ../../bin/python/clingo.cpython-38-x86_64-linux-gnu.so cd /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/pyclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -o ../../bin/python/clingo.cpython-38-x86_64-linux-gnu.so CMakeFiles/pyclingo.dir/main.cc.o -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../../lib/libpyclingom.a ../../bin/libclingo.so.3.0 -lpython3.8 [ 99%] Linking CXX executable ../../bin/clingo cd /builddir/build/BUILD/clingo-5.4.0/release/app/clingo && /usr/bin/cmake -E cmake_link_script CMakeFiles/clingo.dir/link.txt --verbose=1 [100%] Linking CXX executable ../../bin/gringo cd /builddir/build/BUILD/clingo-5.4.0/release/app/gringo && /usr/bin/cmake -E cmake_link_script CMakeFiles/gringo.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/clingo.dir/main.cc.o -o ../../bin/clingo -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../../bin/libpyclingo.so.1.0 ../../bin/libluaclingo.so.1.0 ../../bin/libclingo.so.3.0 /usr/bin/c++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/gringo.dir/main.cc.o -o ../../bin/gringo -Wl,-rpath,/builddir/build/BUILD/clingo-5.4.0/release/bin: ../../bin/libpyclingo.so.1.0 ../../bin/libluaclingo.so.1.0 ../../bin/libclingo.so.3.0 gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [100%] Built target pyclingo gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' gmake[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [100%] Built target clingo [100%] Built target gringo gmake[1]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles 0 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.s9qHWJ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 + cd clingo-5.4.0 + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 'INSTALL=/usr/bin/install -p' -C release make: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/cmake -S/builddir/build/BUILD/clingo-5.4.0 -B/builddir/build/BUILD/clingo-5.4.0/release --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all make[1]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/src /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 12%] Built target libpotassco /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/libpotassco/app /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app /builddir/build/BUILD/clingo-5.4.0/release/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 14%] Built target lpconvert /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/src /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/src /builddir/build/BUILD/clingo-5.4.0/release/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'clasp/src/CMakeFiles/libclasp.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 42%] Built target libclasp /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/clasp/app /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/clasp/app /builddir/build/BUILD/clingo-5.4.0/release/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'clasp/app/CMakeFiles/clasp.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 44%] Built target clasp /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libreify /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libreify /builddir/build/BUILD/clingo-5.4.0/release/libreify/CMakeFiles/libreify.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libreify/CMakeFiles/libreify.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 46%] Built target libreify /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libgringo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libgringo /builddir/build/BUILD/clingo-5.4.0/release/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libgringo/CMakeFiles/libgringo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 77%] Built target libgringo /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libclingo /builddir/build/BUILD/clingo-5.4.0/release/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libclingo/CMakeFiles/libclingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 85%] Built target libclingo /usr/bin/make -f libpyclingo/CMakeFiles/libpyclingom.dir/build.make libpyclingo/CMakeFiles/libpyclingom.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingom.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libpyclingo/CMakeFiles/libpyclingom.dir/build.make libpyclingo/CMakeFiles/libpyclingom.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libpyclingo/CMakeFiles/libpyclingom.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 87%] Built target libpyclingom /usr/bin/make -f libpyclingo/CMakeFiles/libpyclingo.dir/build.make libpyclingo/CMakeFiles/libpyclingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo /builddir/build/BUILD/clingo-5.4.0/release/libpyclingo/CMakeFiles/libpyclingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libpyclingo/CMakeFiles/libpyclingo.dir/build.make libpyclingo/CMakeFiles/libpyclingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libpyclingo/CMakeFiles/libpyclingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 88%] Built target libpyclingo /usr/bin/make -f libluaclingo/CMakeFiles/libluaclingo.dir/build.make libluaclingo/CMakeFiles/libluaclingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/libluaclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo /builddir/build/BUILD/clingo-5.4.0/release/libluaclingo/CMakeFiles/libluaclingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f libluaclingo/CMakeFiles/libluaclingo.dir/build.make libluaclingo/CMakeFiles/libluaclingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'libluaclingo/CMakeFiles/libluaclingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 90%] Built target libluaclingo /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/reify /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/reify /builddir/build/BUILD/clingo-5.4.0/release/app/reify/CMakeFiles/reify.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'app/reify/CMakeFiles/reify.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 92%] Built target reify /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/gringo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/gringo /builddir/build/BUILD/clingo-5.4.0/release/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'app/gringo/CMakeFiles/gringo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 94%] Built target gringo /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/clingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/clingo /builddir/build/BUILD/clingo-5.4.0/release/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'app/clingo/CMakeFiles/clingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 96%] Built target clingo /usr/bin/make -f app/pyclingo/CMakeFiles/pyclingo.dir/build.make app/pyclingo/CMakeFiles/pyclingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/pyclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo /builddir/build/BUILD/clingo-5.4.0/release/app/pyclingo/CMakeFiles/pyclingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f app/pyclingo/CMakeFiles/pyclingo.dir/build.make app/pyclingo/CMakeFiles/pyclingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'app/pyclingo/CMakeFiles/pyclingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [ 98%] Built target pyclingo /usr/bin/make -f app/luaclingo/CMakeFiles/luaclingo.dir/build.make app/luaclingo/CMakeFiles/luaclingo.dir/depend make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' cd /builddir/build/BUILD/clingo-5.4.0/release && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/clingo-5.4.0 /builddir/build/BUILD/clingo-5.4.0/app/luaclingo /builddir/build/BUILD/clingo-5.4.0/release /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo /builddir/build/BUILD/clingo-5.4.0/release/app/luaclingo/CMakeFiles/luaclingo.dir/DependInfo.cmake --color= make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/make -f app/luaclingo/CMakeFiles/luaclingo.dir/build.make app/luaclingo/CMakeFiles/luaclingo.dir/build make[2]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[2]: Nothing to be done for 'app/luaclingo/CMakeFiles/luaclingo.dir/build'. make[2]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' [100%] Built target luaclingo make[1]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/clingo-5.4.0/release/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall make[1]: Entering directory '/builddir/build/BUILD/clingo-5.4.0/release' make[1]: Nothing to be done for 'preinstall'. make[1]: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/lpconvert -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clasp -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libclingo.so.3.0 -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libclingo.so.3 -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libclingo.so -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/include/clingo.hh -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/include/clingo.h -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/cmake/Clingo/ClingoTargets.cmake -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/cmake/Clingo/ClingoTargets-release.cmake -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/cmake/Clingo/ClingoConfig.cmake -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/cmake/Clingo/ClingoConfigVersion.cmake -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so.1.0 -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so.1 -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so.1.0" to "" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so.1.0 -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so.1 -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so.1.0" to "" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/reify -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/gringo -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/gringo" to "" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clingo -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clingo" to "" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/python3.8/site-packages/clingo.cpython-38-x86_64-linux-gnu.so -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/python3.8/site-packages/clingo.cpython-38-x86_64-linux-gnu.so" to "" -- Installing: /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/lua/5.3/clingo.so -- Set runtime path of "/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/lua/5.3/clingo.so" to "" make: Leaving directory '/builddir/build/BUILD/clingo-5.4.0/release' + /usr/lib/rpm/find-debuginfo.sh -j48 --strict-build-id -m -i --build-id-seed 5.4.0-1.fc32 --unique-debug-suffix -5.4.0-1.fc32.x86_64 --unique-debug-src-base clingo-5.4.0-1.fc32.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/clingo-5.4.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/lpconvert explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clasp explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libclingo.so.3.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/gringo explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clingo explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so.1.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/reify explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so.1.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/python3.8/site-packages/clingo.cpython-38-x86_64-linux-gnu.so extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clasp extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/lpconvert extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libclingo.so.3.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/lua/5.3/clingo.so extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/clingo extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/gringo extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libluaclingo.so.1.0 extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/bin/reify extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/libpyclingo.so.1.0 extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/python3.8/site-packages/clingo.cpython-38-x86_64-linux-gnu.so extracting debug info from /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/lua/5.3/clingo.so original debug info size: 154236kB, size after compression: 138208kB /usr/lib/rpm/sepdebugcrcfix: Updated 10 CRC32s, 0 CRC32s did match. BUILDSTDERR: 8370 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib64/python3.8 using /usr/bin/python3.8 Bytecompiling .py files below /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/lib/debug/usr/lib64/python3.8 using /usr/bin/python3.8 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: clingo-5.4.0-1.fc32.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.kHtFNJ + umask 022 + cd /builddir/build/BUILD + cd clingo-5.4.0 + DOCDIR=/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/doc/clingo + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/doc/clingo + cp -pr README.md /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/doc/clingo + cp -pr INSTALL.md /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/doc/clingo + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ygUM4M + umask 022 + cd /builddir/build/BUILD + cd clingo-5.4.0 + LICENSEDIR=/builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/licenses/clingo + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/licenses/clingo + cp -pr LICENSE.md /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64/usr/share/licenses/clingo + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: clingo = 5.4.0-1.fc32 clingo(x86-64) = 5.4.0-1.fc32 libclingo.so.3()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-x86-64.so.2()(64bit) ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libclingo.so.3()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libluaclingo.so.1()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libpthread.so.0(GLIBC_2.3.2)(64bit) libpyclingo.so.1()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.11)(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.9)(64bit) rtld(GNU_HASH) Processing files: clingo-devel-5.4.0-1.fc32.x86_64 Provides: clingo-devel = 5.4.0-1.fc32 clingo-devel(x86-64) = 5.4.0-1.fc32 cmake(Clingo) = 5.4.0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: cmake-filesystem(x86-64) libclingo.so.3()(64bit) libluaclingo.so.1()(64bit) libpyclingo.so.1()(64bit) Processing files: lua-clingo-5.4.0-1.fc32.x86_64 Provides: libluaclingo.so.1()(64bit) lua-clingo = 5.4.0-1.fc32 lua-clingo(x86-64) = 5.4.0-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.4)(64bit) libclingo.so.3()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) liblua-5.3.so()(64bit) libluaclingo.so.1()(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.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: python3-clingo-5.4.0-1.fc32.x86_64 Provides: libpyclingo.so.1()(64bit) python-clingo = 5.4.0-1.fc32 python3-clingo = 5.4.0-1.fc32 python3-clingo(x86-64) = 5.4.0-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.4)(64bit) libclingo.so.3()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libpython3.8.so.1.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) python(abi) = 3.8 rtld(GNU_HASH) Obsoletes: python-clingo < 5.4.0-1.fc32 Processing files: clingo-debugsource-5.4.0-1.fc32.x86_64 Provides: clingo-debugsource = 5.4.0-1.fc32 clingo-debugsource(x86-64) = 5.4.0-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: clingo-debuginfo-5.4.0-1.fc32.x86_64 Provides: clingo-debuginfo = 5.4.0-1.fc32 clingo-debuginfo(x86-64) = 5.4.0-1.fc32 debuginfo(build-id) = 21ee1815ec8cdf6a08896aa0fa2a487745a4bab5 debuginfo(build-id) = 24649f8963dcc03e0ae58ed68f1fd0f6fb8a8e22 debuginfo(build-id) = 777bb8391b19d6e1fd1eb510f383f6cadad04fa3 debuginfo(build-id) = 7a89c3ea296f4f529947b101e97bfb182c7c5503 debuginfo(build-id) = adf505390ae24cb23eb4dcfb6eda77b5e42efc98 debuginfo(build-id) = d391074d7c8ed13384c997bc88cd4af7084280dd Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: clingo-debugsource(x86-64) = 5.4.0-1.fc32 Processing files: lua-clingo-debuginfo-5.4.0-1.fc32.x86_64 Provides: debuginfo(build-id) = 982ff5b192cf109f614a8ace0dbaa45da01d288f debuginfo(build-id) = b06b4076ef3336f8f18059abdd119bfaafd56a7e lua-clingo-debuginfo = 5.4.0-1.fc32 lua-clingo-debuginfo(x86-64) = 5.4.0-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: clingo-debugsource(x86-64) = 5.4.0-1.fc32 Processing files: python3-clingo-debuginfo-5.4.0-1.fc32.x86_64 Provides: debuginfo(build-id) = 8e7576f86f89df6759d4b0f4b5db38eab4317745 debuginfo(build-id) = fc8cbd3571a057248dd6f6afdc1e6434b67d4e5e python3-clingo-debuginfo = 5.4.0-1.fc32 python3-clingo-debuginfo(x86-64) = 5.4.0-1.fc32 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: clingo-debugsource(x86-64) = 5.4.0-1.fc32 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 Wrote: /builddir/build/RPMS/lua-clingo-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/clingo-devel-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/python3-clingo-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/lua-clingo-debuginfo-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/clingo-debugsource-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/clingo-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/python3-clingo-debuginfo-5.4.0-1.fc32.x86_64.rpm Wrote: /builddir/build/RPMS/clingo-debuginfo-5.4.0-1.fc32.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.qXK9vM + umask 022 + cd /builddir/build/BUILD + cd clingo-5.4.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/clingo-5.4.0-1.fc32.x86_64 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0