Test ran at 2025-08-02 12:46:31.708308+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.1.2 (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.1.2 (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.1.2 (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.1.2 (gnat_native) (>=11 & <2000) xmlada=25.0.0 --> gnat=15.1.2 (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#- # # Note: Deploying adasat=25.0.0... #=#=# ##O#-# ##O=# # #=#=-# # #=#=-# # Note: Deploying vss=25.0.0... #=#=# ##O#-# ##O=# # 0.7% ### 5.0% ########### 16.3% ################################## 47.5% ######################################################################## 100.0% Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ##O#-# ##O=# # ## 3.1% ################ 22.9% ##################################### 52.7% ######################################################################## 100.0% Note: Deploying gnatcoll_iconv=25.0.0... #=#=# ##O#-# ##O=# # ## 3.1% ################ 23.2% ##################################################### 74.5% ######################################################################## 100.0% Note: Deploying prettier_ada=25.0.0... #=#=# ##O#-# ##O=# # ########## 14.1% ######################################################################## 100.0% langkit_support=25.0.0 successfully retrieved. Dependencies were solved as follows: + adasat 25.0.0 (new) +b gnat 15.1.2 (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 VSS_GNAT [mkdir] library directory for project VSS_GNAT [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] a-suvsau.adb [Ada] a-szuvau.adb [Ada] vss-implementation-ucd_core.ads [Ada] vss-implementation-ucd_normalization_utf8.ads [Ada] vss-implementation-ucd_casing_utf8.ads [Ada] vss-implementation-ucd_normalization_common.ads [Ada] vss-string_vectors-internals.adb [Ada] vss-implementation-text_handlers-utf8-dynamic.adb [Ada] vss-strings-cursors-iterators-characters.adb [Ada] vss-strings-templates.adb [Ada] vss-strings-converters-decoders-eucjp.adb [Ada] vss-characters.adb [Ada] vss-strings-cursors-internals.adb [Ada] vss-strings-formatters-strings.adb [Ada] vss-strings-converters-decoders-gb18030-indices.ads [Ada] vss-implementation-fnv_hash.adb [Ada] vss-implementation-ucd_casing.adb [Ada] vss-implementation-line_iterators.adb [Ada] vss-implementation-strings.adb [Ada] vss-strings-converters-encoders.adb [Ada] vss-locales.adb [Ada] vss-strings-formatters-generic_integers.adb [Ada] vss-strings-cursors-markers-internals.adb [Ada] vss-strings-converters-decoders-gb18030.adb [Ada] vss-strings-converters-decoders-utf8.adb [Ada] vss-strings-converters-decoders-iso88592.adb [Ada] vss-strings-cursors-iterators-words.adb [Ada] vss-strings-converters-decoders-iso88591.adb [Ada] vss-strings-converters-decoders-iso88595.adb [Ada] vss-strings-converters-decoders-iso885915.adb [Ada] vss-implementation.ads [Ada] vss-implementation-utf8_normalization.adb [Ada] vss-strings-formatters-generic_modulars.adb [Ada] vss-strings-converters-encoders-utf8.adb [Ada] vss-strings-converters-decoders-iso88596.adb [Ada] vss-strings-converters-decoders-iso88597.adb [Ada] vss-implementation-utf8_casing.adb [Ada] vss-strings-utilities.adb [Ada] vss-strings-converters-decoders-gb18030-ranges.ads [Ada] vss-strings-formatters-generic_enumerations.adb [Ada] vss-strings-converters-decoders-iso88599.adb [Ada] vss-transformers-normalization.adb [Ada] vss-implementation-utf8_encoding.adb [Ada] vss-strings-converters-decoders-eucjp-jis0212.ads [Ada] vss-strings-converters-decoders-iso88598.adb [Ada] vss-strings-cursors-iterators-grapheme_clusters.adb [Ada] vss-strings-converters.adb [Ada] vss-strings-converters-decoders.adb [Ada] vss-strings-hash.adb [Ada] vss-string_vectors.adb [Ada] vss-strings.adb [Ada] vss-transformers-caseless.adb [Ada] vss-strings-cursors-markers.adb [Ada] vss-strings-cursors-iterators-lines.adb [Ada] vss-implementation-character_codes.ads [Ada] vss-strings-converters-decoders-koi8r.adb [Ada] vss-transformers-casing.adb [Ada] vss-strings-converters-decoders-index_jis0208.ads [Ada] vss-strings-cursors.adb [Ada] vss-implementation-text_handlers-utf8-static.adb [Ada] vss-strings-converters-decoders-shiftjis.adb [Ada] vss-implementation-text_handlers-nul.adb [Ada] vss-strings-conversions.adb [Ada] vss-implementation-text_handlers-utf8.adb [Ada] vss-implementation-referrers.adb [Ada] vss-strings-internals.adb [Ada] vss-implementation-text_handlers.adb [Ada] vss-implementation-string_vectors.adb [Ada] vss-strings-formatters.ads [Ada] vss-characters-specials.ads [Ada] vss-characters-latin.ads [Ada] vss-strings-cursors-iterators.ads [Ada] vss-characters-punctuations.ads [Ada] vss-strings-grapheme_cluster_iterators.ads [Ada] vss-strings-markers.ads [Ada] vss-strings-formatters-booleans.ads [Ada] vss-unicode.ads [Ada] vss-strings-word_iterators.ads [Ada] vss.ads [Ada] vss-strings-formatters-integers.ads [Ada] vss-strings-character_iterators.ads [Ada] vss-strings-line_iterators.ads [Ada] vss-transformers.ads [Ada] vss-text_streams-file_output.adb [Ada] vss-text_streams-file_input.adb [Ada] vss-implementation-line_terminator.adb [Ada] vss-stream_element_vectors-internals.adb [Ada] vss-text_streams-memory_utf8_output.adb [Ada] vss-text_streams-memory_utf8_input.adb [Ada] vss-text_streams-standards.adb [Ada] vss-stream_element_vectors.adb [Ada] vss-stream_element_vectors-conversions.adb [Ada] vss-text_streams.ads [Ada] vss-environments.adb [Ada] vss-application.adb [Ada] vss-command_line-parsers.adb [Ada] vss-command_line.adb [Ada] vss-implementation-gcc.ads [Ada] vss-implementation-environment_utilities__posix.adb [Ada] vss-standard_paths__posix.adb [Ada] prettier_ada-generic_formatters.adb [Ada] prettier_ada-documents-builders.adb [Ada] prettier_ada-document_vectors.ads [Ada] prettier_ada-optionals.ads [Ada] prettier_ada-documents-implementation.adb [Ada] prettier_ada.ads [Ada] prettier_ada-documents-json.adb [Ada] prettier_ada-documents.adb [Ada] prettier_ada-document_vector_vectors.ads [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gnatcoll-gmp-mpz_odd_p.c [C] gnatcoll-gmp-mpz_even_p.c [C] gnatcoll-gmp-mpz_sign.c [C] gmp_support.c [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-integers-misc.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] gnatcoll-gmp-integers-root_extraction.adb [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers-random.adb [Ada] adasat-internals.ads [Ada] adasat-builders.adb [Ada] adasat.adb [Ada] adasat-vectors.adb [Ada] adasat-helpers.adb [Ada] adasat-theory.ads [Ada] adasat-formulas.adb [Ada] adasat-decisions.adb [Ada] adasat-dpll.adb [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-text.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-images.adb [Ada] langkit_support-generic_api-unparsing.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-hashes.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-boxes.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-names.adb [Ada] langkit_support-adalog-solver-diagnostics.adb [Ada] langkit_support-types.ads [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-relative_get.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-packrat.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-generic_api.adb [Ada] langkit_support-internal-unparsing.ads [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-names-maps.adb [Ada] langkit_support-array_utils.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-adalog-logic_var.adb [Ada] langkit_support-prettier_utils.adb Build Libraries [gprlib] adasat.lexch [gprlib] gnatcoll_gmp.lexch [gprlib] gnatcoll_iconv.lexch [gprlib] vss-gnat.lexch [archive] libgnatcoll_iconv.a [archive] libgnatcoll_gmp.a [archive] libadasat.a [index] libgnatcoll_iconv.a [index] libgnatcoll_gmp.a [index] libadasat.a [gprlib] vss.lexch [archive] libvss-gnat.a [index] libvss-gnat.a [gprlib] prettier_ada.lexch [archive] libvss.a [index] libvss.a [archive] libprettier_ada.a [gprlib] langkit_support.lexch [index] libprettier_ada.a [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 28.26 seconds. Found declared GPR file: langkit/support/langkit_support.gpr [alr test] Test completed SUCCESSFULLY