Test ran at 2025-07-25 01:06:31.305830+00:00 SOLUTION: libadalang=25.0.0: Ada semantic analysis library Origin: source archive libadalang-25.0.0.tar.gz at https://github.com/AdaCore/libadalang/releases/download/v25.0.0/libadalang-25.0.0.tar.gz with hash sha512:0303cb0f7e7dd13d86c7439d510033780f2e68ae134b885182643345f9a7a77c36179ec5aca7be9a8545b7d9db0a87e90930329e11ff8f9407f37e10e04b2009 Properties: Author: AdaCore Description: Ada semantic analysis library License: Apache-2.0 WITH LLVM-exception Maintainer: Pierre-Marie de Rodat Maintainer: chouteau@adacore.com Maintainers_Logins: pmderodat Maintainers_Logins: Fabien-Chouteau Name: libadalang Tag: libadalang Tag: static-analysis Version: 25.0.0 Website: https://github.com/AdaCore/libadalang Dependencies (direct): gnatcoll^25 gnatcoll_gmp^25 gnatcoll_iconv^25 langkit_support^25 libgpr2^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 langkit_support=25.0.0 libgmp=6.3.0 libgpr=25.0.0 libgpr2=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) libadalang=25.0.0 --> gnatcoll=25.0.0 (^25) libadalang=25.0.0 --> gnatcoll_gmp=25.0.0 (^25) libadalang=25.0.0 --> gnatcoll_iconv=25.0.0 (^25) libadalang=25.0.0 --> langkit_support=25.0.0 (^25) libadalang=25.0.0 --> libgpr2=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) libgpr2=25.0.0 --> gnat=15.1.2 (gnat_native) (>=14) libgpr2=25.0.0 --> gnatcoll=25.0.0 (~25.0.0) libgpr2=25.0.0 --> gnatcoll_gmp=25.0.0 (~25.0.0) libgpr2=25.0.0 --> gnatcoll_iconv=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 libadalang=25.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get libadalang=25.0.0 Note: Deploying libadalang=25.0.0... #=#=# ######################### 35.5% ######################################################################## 100.0% Note: Deploying adasat=25.0.0... #=#=# ##O#-# Note: Deploying vss=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ##O#-# Note: Deploying prettier_ada=25.0.0... #=#=# ########## 14.1% ######################################################################## 100.0% Note: Deploying langkit_support=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # Note: Deploying libgpr2=25.0.0... #=#=# ######### 13.8% ######################################################## 78.5% ######################################################################## 100.0% libadalang=25.0.0 successfully retrieved. Dependencies were solved as follows: + adasat 25.0.0 (new,indirect) +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) + langkit_support 25.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 25.0.0 (new,indirect) + libgpr2 25.0.0 (new) + prettier_ada 25.0.0 (new,indirect) + 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 libadalang=25.0.0/libadalang.gpr... Setup [mkdir] object directory for project GnatColl_GMP [mkdir] library directory for project GnatColl_GMP [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 AdaSAT [mkdir] exec directory for project AdaSAT [mkdir] library directory for project AdaSAT [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support [mkdir] object directory for project GPR2 [mkdir] library directory for project GPR2 [mkdir] object directory for project Libadalang [mkdir] library directory for project Libadalang Compile [C] gpr_parser-gdb.c [Ada] gpr_parser_support-bump_ptr_vectors.adb [Ada] gpr_parser-generic_introspection.adb [Ada] gpr_parser_support-packrat.adb [Ada] gpr_parser_support-relative_get.adb [Ada] gpr_parser_support-adalog-solver.adb [Ada] gpr_parser_support.ads [Ada] gpr_parser_support-diagnostics.adb [Ada] gpr_parser_support-file_readers.adb [Ada] gpr_parser_adasat-internals.ads [Ada] gpr_parser-private_converters.adb [Ada] gpr_parser_support-internal.ads [Ada] gpr_parser_support-generic_api-analysis.adb [Ada] gpr_parser-public_converters.adb [Ada] gpr_parser_support-bump_ptr.ads [Ada] gpr_parser_adasat-builders.adb [Ada] gpr_parser_support-internal-descriptor.ads [Ada] gpr_parser_support-adalog.ads [Ada] gpr_parser-rewriting_implementation.adb [Ada] gpr_parser_support-lexical_envs_impl.adb [Ada] gpr_parser-lexer.adb [Ada] gpr_parser_support-cheap_sets.adb [Ada] gpr_parser_support-types.ads [Ada] gpr_parser_support-adalog-solver_interface.adb [Ada] gpr_parser_support-adalog-debug.adb [Ada] gpr_parser_support-names.adb [Ada] gpr_parser_support-symbols-precomputed.adb [Ada] gpr_parser_support-boxes.adb [Ada] gpr_parser-common.adb [Ada] gpr_parser_support-vectors.adb [Ada] gpr_parser_support-internal-conversions.ads [Ada] gpr_parser_support-names-maps.adb [Ada] gpr_parser_support-lexical_envs.ads [Ada] gpr_parser_support-adalog-main_support.ads [Ada] gpr_parser-debug.adb [Ada] gpr_parser-c.adb [Ada] gpr_parser-lexer_implementation.adb [Ada] gpr_parser_support-internal-introspection.adb [Ada] gpr_parser-implementation.adb [Ada] gpr_parser_support-generic_api.adb [Ada] gpr_parser-generic_api-introspection.ads [Ada] gpr_parser-implementation-c.adb [Ada] gpr_parser-generic_api.adb [Ada] gpr_parser-unparsing.adb [Ada] gpr_parser-analysis.adb [Ada] gpr_parser-lexer_state_machine.adb [Ada] gpr_parser-unparsing_implementation.adb [Ada] gpr_parser.ads [Ada] gpr_parser_support-generic_bump_ptr.adb [Ada] gpr_parser_support-text.adb [Ada] gpr_parser-parsers.adb [Ada] gpr_parser_support-array_utils.adb [Ada] gpr_parser_support-errors.ads [Ada] gpr_parser_support-slocs.adb [Ada] gpr_parser_support-iterators.adb [Ada] gpr_parser_support-tree_traversal_iterator.adb [Ada] gpr_parser_adasat-theory.ads [Ada] gpr_parser_adasat-vectors.adb [Ada] gpr_parser_adasat-dpll.adb [Ada] gpr_parser_support-adalog-logic_var.adb [Ada] gpr_parser_adasat-formulas.adb [Ada] gpr_parser_adasat-decisions.adb [Ada] gpr_parser_support-images.adb [Ada] gpr_parser-generic_impl.adb [Ada] gpr_parser_support-symbols.adb [Ada] gpr_parser_support-hashes.adb [Ada] gpr_parser_support-generic_api-introspection.adb [Ada] gpr_parser_support-diagnostics-output.adb [Ada] gpr_parser_adasat.adb [Ada] gpr_parser_support-adalog-generic_main_support.adb [Ada] gpr_parser-iterators.adb [Ada] gpr_parser-rewriting.adb [Ada] gpr_parser_support-internal-analysis.adb [Ada] gpr_parser_support-token_data_handlers.adb [Ada] gpr_parser_adasat-helpers.adb [Ada] gpr2-kb-embedded.adb [Ada] gpr2-pack_internal.ads [Ada] gpr2-project_parser-create.adb [Ada] gpr2-project_parser-registry.adb [Ada] gpr2-view_base_internal.ads [Ada] gpr2-project_parser-set.ads [Ada] gpr2-tree_internal.adb [Ada] gpr2-view_internal.adb [Ada] gpr2-tree_internal-view_builder.adb [Ada] gpr2-build-view_tables.adb [Ada] gpr2-project_parser.adb [Ada] gpr2-build.ads [Ada] gpr2-build-source_base.adb gpr2-build-source_base.adb:88:49: warning: reference to obsolescent entity "To_Unix_Time" declared at a-calcon.ads:130 [-gnatwj] gpr2-build-source_base.adb:88:49: warning: This function may be removed in a future version [-gnatwj] gpr2-build-source_base.adb:88:49: warning: call to obsolescent function "To_Unix_Time" declared at a-calcon.ads:130 [-gnatwj] gpr2-build-source_base.adb:88:49: warning: This function may be removed in a future version [-gnatwj] gpr2-build-source_base.adb:91:25: warning: call to obsolescent function "To_Ada_Time" declared at a-calcon.ads:39 [-gnatwj] gpr2-build-source_base.adb:91:25: warning: This function may be removed in a future version [-gnatwj] [Ada] gpr2-build-actions-post_bind.adb [Ada] gpr2-build-source-sets.adb [Ada] gpr2-build-compilation_unit.adb [Ada] gpr2-build-actions-compile.adb [Ada] gpr2-build-actions-compile-ada.adb [Ada] gpr2-build-process_manager.adb [Ada] gpr2-build-tree_db.adb [Ada] gpr2-build-compilation_unit-maps.ads [Ada] gpr2-build-view_db.adb [Ada] gpr2-build-artifacts.adb [Ada] gpr2-build-source_base-ada_parser.adb [Ada] gpr2-build-artifacts-library.ads [Ada] gpr2-build-signature.adb [Ada] gpr2-build-actions-ada_bind.adb [Ada] gpr2-build-process_manager-json.adb [Ada] gpr2-build-actions.adb [Ada] gpr2-build-source.ads [Ada] gpr2-build-ali_parser.adb [Ada] gpr2-build-artifacts-file_part.adb [Ada] gpr2-build-unit_info-list.adb [Ada] gpr2-build-unit_info.adb [Ada] gpr2-build-actions-link.adb [Ada] gpr2-build-artifacts-files.adb [Ada] gpr2-project-tree-view_builder.adb [Ada] gpr_parser-basic_ada_parser.adb [Ada] gpr2-source_reference.adb [Ada] gpr2-kb-compiler_iterator.adb [Ada] gpr2-project-variable.adb [Ada] gpr2-view_ids-dags.adb [Ada] gpr2-path_name.adb [Ada] gpr2-project-pretty_printer.adb [Ada] gpr2-project-name_values.adb [Ada] gpr2-message-reporter.adb [Ada] gpr2-project-external.adb [Ada] gpr2-utils-hash.adb [Ada] gpr2-project-attribute_index.adb [Ada] gpr2-message.adb [Ada] gpr2-project-attr_values.adb [Ada] gpr2-source_reference-attribute.ads [Ada] gpr2-project-typ-set.ads [Ada] gpr2-project-view-vector.ads [Ada] gpr2-source_reference-identifier.ads [Ada] gpr2-project-attribute.adb [Ada] gpr2-project-attribute_cache.adb [Ada] gpr2-project-import-set.adb [Ada] gpr2-project.adb [Ada] gpr2-project-registry-exchange.adb [Ada] gpr2-view_ids-set.ads [Ada] gpr2-project-registry-pack-description.adb [Ada] gpr2-view_ids-vector.ads [Ada] gpr2-project-view.adb [Ada] gpr2-project-tree.adb [Ada] gpr2-context.adb [Ada] gpr2-project-registry-attribute.adb [Ada] gpr2-version.adb [Ada] gpr2-project-registry-pack.adb [Ada] gpr2-options.adb [Ada] gpr2-source_reference-scalar_value.ads [Ada] gpr2-containers.adb gpr2-project-view.adb:54:19: (style) bad casing of "View_Db" declared at gpr2-project-view.ads:359 [-gnatyr] [Ada] gpr2-project-view-set.ads [Ada] gpr2-environment.adb [Ada] gpr2-source_reference-text_value.adb [Ada] gpr2-project-configuration.adb [Ada] gpr2-kb.adb [Ada] gpr2-project-external-set.ads [Ada] gpr2.adb [Ada] gpr2-source_reference-text_value-g_set.ads [Ada] gpr2-project-registry.ads [Ada] gpr2-project-variable-set.ads [Ada] gpr2-source_reference-pack.ads [Ada] gpr2-project-attribute-set.adb [Ada] gpr2-log.adb [Ada] gpr2-source_reference-value.ads [Ada] gpr2-builtin.adb [Ada] gpr2-project-typ.adb [Ada] gpr2-project-import.adb [Ada] gpr2-kb-parsing.adb [Ada] gpr2-path_name-set.adb [Ada] gpr2-view_ids.adb [Ada] gpr2-utils.ads [Ada] gpr2-project-registry-attribute-description.adb [Ada] gpr2-file_readers.adb [Ada] gpr2-source_reference-identifier-set.ads [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] 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] 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 [C] libadalang-gdb.c [Ada] libadalang-c.adb [Ada] libadalang-lexer.adb [Ada] libadalang-implementation.adb [Ada] libadalang-unit_files.adb [Ada] libadalang-lexer_implementation.adb [Ada] libadalang.ads [Ada] libadalang-generic_api-introspection.ads [Ada] libadalang-env_hooks.adb [Ada] libadalang-private_converters.adb [Ada] libadalang-iterators.adb [Ada] libadalang-rewriting.adb [Ada] libadalang-internal_default_provider.adb [Ada] libadalang-config_pragmas.adb [Ada] libadalang-helpers.adb [Ada] libadalang-auto_provider.adb [Ada] libadalang-expr_eval.adb [Ada] libadalang-parsers.adb [Ada] libadalang-generic_api.adb [Ada] libadalang-unparsing.adb [Ada] libadalang-pp_lexer.adb [Ada] libadalang-pp_impl.adb [Ada] libadalang-implementation-c-extensions.adb [Ada] libadalang-gpr_utils.adb [Ada] libadalang-analysis.adb [Ada] libadalang-public_converters.adb [Ada] libadalang-config_pragmas_impl.adb [Ada] libadalang-implementation-c.adb [Ada] libadalang-implementation-extensions.adb [Ada] libadalang-lexer_state_machine.adb [Ada] libadalang-gpr_impl.adb [Ada] libadalang-iterators-extensions.adb [Ada] libadalang-project_provider.adb [Ada] libadalang-semantic_diagnostics.adb [Ada] libadalang-common.adb [Ada] libadalang-sources.adb [Ada] libadalang-debug.adb [Ada] libadalang-data_decomposition.adb [Ada] libadalang-rewriting_implementation.adb [Ada] libadalang-preprocessing.adb [Ada] libadalang-doc_utils.adb [Ada] langkit_support-prettier_utils.adb [Ada] libadalang-parsers_impl.adb [Ada] libadalang-generic_impl.adb [Ada] libadalang-unparsing_implementation.adb [Ada] libadalang-generic_introspection.adb [Ada] libadalang-unparsers.ads Build Libraries [gprlib] gnatcoll_gmp.lexch [gprlib] vss-gnat.lexch [gprlib] vss.lexch [archive] libgnatcoll_gmp.a [archive] libvss-gnat.a [index] libvss-gnat.a [index] libgnatcoll_gmp.a [gprlib] prettier_ada.lexch [archive] libvss.a [index] libvss.a [gprlib] adasat.lexch [archive] libprettier_ada.a [archive] libadasat.a [index] libadasat.a [index] libprettier_ada.a [gprlib] langkit_support.lexch [gprlib] gpr2.lexch [archive] libgpr2.a [bind SAL] langkit_support [Ada] b__langkit_support.adb [gprlib] adalang.lexch [objcopy] p__langkit_support_1.o [archive] liblangkit_support.a [index] liblangkit_support.a [index] libgpr2.a [bind SAL] adalang [Ada] b__adalang.adb [objcopy] p__adalang_0.o [archive] libadalang.a [index] libadalang.a Success: Build finished successfully in 431.54 seconds. Found declared GPR file: libadalang.gpr [alr test] Test completed SUCCESSFULLY