Test ran at 2025-07-17 13:29:03.250079+00:00 SOLUTION: libgnatformat=25.0.0: opinionated code format library for the Ada language Origin: source archive gnatformat-25.0.0.zip at https://github.com/adacore/gnatformat/archive/v25.0.0/gnatformat-25.0.0.zip with hash sha512:79117be86662d0b3db10928b147c7dd66031cf0e20e9b80ff5c63b4f294eb17328a6388008bb39d3735018e58e5c15c4a0cab7261a0f5ee161c1a2c5bac9e393 Properties: Author: AdaCore Configuration: no modifiers Description: opinionated code format library for the Ada language GPR External: GNATFORMAT_BUILD_MODE := prod License: MIT OR Apache-2.0 WITH LLVM-exception Maintainer: Fabien Chouteau Maintainers_Logins: Fabien-Chouteau Name: libgnatformat Project_File: gnat/gnatformat.gpr Tag: formatting Tag: ada Tag: lib Version: 25.0.0 Website: Dependencies (direct): adasat^25 gnatcoll^25 libadalang^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 langkit_support=25.0.0 libadalang=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) libgnatformat=25.0.0 --> adasat=25.0.0 (^25) libgnatformat=25.0.0 --> gnatcoll=25.0.0 (^25) libgnatformat=25.0.0 --> libadalang=25.0.0 (^25) libgnatformat=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) 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 libgnatformat=25.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get libgnatformat=25.0.0 Note: Deploying libgnatformat=25.0.0... #=#=# ##O#-# Note: Deploying adasat=25.0.0... Note: Deploying gnatcoll_gmp=25.0.0... #=#=# Note: Deploying gnatcoll_iconv=25.0.0... #=#=# ##O#-# Note: Deploying prettier_ada=25.0.0... #=#=# Note: Deploying langkit_support=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # Note: Deploying libgpr2=25.0.0... #=#=# ######################################################################## 100.0% Note: Deploying libadalang=25.0.0... ######################################################################## 100.0% libgnatformat=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,indirect) + gnatcoll_iconv 25.0.0 (new,indirect) + langkit_support 25.0.0 (new,indirect) + libadalang 25.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 25.0.0 (new,indirect) + libgpr2 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 libgnatformat=25.0.0/gnat/gnatformat.gpr... Setup [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 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 [mkdir] object directory for project Gnatformat [mkdir] library directory for project Gnatformat Compile [C] gpr_parser-gdb.c [Ada] gpr_parser_support-lexical_envs_impl.adb [Ada] gpr_parser-private_converters.adb [Ada] gpr_parser-generic_api.adb [Ada] gpr_parser_adasat-decisions.adb [Ada] gpr_parser_adasat.adb [Ada] gpr_parser_support-types.ads [Ada] gpr_parser_support-packrat.adb [Ada] gpr_parser_adasat-builders.adb [Ada] gpr_parser_adasat-vectors.adb [Ada] gpr_parser_support-boxes.adb [Ada] gpr_parser_support.ads [Ada] gpr_parser_support-adalog-main_support.ads [Ada] gpr_parser_support-text.adb [Ada] gpr_parser_support-symbols-precomputed.adb [Ada] gpr_parser_support-iterators.adb [Ada] gpr_parser_adasat-formulas.adb [Ada] gpr_parser_adasat-helpers.adb [Ada] gpr_parser_support-vectors.adb [Ada] gpr_parser_support-file_readers.adb [Ada] gpr_parser-parsers.adb [Ada] gpr_parser_support-adalog-solver.adb [Ada] gpr_parser_support-generic_api.adb [Ada] gpr_parser_support-adalog-debug.adb [Ada] gpr_parser_support-adalog-logic_var.adb [Ada] gpr_parser_support-array_utils.adb [Ada] gpr_parser_support-diagnostics.adb [Ada] gpr_parser_support-internal-analysis.adb [Ada] gpr_parser_support-cheap_sets.adb [Ada] gpr_parser_support-generic_api-analysis.adb [Ada] gpr_parser_support-adalog-generic_main_support.adb [Ada] gpr_parser_support-generic_bump_ptr.adb [Ada] gpr_parser-unparsing_implementation.adb [Ada] gpr_parser_adasat-internals.ads [Ada] gpr_parser-generic_impl.adb [Ada] gpr_parser-public_converters.adb [Ada] gpr_parser-lexer.adb [Ada] gpr_parser_support-internal.ads [Ada] gpr_parser_support-internal-introspection.adb [Ada] gpr_parser_support-relative_get.adb [Ada] gpr_parser_support-slocs.adb [Ada] gpr_parser-common.adb [Ada] gpr_parser_support-tree_traversal_iterator.adb [Ada] gpr_parser_support-symbols.adb [Ada] gpr_parser-debug.adb [Ada] gpr_parser_support-bump_ptr_vectors.adb [Ada] gpr_parser_support-lexical_envs.ads [Ada] gpr_parser_support-names.adb [Ada] gpr_parser_support-token_data_handlers.adb [Ada] gpr_parser_support-images.adb [Ada] gpr_parser-lexer_state_machine.adb [Ada] gpr_parser_support-hashes.adb [Ada] gpr_parser-analysis.adb [Ada] gpr_parser-lexer_implementation.adb [Ada] gpr_parser_support-adalog-solver_interface.adb [Ada] gpr_parser_support-diagnostics-output.adb [Ada] gpr_parser-generic_introspection.adb [Ada] gpr_parser_adasat-dpll.adb [Ada] gpr_parser.ads [Ada] gpr_parser_support-adalog.ads [Ada] gpr_parser-implementation.adb [Ada] gpr_parser_support-bump_ptr.ads [Ada] gpr_parser-rewriting_implementation.adb [Ada] gpr_parser-implementation-c.adb [Ada] gpr_parser-c.adb [Ada] gpr_parser_support-generic_api-introspection.adb [Ada] gpr_parser_support-internal-conversions.ads [Ada] gpr_parser_support-errors.ads [Ada] gpr_parser-iterators.adb [Ada] gpr_parser-generic_api-introspection.ads [Ada] gpr_parser_support-names-maps.adb [Ada] gpr_parser-rewriting.adb [Ada] gpr_parser-unparsing.adb [Ada] gpr_parser_support-internal-descriptor.ads [Ada] gpr_parser_adasat-theory.ads [Ada] gpr2-kb-embedded.adb [Ada] gpr2-build-view_tables.adb [Ada] gpr2-pack_internal.ads [Ada] gpr2-view_base_internal.ads [Ada] gpr2-tree_internal.adb [Ada] gpr2-project_parser-registry.adb [Ada] gpr2-project_parser.adb [Ada] gpr2-project_parser-create.adb [Ada] gpr2-tree_internal-view_builder.adb [Ada] gpr2-project_parser-set.ads [Ada] gpr2-view_internal.adb [Ada] gpr2-build-ali_parser.adb [Ada] gpr2-build-compilation_unit.adb [Ada] gpr2-build-actions-ada_bind.adb [Ada] gpr2-build-compilation_unit-maps.ads [Ada] gpr2-build-actions-link.adb [Ada] gpr2-build-source_base-ada_parser.adb [Ada] gpr2-build-unit_info.adb [Ada] gpr2-build-actions-compile-ada.adb [Ada] gpr2-build-source_base.adb [Ada] gpr2-build.ads [Ada] gpr2-build-artifacts-files.adb [Ada] gpr2-build-source.ads [Ada] gpr2-build-actions-post_bind.adb [Ada] gpr2-build-process_manager-json.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-process_manager.adb [Ada] gpr2-build-artifacts-library.ads [Ada] gpr2-build-view_db.adb [Ada] gpr2-build-actions-compile.adb [Ada] gpr2-build-artifacts.adb [Ada] gpr2-build-actions.adb [Ada] gpr2-build-signature.adb [Ada] gpr2-build-unit_info-list.adb [Ada] gpr2-build-artifacts-file_part.adb [Ada] gpr2-build-source-sets.adb [Ada] gpr2-build-tree_db.adb [Ada] gpr2-source_reference-identifier.ads [Ada] gpr2-view_ids-vector.ads [Ada] gpr2-project-import.adb [Ada] gpr2-project-registry-attribute.adb [Ada] gpr2-project-configuration.adb [Ada] gpr2-project-registry-attribute-description.adb [Ada] gpr2-kb.adb [Ada] gpr2-project-variable-set.ads [Ada] gpr2-project-tree.adb [Ada] gpr_parser-basic_ada_parser.adb [Ada] gpr2-environment.adb [Ada] gpr2-view_ids-dags.adb [Ada] gpr2-project-attr_values.adb [Ada] gpr2-project-view.adb [Ada] gpr2-project-pretty_printer.adb [Ada] gpr2-project-import-set.adb [Ada] gpr2-version.adb [Ada] gpr2-project-attribute_index.adb [Ada] gpr2-project-attribute-set.adb [Ada] gpr2-project-view-set.ads [Ada] gpr2-context.adb [Ada] gpr2-project-name_values.adb [Ada] gpr2-log.adb [Ada] gpr2-project-registry-pack.adb gpr2-project-view.adb:54:19: (style) bad casing of "View_Db" declared at gpr2-project-view.ads:359 [-gnatyr] [Ada] gpr2-utils-hash.adb [Ada] gpr2-project-attribute.adb [Ada] gpr2.adb [Ada] gpr2-source_reference-text_value-g_set.ads [Ada] gpr2-message-reporter.adb [Ada] gpr2-project-external-set.ads [Ada] gpr2-project-typ-set.ads [Ada] gpr2-kb-parsing.adb [Ada] gpr2-containers.adb [Ada] gpr2-utils.ads [Ada] gpr2-project-external.adb [Ada] gpr2-project-typ.adb [Ada] gpr2-file_readers.adb [Ada] gpr2-path_name.adb [Ada] gpr2-source_reference-value.ads [Ada] gpr2-project-registry.ads [Ada] gpr2-project-registry-pack-description.adb [Ada] gpr2-source_reference.adb [Ada] gpr2-source_reference-attribute.ads [Ada] gpr2-view_ids-set.ads [Ada] gpr2-project-variable.adb [Ada] gpr2-project-view-vector.ads [Ada] gpr2-source_reference-scalar_value.ads [Ada] gpr2-project.adb [Ada] gpr2-message.adb [Ada] gpr2-project-attribute_cache.adb [Ada] gpr2-source_reference-identifier-set.ads [Ada] gpr2-options.adb [Ada] gpr2-source_reference-pack.ads [Ada] gpr2-view_ids.adb [Ada] gpr2-builtin.adb [Ada] gpr2-project-tree-view_builder.adb [Ada] gpr2-project-registry-exchange.adb [Ada] gpr2-source_reference-text_value.adb [Ada] gpr2-path_name-set.adb [Ada] gpr2-kb-compiler_iterator.adb [Ada] adasat-theory.ads [Ada] adasat-builders.adb [Ada] adasat-vectors.adb [Ada] adasat.adb [Ada] adasat-formulas.adb [Ada] adasat-helpers.adb [Ada] adasat-decisions.adb [Ada] adasat-dpll.adb [Ada] adasat-internals.ads [Ada] langkit_support.ads [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-packrat.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support-internal.ads [Ada] langkit_support-names-maps.adb [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-types.ads [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-adalog-logic_var.adb [Ada] langkit_support-names.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-boxes.adb [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-text.adb [Ada] langkit_support-hashes.adb [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-generic_api-unparsing.adb [Ada] langkit_support-generic_api.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-relative_get.adb [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-adalog-solver-diagnostics.adb [Ada] langkit_support-internal-unparsing.ads [Ada] langkit_support-array_utils.adb [Ada] langkit_support-images.adb [Ada] prettier_ada-documents-json.adb [Ada] prettier_ada-documents-builders.adb [Ada] prettier_ada.ads [Ada] prettier_ada-documents-implementation.adb [Ada] prettier_ada-document_vectors.ads [Ada] prettier_ada-generic_formatters.adb [Ada] prettier_ada-document_vector_vectors.ads [Ada] prettier_ada-documents.adb [Ada] prettier_ada-optionals.ads [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gnatcoll-gmp-mpz_even_p.c [C] gnatcoll-gmp-mpz_odd_p.c [C] gmp_support.c [C] gnatcoll-gmp-mpz_sign.c [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers-random.adb [Ada] gnatcoll-gmp-integers-misc.adb [Ada] gnatcoll-gmp-integers-root_extraction.adb [C] libadalang-gdb.c [Ada] libadalang-implementation-extensions.adb [Ada] libadalang-debug.adb [Ada] libadalang-env_hooks.adb [Ada] libadalang-pp_impl.adb [Ada] libadalang-lexer_state_machine.adb [Ada] libadalang-analysis.adb [Ada] libadalang-rewriting.adb [Ada] libadalang-implementation-c-extensions.adb [Ada] libadalang-expr_eval.adb [Ada] libadalang.ads [Ada] libadalang-generic_api.adb [Ada] libadalang-implementation-c.adb [Ada] libadalang-c.adb [Ada] libadalang-public_converters.adb [Ada] libadalang-semantic_diagnostics.adb [Ada] libadalang-sources.adb [Ada] libadalang-project_provider.adb [Ada] libadalang-preprocessing.adb [Ada] libadalang-config_pragmas_impl.adb [Ada] libadalang-gpr_impl.adb [Ada] libadalang-pp_lexer.adb [Ada] libadalang-iterators.adb [Ada] libadalang-generic_api-introspection.ads [Ada] libadalang-parsers.adb [Ada] libadalang-private_converters.adb [Ada] libadalang-gpr_utils.adb [Ada] libadalang-doc_utils.adb [Ada] libadalang-lexer_implementation.adb [Ada] libadalang-rewriting_implementation.adb [Ada] libadalang-iterators-extensions.adb [Ada] libadalang-auto_provider.adb [Ada] libadalang-helpers.adb [Ada] libadalang-implementation.adb [Ada] libadalang-data_decomposition.adb [Ada] libadalang-config_pragmas.adb [Ada] libadalang-lexer.adb [Ada] libadalang-unit_files.adb [Ada] libadalang-unparsing.adb [Ada] libadalang-internal_default_provider.adb [Ada] libadalang-common.adb [Ada] gnatformat.ads [Ada] gnatformat-configuration.adb [Ada] gnatformat-formatting.adb [Ada] gnatformat-utils.ads [Ada] langkit_support-prettier_utils.adb [Ada] libadalang-generic_impl.adb [Ada] libadalang-parsers_impl.adb [Ada] libadalang-unparsing_implementation.adb [Ada] libadalang-generic_introspection.adb [Ada] libadalang-unparsers.ads Build Libraries [gprlib] gnatcoll_gmp.lexch [gprlib] gnatcoll_iconv.lexch [gprlib] prettier_ada.lexch [gprlib] adasat.lexch [archive] libgnatcoll_gmp.a [archive] libgnatcoll_iconv.a [archive] libprettier_ada.a [index] libgnatcoll_iconv.a [index] libgnatcoll_gmp.a [archive] libadasat.a [index] libadasat.a [index] libprettier_ada.a [gprlib] langkit_support.lexch [gprlib] gpr2.lexch [bind SAL] langkit_support [archive] libgpr2.a [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 [gprlib] gnatformat.lexch [bind SAL] adalang [Ada] b__adalang.adb [objcopy] p__adalang_0.o [archive] libadalang.a [index] libadalang.a [archive] libgnatformat.a [index] libgnatformat.a Success: Build finished successfully in 465.84 seconds. Found declared GPR file: gnat/gnatformat.gpr [alr test] Test completed SUCCESSFULLY