------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/re2c-0.14.3.txz Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.52.txz ===== Message from ca_root_nss-3.52: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1g,1.txz Installing /packages/All/curl-7.70.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.37.0.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/rhash-1.3.9.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/cmake-3.17.2.txz SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.0 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.0 for building => SHA256 Checksum OK for potassco-clingo-v5.4.0_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-c183473_GH0.tar.gz. SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.0 for building ===> Extracting for clingo-5.4.0 => SHA256 Checksum OK for potassco-clingo-v5.4.0_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-c183473_GH0.tar.gz. Extracted Memory Use: 18.80M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for clingo-5.4.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on executable: re2c - found ===> clingo-5.4.0 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on executable: re2c - found ===> clingo-5.4.0 depends on file: /usr/local/bin/cmake - found ===> Configuring for clingo-5.4.0 ===> Performing out-of-source build /bin/mkdir -p /construction/math/clingo/.build -- The C compiler identification is GNU 8.3.0 -- The CXX compiler identification is GNU 8.3.0 -- 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 -- Could NOT find Python (missing: Python_EXECUTABLE Interpreter) -- Could NOT find BISON (missing: BISON_EXECUTABLE) (Required is at least version "2.5") -- Found RE2C: /usr/local/bin/re2c (found suitable version "0.14.3", minimum required is "0.13") -- Looking for pthread.h -- Looking for pthread.h - 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 CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /construction/math/clingo/.build SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for clingo-5.4.0 /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.0 -B/construction/math/clingo/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles /construction/math/clingo/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/all --- /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/src /construction/math/clingo/.build/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake Scanning dependencies of target libpotassco /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 5%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- [ 6%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/aspif.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/clingo.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/match_basic_types.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- [ 5%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 7%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/aspif_text.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/program_options.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 9%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/rule_utils.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/string_convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/application.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 10%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/smodels.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 11%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/theory_data.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 12%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/value_store.cpp --- lib/libpotassco.a --- [ 13%] Linking CXX static library ../../../lib/libpotassco.a cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/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 [ 13%] Built target libpotassco --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/all --- --- libreify/CMakeFiles/libreify.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend --- clasp/src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend --- libreify/CMakeFiles/libreify.dir/all --- /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/app /construction/math/clingo/.build/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/src /construction/math/clingo/.build/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake --- libreify/CMakeFiles/libreify.dir/all --- --- libreify/CMakeFiles/libreify.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libreify /construction/math/clingo/.build /construction/math/clingo/.build/libreify /construction/math/clingo/.build/libreify/CMakeFiles/libreify.dir/DependInfo.cmake --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- Scanning dependencies of target lpconvert /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build --- libreify/CMakeFiles/libreify.dir/all --- Scanning dependencies of target libreify --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- --- libreify/CMakeFiles/libreify.dir/all --- /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build --- libreify/CMakeFiles/libreify.dir/src/program.cc.o --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- [ 14%] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=gnu++11 -o CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/app/lpconvert.cpp --- libreify/CMakeFiles/libreify.dir/all --- [ 15%] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o cd /construction/math/clingo/.build/libreify && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libreify.dir/src/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libreify/src/program.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- Scanning dependencies of target libclasp /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_output.cpp --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clingo.cpp --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- [ 19%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/cb_enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 20%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_facade.cpp --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 23%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clause.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_options.cpp --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/asp_preprocessor.cpp --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 24%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/dependency_graph.cpp --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 25%] Linking CXX executable ../../../bin/lpconvert cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/lpconvert.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o ../../../bin/lpconvert ../../../lib/libpotassco.a [ 26%] Built target lpconvert --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 27%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 28%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/heuristics.cpp --- clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 29%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/logic_program.cpp --- libreify/CMakeFiles/libreify.dir/all --- --- lib/libreify.a --- [ 30%] Linking CXX static library ../lib/libreify.a cd /construction/math/clingo/.build/libreify && /usr/local/bin/cmake -P CMakeFiles/libreify.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/libreify && /usr/local/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 [ 30%] Built target libreify --- libgringo/CMakeFiles/libgringo.dir/all --- /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend --- libgringo/src/input/groundtermlexer.hh --- [ 31%] [RE2C][groundtermlexer] Building lexer with re2c 0.14.3 cd /construction/math/clingo/.build/libgringo && /usr/local/bin/re2c -o /construction/math/clingo/.build/libgringo//src/input/groundtermlexer.hh /construction/math/clingo/clingo-5.4.0/libgringo//src/input/groundtermlexer.xh --- libgringo/src/input/nongroundlexer.hh --- [ 31%] [RE2C][nongroundlexer] Building lexer with re2c 0.14.3 cd /construction/math/clingo/.build/libgringo && /usr/local/bin/re2c -c -o /construction/math/clingo/.build/libgringo//src/input/nongroundlexer.hh /construction/math/clingo/clingo-5.4.0/libgringo//src/input/nongroundlexer.xch --- libgringo/CMakeFiles/libgringo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libgringo /construction/math/clingo/.build /construction/math/clingo/.build/libgringo /construction/math/clingo/.build/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- [ 32%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/logic_program_types.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- Scanning dependencies of target libgringo /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build --- libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o --- [ 33%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/backend.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/backend.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 34%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/lookahead.cpp --- clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 35%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/minimize_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 36%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/model_enumerators.cpp --- clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 37%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/parser.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o --- [ 38%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/primes.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/primes.cc --- libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o --- [ 39%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/symbol.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/symbol.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 40%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/program_builder.cpp --- clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 41%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/satelite.cpp --- clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 42%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/shared_context.cpp --- clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 43%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solve_algorithms.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o --- [ 44%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- [ 45%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver_strategies.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 46%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 47%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/statistics.cpp --- clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o --- --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- [ 48%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- clasp/src/CMakeFiles/libclasp.dir/all --- [ 49%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o --- libgringo/CMakeFiles/libgringo.dir/all --- cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/term.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/term.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/timer.cpp --- clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- [ 50%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/unfounded_check.cpp --- clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 51%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/weight_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 52%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/parallel_solve.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- [ 53%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/terms.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/terms.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/instantiation.cc --- app/reify/CMakeFiles/reify.dir/all --- /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend --- app/reify/CMakeFiles/reify.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake Scanning dependencies of target reify /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build --- app/reify/CMakeFiles/reify.dir/main.cc.o --- [ 55%] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o cd /construction/math/clingo/.build/app/reify && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/reify.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/reify/main.cc --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- [ 56%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/program.cc --- app/reify/CMakeFiles/reify.dir/all --- --- bin/reify --- [ 58%] Linking CXX executable ../../bin/reify cd /construction/math/clingo/.build/app/reify && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/reify.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/reify.dir/main.cc.o -o ../../bin/reify ../../lib/libreify.a ../../lib/libpotassco.a [ 59%] Built target reify --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- [ 60%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/statements.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o --- [ 61%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/aggregate.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- [ 62%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/aggregates.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o --- [ 63%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literal.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/literal.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o --- [ 64%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/literals.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- lib/libclasp.a --- [ 65%] Linking CXX static library ../../lib/libclasp.a cd /construction/math/clingo/.build/clasp/src && /usr/local/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/clasp/src && /usr/local/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 [ 65%] Built target libclasp --- clasp/app/CMakeFiles/clasp.dir/all --- /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend --- clasp/app/CMakeFiles/clasp.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/app /construction/math/clingo/.build/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake Scanning dependencies of target clasp /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build --- clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- [ 65%] Building CXX object clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /construction/math/clingo/.build/clasp/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/clasp_app.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o --- [ 66%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/program.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o --- [ 67%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/programbuilder.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o --- [ 68%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/statement.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/statement.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- clasp/app/CMakeFiles/clasp.dir/main.cpp.o --- [ 69%] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o cd /construction/math/clingo/.build/clasp/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/main.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o --- [ 70%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/theory.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/theory.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- bin/clasp --- [ 71%] Linking CXX executable ../../bin/clasp cd /construction/math/clingo/.build/clasp/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../../bin/clasp ../../lib/libclasp.a -pthread ../../lib/libpotassco.a [ 72%] Built target clasp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o --- [ 73%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -c /construction/math/clingo/.build/libgringo/src/input/groundtermgrammar/grammar.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o --- [ 74%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -c /construction/math/clingo/.build/libgringo/src/input/nongroundgrammar/grammar.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o --- [ 75%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/aggregates.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o --- [ 76%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literal.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/literal.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o --- [ 77%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o --- [ 78%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/output.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/output.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o --- [ 79%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statement.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o --- [ 80%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statements.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o --- [ 81%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/theory.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/theory.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o --- [ 82%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/groundtermparser.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o --- [ 83%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/nongroundparser.cc --- lib/libgringo.a --- [ 84%] Linking CXX static library ../lib/libgringo.a cd /construction/math/clingo/.build/libgringo && /usr/local/bin/cmake -P CMakeFiles/libgringo.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/libgringo && /usr/local/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 [ 84%] Built target libgringo --- libclingo/CMakeFiles/libclingo.dir/all --- /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend --- libclingo/CMakeFiles/libclingo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libclingo /construction/math/clingo/.build /construction/math/clingo/.build/libclingo /construction/math/clingo/.build/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake Scanning dependencies of target libclingo /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build --- libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- [ 85%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- [ 86%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/scripts.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/scripts.cc --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/clingocontrol.cc --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- [ 87%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/gringo_app.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/gringo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o --- [ 88%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/ast.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/ast.cc --- libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- [ 89%] Building CXX object libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/clasp_app.cpp --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- [ 90%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/control.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/control.cc --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- [ 91%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/clingo_app.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/clingo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- [ 92%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/incmode.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/incmode.cc --- bin/libclingo.so.3.0 --- [ 93%] Linking CXX shared library ../bin/libclingo.so cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclingo.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -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 -pthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library ../bin/libclingo.so.3.0 ../bin/libclingo.so.3 ../bin/libclingo.so [ 94%] Built target libclingo --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/all --- /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend --- app/clingo/CMakeFiles/clingo.dir/all --- /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/gringo /construction/math/clingo/.build /construction/math/clingo/.build/app/gringo /construction/math/clingo/.build/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/clingo /construction/math/clingo/.build /construction/math/clingo/.build/app/clingo /construction/math/clingo/.build/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake --- app/gringo/CMakeFiles/gringo.dir/all --- Scanning dependencies of target gringo --- app/clingo/CMakeFiles/clingo.dir/all --- Scanning dependencies of target clingo --- app/gringo/CMakeFiles/gringo.dir/all --- /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build --- app/clingo/CMakeFiles/clingo.dir/all --- /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/main.cc.o --- --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/main.cc.o --- --- app/gringo/CMakeFiles/gringo.dir/all --- [ 95%] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o --- app/clingo/CMakeFiles/clingo.dir/all --- [ 96%] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o --- app/gringo/CMakeFiles/gringo.dir/all --- cd /construction/math/clingo/.build/app/gringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/gringo.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/gringo/main.cc --- app/clingo/CMakeFiles/clingo.dir/all --- cd /construction/math/clingo/.build/app/clingo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/clingo.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/clingo/main.cc --- app/gringo/CMakeFiles/gringo.dir/all --- --- bin/gringo --- [ 97%] Linking CXX executable ../../bin/gringo cd /construction/math/clingo/.build/app/gringo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gringo.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/gringo.dir/main.cc.o -o ../../bin/gringo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.3.0 [ 98%] Built target gringo --- app/clingo/CMakeFiles/clingo.dir/all --- --- bin/clingo --- [ 99%] Linking CXX executable ../../bin/clingo cd /construction/math/clingo/.build/app/clingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clingo.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clingo.dir/main.cc.o -o ../../bin/clingo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.3.0 [100%] Built target clingo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 SUCCEEDED 00:03:26 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for clingo-5.4.0 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.0 -B/construction/math/clingo/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles /construction/math/clingo/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/src /construction/math/clingo/.build/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build [ 13%] Built target libpotassco /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/app /construction/math/clingo/.build/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build [ 16%] Built target lpconvert /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/src /construction/math/clingo/.build/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build [ 46%] Built target libclasp /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/clasp/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/app /construction/math/clingo/.build/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build [ 49%] Built target clasp /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libreify /construction/math/clingo/.build /construction/math/clingo/.build/libreify /construction/math/clingo/.build/libreify/CMakeFiles/libreify.dir/DependInfo.cmake /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build [ 51%] Built target libreify /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libgringo /construction/math/clingo/.build /construction/math/clingo/.build/libgringo /construction/math/clingo/.build/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build [ 81%] Built target libgringo /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libclingo /construction/math/clingo/.build /construction/math/clingo/.build/libclingo /construction/math/clingo/.build/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build [ 91%] Built target libclingo /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build [ 94%] Built target reify /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/gringo /construction/math/clingo/.build /construction/math/clingo/.build/app/gringo /construction/math/clingo/.build/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build [ 97%] Built target gringo /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/app/clingo /construction/math/clingo/.build /construction/math/clingo/.build/app/clingo /construction/math/clingo/.build/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build [100%] Built target clingo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/lpconvert cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/lpconvert.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o CMakeFiles/CMakeRelink.dir/lpconvert -Wl,-z,origin,-rpath,/usr/local/lib ../../../lib/libpotassco.a /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/clasp cd /construction/math/clingo/.build/clasp/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/clasp -Wl,-z,origin,-rpath,/usr/local/lib ../../lib/libclasp.a -pthread ../../lib/libpotassco.a /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libclingo.so cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclingo.dir/relink.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libclingo.so.3 -o CMakeFiles/CMakeRelink.dir/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 -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -pthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libclingo.so.3.0 CMakeFiles/CMakeRelink.dir/libclingo.so.3 CMakeFiles/CMakeRelink.dir/libclingo.so /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/reify cd /construction/math/clingo/.build/app/reify && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/reify.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/reify.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/reify -Wl,-z,origin,-rpath,/usr/local/lib ../../lib/libreify.a ../../lib/libpotassco.a /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gringo cd /construction/math/clingo/.build/app/gringo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gringo.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/gringo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/gringo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.3.0 /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/clingo cd /construction/math/clingo/.build/app/clingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clingo.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clingo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/clingo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.3.0 Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/clingo/stage/usr/local/bin/lpconvert -- Installing: /construction/math/clingo/stage/usr/local/bin/clasp -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so.3.0 -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so.3 -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so -- Installing: /construction/math/clingo/stage/usr/local/include/clingo.hh -- Installing: /construction/math/clingo/stage/usr/local/include/clingo.h -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoTargets.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoTargets-release.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoConfig.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoConfigVersion.cmake -- Installing: /construction/math/clingo/stage/usr/local/bin/reify -- Installing: /construction/math/clingo/stage/usr/local/bin/gringo -- Installing: /construction/math/clingo/stage/usr/local/bin/clingo ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for clingo-5.4.0 file sizes/checksums [14]: 0% file sizes/checksums [14]: 100% packing files [14]: 0% packing files [14]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:14 TOTAL TIME 00:03:55