------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/libnghttp2-1.41.0.txz Installing /packages/All/ca_root_nss-3.56.txz ===== Message from ca_root_nss-3.56: -- 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.72.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/libuv-1.39.0.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.21.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.3,1.txz Installing /packages/All/ncurses-6.2.20200831.txz Installing /packages/All/cmake-3.18.2.txz SUCCEEDED 00:00:09 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building => SHA256 Checksum OK for potassco-clasp-v3.3.5_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-6e31cff_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building ===> Extracting for clasp-3.3.5 => SHA256 Checksum OK for potassco-clasp-v3.3.5_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-6e31cff_GH0.tar.gz. Extracted Memory Use: 3.81M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for clasp-3.3.5 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/bin/cmake - found ===> Configuring for clasp-3.3.5 ===> Performing out-of-source build /bin/mkdir -p /construction/math/clasp/.build -- The CXX compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 8.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- 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 CMAKE_SHARED_LINKER_FLAGS -- Build files have been written to: /construction/math/clasp/.build SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for clasp-3.3.5 /usr/local/bin/cmake -S/construction/math/clasp/clasp-3.3.5 -B/construction/math/clasp/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clasp/.build/CMakeFiles /construction/math/clasp/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- libpotassco/src/CMakeFiles/libpotassco.dir/all --- /usr/bin/make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend --- libpotassco/src/CMakeFiles/libpotassco.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/libpotassco/src /construction/math/clasp/.build /construction/math/clasp/.build/libpotassco/src /construction/math/clasp/.build/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake Scanning dependencies of target libpotassco /usr/bin/make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/aspif_text.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- [ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/match_basic_types.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/application.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/rule_utils.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/program_options.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/smodels.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 16%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/convert.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/aspif.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 18%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/clingo.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- [ 20%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/string_convert.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 22%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/theory_data.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 24%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/value_store.cpp --- lib/libpotassco.a --- [ 26%] Linking CXX static library ../../lib/libpotassco.a cd /construction/math/clasp/.build/libpotassco/src && /usr/local/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /construction/math/clasp/.build/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 [ 26%] Built target libpotassco --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- src/CMakeFiles/libclasp.dir/all --- --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f libpotassco/app/CMakeFiles/lpconvert.dir/build.make libpotassco/app/CMakeFiles/lpconvert.dir/depend --- src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- libpotassco/app/CMakeFiles/lpconvert.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/libpotassco/app /construction/math/clasp/.build /construction/math/clasp/.build/libpotassco/app /construction/math/clasp/.build/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/src /construction/math/clasp/.build /construction/math/clasp/.build/src /construction/math/clasp/.build/src/CMakeFiles/libclasp.dir/DependInfo.cmake --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- Scanning dependencies of target lpconvert /usr/bin/make -f libpotassco/app/CMakeFiles/lpconvert.dir/build.make libpotassco/app/CMakeFiles/lpconvert.dir/build --- libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- [ 28%] Building CXX object libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /construction/math/clasp/.build/libpotassco/app && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -std=gnu++11 -o CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/app/lpconvert.cpp --- src/CMakeFiles/libclasp.dir/all --- Scanning dependencies of target libclasp /usr/bin/make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- --- src/CMakeFiles/libclasp.dir/clause.cpp.o --- --- src/CMakeFiles/libclasp.dir/clingo.cpp.o --- --- src/CMakeFiles/libclasp.dir/constraint.cpp.o --- --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 32%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- [ 32%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- src/CMakeFiles/libclasp.dir/clause.cpp.o --- [ 38%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/asp_preprocessor.cpp --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/cb_enumerator.cpp --- src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_options.cpp --- src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_output.cpp --- src/CMakeFiles/libclasp.dir/clause.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clause.cpp --- src/CMakeFiles/libclasp.dir/constraint.cpp.o --- [ 40%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/constraint.cpp --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 42%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 44%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_facade.cpp --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/dependency_graph.cpp --- src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 46%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clingo.cpp --- src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/enumerator.cpp --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 50%] Linking CXX executable ../../bin/lpconvert cd /construction/math/clasp/.build/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 [ 52%] Built target lpconvert --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- --- src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- --- src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/heuristics.cpp --- src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 56%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/logic_program.cpp --- src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- [ 58%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/logic_program_types.cpp --- src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 60%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/lookahead.cpp --- src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 62%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/minimize_constraint.cpp --- src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 64%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/model_enumerators.cpp --- src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 66%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/parser.cpp --- src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 68%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/program_builder.cpp --- src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 70%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/satelite.cpp --- src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 72%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/shared_context.cpp --- src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 74%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solve_algorithms.cpp --- src/CMakeFiles/libclasp.dir/solver.cpp.o --- [ 76%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver.cpp --- src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- [ 78%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver_strategies.cpp --- src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 80%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver_types.cpp --- src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 82%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/statistics.cpp --- src/CMakeFiles/libclasp.dir/timer.cpp.o --- [ 84%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/timer.cpp --- src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- [ 86%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/unfounded_check.cpp --- src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 88%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/weight_constraint.cpp --- src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 90%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /construction/math/clasp/.build/src && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/parallel_solve.cpp --- lib/libclasp.a --- [ 92%] Linking CXX static library ../lib/libclasp.a cd /construction/math/clasp/.build/src && /usr/local/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /construction/math/clasp/.build/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 [ 92%] Built target libclasp --- app/CMakeFiles/clasp.dir/all --- /usr/bin/make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend --- app/CMakeFiles/clasp.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/app /construction/math/clasp/.build /construction/math/clasp/.build/app /construction/math/clasp/.build/app/CMakeFiles/clasp.dir/DependInfo.cmake Scanning dependencies of target clasp /usr/bin/make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build --- app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- --- app/CMakeFiles/clasp.dir/main.cpp.o --- [ 94%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o cd /construction/math/clasp/.build/app && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /construction/math/clasp/clasp-3.3.5/app/main.cpp --- app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- [ 96%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /construction/math/clasp/.build/app && /usr/bin/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /construction/math/clasp/clasp-3.3.5/app/clasp_app.cpp --- bin/clasp --- [ 98%] Linking CXX executable ../bin/clasp cd /construction/math/clasp/.build/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 [100%] Built target clasp /usr/local/bin/cmake -E cmake_progress_start /construction/math/clasp/.build/CMakeFiles 0 SUCCEEDED 00:01:03 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for clasp-3.3.5 ===> Generating temporary packing list install -s -m 555 /construction/math/clasp/.build/bin/clasp /construction/math/clasp/stage/usr/local/bin/clasp ====> 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:00 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for clasp-3.3.5 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% packing files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:01:19