>>> clasp: Building community/clasp 3.3.10-r0 (using abuild 3.14.1-r1) started Thu, 31 Oct 2024 20:27:29 +0000
>>> clasp: Validating /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.6.3-r0)
(3/8) Installing libarchive (3.7.7-r0)
(4/8) Installing rhash-libs (1.4.5-r0)
(5/8) Installing libuv (1.49.2-r0)
(6/8) Installing cmake (3.30.5-r0)
(7/8) Installing samurai (1.2-r6)
(8/8) Installing .makedepends-clasp (20241031.202730)
Executing busybox-1.37.0-r3.trigger
OK: 305 MiB in 109 packages
>>> clasp: Cleaning up srcdir
>>> clasp: Cleaning up pkgdir
>>> clasp: Cleaning up tmpdir
>>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/v3.21/clasp-3.3.10-source.tar.gz
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
saving to '/var/cache/distfiles/v3.21/clasp-3.3.10-source.tar.gz.part'
clasp-3.3.10-source. 100% |********************************|  917k  0:00:00 ETA
'/var/cache/distfiles/v3.21/clasp-3.3.10-source.tar.gz.part' saved
>>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/v3.21/clasp-3.3.10-source.tar.gz
>>> clasp: Checking sha512sums...
clasp-3.3.10-source.tar.gz: OK
>>> clasp: Unpacking /var/cache/distfiles/v3.21/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 <min> value or use a ...<max> suffix to tell
  CMake that the project does not need compatibility with older versions.


-- The CXX compiler identification is GNU 14.2.0
-- 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 14.2.0
-- 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 <min> value or use a ...<max> 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.5s)
-- 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<long long unsigned int>::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<long long unsigned int>::iterator' {aka 'std::__detail::_Insert_base<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::iterator'} changed in GCC 7.1
  154 |         void destroyIfWritable(KeySet::iterator it) {
      |              ^~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.0/bits/unordered_map.h:33,
                 from /usr/include/c++/14.2.0/unordered_map:41,
                 from /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/statistics.cpp:29:
/usr/include/c++/14.2.0/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<long long unsigned int>; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to<long long unsigned int>; _Hash = std::hash<long long unsigned int>; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, true, true>]':
/usr/include/c++/14.2.0/bits/hashtable.h:2376:5: note: parameter passing for argument of type 'std::_Hashtable<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator' {aka 'std::__detail::_Insert_base<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator'} changed in GCC 7.1
 2376 |     _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal,
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 2377 |                _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<long long unsigned int>; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to<long long unsigned int>; _Hash = std::hash<long long unsigned int>; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, true, true>]',
    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<long long unsigned int>; _Pred = std::equal_to<long long unsigned int>; _Alloc = std::allocator<long long unsigned int>]' at /usr/include/c++/14.2.0/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++/14.2.0/bits/hashtable.h:1020:21: note: parameter passing for argument of type 'std::_Hashtable<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator' {aka 'std::__detail::_Insert_base<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator'} changed in GCC 7.1
 1020 |       { return erase(const_iterator(__it)); }
      |                ~~~~~^~~~~~~~~~~~~~~~~~~~~~
[63/67] Linking CXX static library lib/libpotassco.a
[64/67] Linking CXX executable bin/lpconvert
In file included from /usr/include/c++/14.2.0/bits/unordered_map.h:33,
                 from /usr/include/c++/14.2.0/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++/14.2.0/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<const int, long long unsigned int>; _Alloc = std::allocator<std::pair<const int, long long unsigned int> >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to<int>; _Hash = std::hash<int>; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, false, true>]':
/usr/include/c++/14.2.0/bits/hashtable.h:2376:5: note: parameter passing for argument of type 'std::_Hashtable<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator' {aka 'std::__detail::_Insert_base<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator'} changed in GCC 7.1
 2376 |     _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal,
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 2377 |                _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<const int, long long unsigned int>; _Alloc = std::allocator<std::pair<const int, long long unsigned int> >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to<int>; _Hash = std::hash<int>; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, false, true>]',
    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<int>; _Pred = std::equal_to<int>; _Alloc = std::allocator<std::pair<const int, long long unsigned int> >]' at /usr/include/c++/14.2.0/bits/unordered_map.h:754: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,
    inlined from 'virtual void Clasp::ClingoPropagatorInit::unfreeze(Clasp::SharedContext&)' at /home/buildozer/aports/community/clasp/src/clasp-3.3.10/src/clingo.cpp:452:17:
/usr/include/c++/14.2.0/bits/hashtable.h:1020:21: note: parameter passing for argument of type 'std::_Hashtable<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator' {aka 'std::__detail::_Insert_base<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator'} changed in GCC 7.1
 1020 |       { return erase(const_iterator(__it)); }
      |                ~~~~~^~~~~~~~~~~~~~~~~~~~~~
[65/67] Linking CXX static library lib/libclasp.a
[66/67] Linking CXX executable bin/clasp
[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, 31 Oct 2024 20:27:50 +0000 elapsed time 0h 0m 21s
>>> clasp: Cleaning up srcdir
>>> clasp: Cleaning up pkgdir
>>> clasp: Uninstalling dependencies...
(1/8) Purging .makedepends-clasp (20241031.202730)
(2/8) Purging cmake (3.30.5-r0)
(3/8) Purging samurai (1.2-r6)
(4/8) Purging libarchive (3.7.7-r0)
(5/8) Purging libbz2 (1.0.8-r6)
(6/8) Purging libuv (1.49.2-r0)
(7/8) Purging rhash-libs (1.4.5-r0)
(8/8) Purging xz-libs (5.6.3-r0)
Executing busybox-1.37.0-r3.trigger
OK: 271 MiB in 101 packages
>>> clasp: Updating the community/armv7 repository index...
>>> clasp: Signing the index...