>>> clasp: Building community/clasp 3.3.10-r0 (using abuild 3.12.0-r3) started Thu, 08 Feb 2024 06:15:31 +0000 >>> clasp: Checking sanity of /home/buildozer/aports/community/clasp/APKBUILD... >>> clasp: Analyzing dependencies... >>> clasp: Installing for build: build-base cmake samurai (1/8) Installing libbz2 (1.0.8-r6) (2/8) Installing xz-libs (5.4.6-r0) (3/8) Installing libarchive (3.7.2-r0) (4/8) Installing rhash-libs (1.4.4-r0) (5/8) Installing libuv (1.47.0-r0) (6/8) Installing cmake (3.28.3-r0) (7/8) Installing samurai (1.2-r5) (8/8) Installing .makedepends-clasp (20240208.061532) Executing busybox-1.36.1-r19.trigger OK: 313 MiB in 110 packages >>> clasp: Cleaning up srcdir >>> clasp: Cleaning up pkgdir >>> clasp: Cleaning up tmpdir >>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/edge/clasp-3.3.10-source.tar.gz >>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/edge/clasp-3.3.10-source.tar.gz >>> clasp: Checking sha512sums... clasp-3.3.10-source.tar.gz: OK >>> clasp: Unpacking /var/cache/distfiles/clasp-3.3.10-source.tar.gz... CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The CXX compiler identification is GNU 13.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 13.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy CMake Deprecation Warning at libpotassco/CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done (0.4s) -- Generating done (0.0s) -- Build files have been written to: /home/buildozer/aports/community/clasp/src/clasp-3.3.10/build [1/67] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o [2/67] Building CXX object tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o [3/67] Building CXX object tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o [4/67] Building CXX object tests/CMakeFiles/test_clasp.dir/test_main.cpp.o [5/67] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o [6/67] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o [7/67] Building CXX object tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o [8/67] Building CXX object tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o [9/67] Building CXX object tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o [10/67] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o [11/67] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o [12/67] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o [13/67] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o [14/67] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o [15/67] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o [16/67] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o [17/67] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o [18/67] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o [19/67] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o [20/67] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o [21/67] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o [22/67] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o [23/67] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o [24/67] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o [25/67] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o [26/67] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o [27/67] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o [28/67] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o [29/67] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o [30/67] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o [31/67] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o [32/67] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o [33/67] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o [34/67] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [35/67] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o [36/67] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o [37/67] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o [38/67] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o [39/67] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o [40/67] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o [41/67] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o [42/67] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o [43/67] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o [44/67] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o [45/67] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o [46/67] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o [47/67] Building CXX object src/CMakeFiles/libclasp.dir/clasp_app.cpp.o [48/67] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o [49/67] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o [50/67] Building CXX object libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o [51/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o [52/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o [53/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o [54/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o [55/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [56/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o [57/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o [58/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o [59/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [60/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [61/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o [62/67] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp: In function 'void Clasp::ClaspStatistics::Impl::destroyIfWritable(std::unordered_set::iterator)': /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp:154:14: note: parameter passing for argument of type 'std::unordered_set::iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::iterator'} changed in GCC 7.1 154 | void destroyIfWritable(KeySet::iterator it) { | ^~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/unordered_map.h:33, from /usr/include/c++/13.2.1/unordered_map:41, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp:29: /usr/include/c++/13.2.1/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/13.2.1/bits/hashtable.h:2301:5: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 2301 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2302 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_set<_Value, _Hash, _Pred, _Alloc>::iterator std::unordered_set<_Value, _Hash, _Pred, _Alloc>::erase(iterator) [with _Value = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator]' at /usr/include/c++/13.2.1/bits/unordered_set.h:536:26, inlined from 'bool Clasp::ClaspStatistics::Impl::remove(const Clasp::StatisticObject&)' at /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp:190:18, inlined from 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)' at /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp:318:26: /usr/include/c++/13.2.1/bits/hashtable.h:980:21: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 980 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/bits/unordered_map.h:33, from /usr/include/c++/13.2.1/unordered_map:41, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/clasp/program_builder.h:36, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/clasp/clasp_facade.h:31, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/clasp/clingo.h:31, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/clingo.cpp:24: /usr/include/c++/13.2.1/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/13.2.1/bits/hashtable.h:2301:5: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 2301 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2302 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::iterator std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::erase(iterator) [with _Key = int; _Tp = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator >]' at /usr/include/c++/13.2.1/bits/unordered_map.h:753:26, inlined from 'void Clasp::ClingoPropagatorInit::History::add(const Clasp::ClingoPropagatorInit::Change&)' at /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/clingo.cpp:420:10: /usr/include/c++/13.2.1/bits/hashtable.h:980:21: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Insert_base, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 980 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [63/67] Linking CXX static library lib/libpotassco.a [64/67] Linking CXX executable bin/lpconvert [65/67] Linking CXX static library lib/libclasp.a [66/67] Linking CXX executable bin/clasp In file included from /usr/include/c++/13.2.1/vector:72, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/tests/catch.hpp:566, from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/tests/test_main.cpp:25: /usr/include/c++/13.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/13.2.1/bits/vector.tcc:445:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 445 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/13.2.1/vector:66: In member function 'void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]', inlined from 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)' at /home/buildozer/aports/community/clasp/src/clasp-3.3.10/tests/catch.hpp:12877:39: /usr/include/c++/13.2.1/bits/stl_vector.h:1289:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1289 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [67/67] Linking CXX executable bin/test_clasp ninja: entering directory 'build' [1/1] Running tests... Test project /home/buildozer/aports/community/clasp/src/clasp-3.3.10/build Start 1: test_clasp 1/1 Test #1: test_clasp ....................... Passed 0.07 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.07 sec >>> clasp: Entering fakeroot... -- Install configuration: "MinSizeRel" -- Installing: /home/buildozer/aports/community/clasp/pkg/clasp/usr/bin/lpconvert -- Installing: /home/buildozer/aports/community/clasp/pkg/clasp/usr/bin/clasp >>> clasp*: Running postcheck for clasp >>> clasp*: Preparing package clasp... >>> clasp*: Stripping binaries >>> clasp*: Scanning shared objects >>> clasp*: Tracing dependencies... so:libc.musl-armv7.so.1 so:libgcc_s.so.1 so:libstdc++.so.6 >>> clasp*: Package size: 1.1 MB >>> clasp*: Compressing data... >>> clasp*: Create checksum... >>> clasp*: Create clasp-3.3.10-r0.apk >>> clasp: Build complete at Thu, 08 Feb 2024 06:15:56 +0000 elapsed time 0h 0m 25s >>> clasp: Cleaning up srcdir >>> clasp: Cleaning up pkgdir >>> clasp: Uninstalling dependencies... (1/8) Purging .makedepends-clasp (20240208.061532) (2/8) Purging cmake (3.28.3-r0) (3/8) Purging samurai (1.2-r5) (4/8) Purging libarchive (3.7.2-r0) (5/8) Purging libbz2 (1.0.8-r6) (6/8) Purging libuv (1.47.0-r0) (7/8) Purging rhash-libs (1.4.4-r0) (8/8) Purging xz-libs (5.4.6-r0) Executing busybox-1.36.1-r19.trigger OK: 270 MiB in 102 packages >>> clasp: Updating the community/armv7 repository index... >>> clasp: Signing the index...