Test ran at 2025-09-11 01:25:36.262086+00:00 SOLUTION: langkit_support=25.0.0: Runtime support library for Langkit-generated libraries Origin: source archive langkit-25.0.0.zip at https://github.com/adacore/langkit/archive/v25.0.0/langkit-25.0.0.zip with hash sha512:7c5f49810ebc141a0c95fead0f57bf2906194598f3ba12ed1239b3f8812ffa967add7359d8d6b9f0f1bcbb01b069a89438b59380dcc3a4b9ee1b49a31bf8f5bd Properties: Author: AdaCore Description: Runtime support library for Langkit-generated libraries License: Apache-2.0 WITH LLVM-exception Maintainer: Pierre-Marie de Rodat Maintainer: chouteau@adacore.com Maintainers_Logins: pmderodat Maintainers_Logins: Fabien-Chouteau Name: langkit_support Project_File: langkit/support/langkit_support.gpr Version: 25.0.0 Website: https://github.com/AdaCore/langkit Dependencies (direct): adasat^25 gnatcoll^25 gnatcoll_gmp^25 gnatcoll_iconv^25 prettier_ada^25 Dependencies (solution): adasat=25.0.0 gnat=15.2.1 (gnat_native) gnatcoll=25.0.0 gnatcoll_gmp=25.0.0 gnatcoll_iconv=25.0.0 libgmp=6.3.0 libgpr=25.0.0 prettier_ada=25.0.0 vss=25.0.0 xmlada=25.0.0 Dependencies (graph): gnatcoll=25.0.0 --> gnat=15.2.1 (gnat_native) (>=13) gnatcoll=25.0.0 --> libgpr=25.0.0 (~25.0.0) gnatcoll_gmp=25.0.0 --> gnatcoll=25.0.0 (~25.0.0) gnatcoll_gmp=25.0.0 --> libgmp=6.3.0 (*) gnatcoll_iconv=25.0.0 --> gnatcoll=25.0.0 (~25.0.0) langkit_support=25.0.0 --> adasat=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll_gmp=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll_iconv=25.0.0 (^25) langkit_support=25.0.0 --> prettier_ada=25.0.0 (^25) libgpr=25.0.0 --> gnat=15.2.1 (gnat_native) (/=2020) libgpr=25.0.0 --> xmlada=25.0.0 (~25.0.0) prettier_ada=25.0.0 --> gnatcoll=25.0.0 (^25) prettier_ada=25.0.0 --> vss=25.0.0 (^25) vss=25.0.0 --> gnat=15.2.1 (gnat_native) (>=11 & <2000) xmlada=25.0.0 --> gnat=15.2.1 (gnat_native) (>=11) LOG: [alr test] Testing langkit_support=25.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get langkit_support=25.0.0 Note: Deploying langkit_support=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # Note: Deploying adasat=25.0.0... #=#=# ##O#-# Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ##O#-# Note: Deploying gnatcoll_iconv=25.0.0... #=#=# ## 3.1% ######################################################################## 100.0% Note: Deploying prettier_ada=25.0.0... #=#=# ##O#-# langkit_support=25.0.0 successfully retrieved. Dependencies were solved as follows: + adasat 25.0.0 (new) +b gnat 15.2.1 (new,gnat_native,indirect,binary) + gnatcoll 25.0.0 (new) + gnatcoll_gmp 25.0.0 (new) + gnatcoll_iconv 25.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 25.0.0 (new,indirect) + prettier_ada 25.0.0 (new) + vss 25.0.0 (new,indirect) + xmlada 25.0.0 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building langkit_support=25.0.0/langkit/support/langkit_support.gpr... Setup [mkdir] object directory for project AdaSAT [mkdir] exec directory for project AdaSAT [mkdir] library directory for project AdaSAT [mkdir] object directory for project GnatColl_GMP [mkdir] library directory for project GnatColl_GMP [mkdir] object directory for project GnatColl_Iconv [mkdir] library directory for project GnatColl_Iconv [mkdir] object directory for project Prettier_Ada [mkdir] library directory for project Prettier_Ada [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support Compile [Ada] prettier_ada-documents-builders.adb [Ada] prettier_ada.ads [Ada] prettier_ada-document_vector_vectors.ads [Ada] prettier_ada-documents-implementation.adb [Ada] prettier_ada-generic_formatters.adb [Ada] prettier_ada-documents-json.adb [Ada] prettier_ada-document_vectors.ads [Ada] prettier_ada-documents.adb [Ada] prettier_ada-optionals.ads [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gnatcoll-gmp-mpz_odd_p.c [C] gnatcoll-gmp-mpz_even_p.c [C] gmp_support.c [C] gnatcoll-gmp-mpz_sign.c [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp-integers-random.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-integers-misc.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-integers-root_extraction.adb [Ada] adasat-builders.adb [Ada] adasat-internals.ads [Ada] adasat-helpers.adb [Ada] adasat-formulas.adb [Ada] adasat-decisions.adb [Ada] adasat-vectors.adb [Ada] adasat.adb [Ada] adasat-theory.ads [Ada] adasat-dpll.adb [Ada] langkit_support-types.ads [Ada] langkit_support-images.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-boxes.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-array_utils.adb [Ada] langkit_support-internal-unparsing.ads [Ada] langkit_support-adalog.ads [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support.ads [Ada] langkit_support-names-maps.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-text.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-hashes.adb [Ada] langkit_support-adalog-solver-diagnostics.adb [Ada] langkit_support-generic_api-unparsing.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support-generic_api.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-vectors.adb [Ada] langkit_support-names.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-adalog-logic_var.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-relative_get.adb [Ada] langkit_support-packrat.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-prettier_utils.adb Build Libraries [gprlib] adasat.lexch [gprlib] gnatcoll_gmp.lexch [archive] libadasat.a [gprlib] gnatcoll_iconv.lexch [gprlib] prettier_ada.lexch [archive] libgnatcoll_gmp.a [archive] libgnatcoll_iconv.a [index] libadasat.a [index] libgnatcoll_iconv.a [index] libgnatcoll_gmp.a [archive] libprettier_ada.a [index] libprettier_ada.a [gprlib] langkit_support.lexch [bind SAL] langkit_support [Ada] b__langkit_support.adb [objcopy] p__langkit_support_1.o [archive] liblangkit_support.a [index] liblangkit_support.a Success: Build finished successfully in 24.35 seconds. Found declared GPR file: langkit/support/langkit_support.gpr [alr test] Test completed SUCCESSFULLY