>>> clasp: Building community/clasp 3.3.10-r0 (using abuild 3.13.0-r3) started Sat, 27 Apr 2024 22:40:49 +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.6.1-r3) (3/8) Installing libarchive (3.7.3-r0) (4/8) Installing rhash-libs (1.4.4-r0) (5/8) Installing libuv (1.48.0-r0) (6/8) Installing cmake (3.29.2-r1) (7/8) Installing samurai (1.2-r5) (8/8) Installing .makedepends-clasp (20240427.224052) Executing busybox-1.36.1-r26.trigger OK: 528 MiB in 115 packages >>> clasp: Cleaning up srcdir >>> clasp: Cleaning up pkgdir >>> clasp: Cleaning up tmpdir >>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/clasp-3.3.10-source.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) wget: server returned error: HTTP/1.1 404 Not Found >>> clasp: Fetching https://github.com/potassco/clasp/releases/download/v3.3.10/clasp-3.3.10-source.tar.gz Connecting to github.com (140.82.121.4:443) Connecting to objects.githubusercontent.com (185.199.109.133:443) saving to '/var/cache/distfiles/clasp-3.3.10-source.tar.gz.part' clasp-3.3.10-source. 15% |**** | 142k 0:00:05 ETA clasp-3.3.10-source. 100% |********************************| 917k 0:00:00 ETA '/var/cache/distfiles/clasp-3.3.10-source.tar.gz.part' saved >>> clasp: Fetching https://distfiles.alpinelinux.org/distfiles/v3.20/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.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 [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 [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.06 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.06 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-aarch64.so.1 so:libgcc_s.so.1 so:libstdc++.so.6 >>> clasp*: Package size: 1.6 MB >>> clasp*: Compressing data... >>> clasp*: Create checksum... >>> clasp*: Create clasp-3.3.10-r0.apk >>> clasp: Build complete at Sat, 27 Apr 2024 22:41:19 +0000 elapsed time 0h 0m 30s >>> clasp: Cleaning up srcdir >>> clasp: Cleaning up pkgdir >>> clasp: Uninstalling dependencies... (1/8) Purging .makedepends-clasp (20240427.224052) (2/8) Purging cmake (3.29.2-r1) (3/8) Purging samurai (1.2-r5) (4/8) Purging libarchive (3.7.3-r0) (5/8) Purging libbz2 (1.0.8-r6) (6/8) Purging libuv (1.48.0-r0) (7/8) Purging rhash-libs (1.4.4-r0) (8/8) Purging xz-libs (5.6.1-r3) Executing busybox-1.36.1-r26.trigger OK: 473 MiB in 107 packages >>> clasp: Updating the community/aarch64 repository index... >>> clasp: Signing the index...