Test ran at 2025-09-08 01:15:24.596035+00:00 SOLUTION: liblal_refactor=25.0.0: Source code refactoring library for the Ada language Origin: source archive lal_refactor-25.0.0.zip at https://github.com/AdaCore/lal-refactor/archive/v25.0.0/lal_refactor-25.0.0.zip with hash sha512:1524150884606dc996be5b2f8754fe492a33d7ee9c4d66a9b89ac4741987800d1fb84f3dbe80cab5e778be6caa23f8d270e796e063520844dd2b9545546fc86b Properties: Author: AdaCore Configuration: no modifiers Description: Source code refactoring library for the Ada language GPR External: LAL_REFACTOR_BUILD_MODE := prod License: Apache-2.0 WITH LLVM-exception Maintainer: Fabien Chouteau Maintainers_Logins: chouteau Name: liblal_refactor Project_File: gnat/lal_refactor.gpr Tag: refactoring Version: 25.0.0 Website: https://github.com/AdaCore/lal-refactor Dependencies (direct): libadalang_tools^25 vss^25 Dependencies (solution): adasat=25.0.0 gnat=14.2.0 (gnat_external) gnatcoll=25.0.0 gnatcoll_gmp=25.0.0 gnatcoll_iconv=25.0.0 langkit_support=25.0.0 libadalang=25.0.0 libadalang_tools=25.0.0 libgmp=6.3.0 libgpr=25.0.0 libgpr2=25.0.0 prettier_ada=25.0.0 templates_parser=25.0.0 vss=25.0.0 xmlada=25.0.0 Dependencies (graph): gnatcoll=25.0.0 --> gnat=14.2.0 (gnat_external) (>=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) libadalang_tools=25.0.0 --> libadalang=25.0.0 (^25.0.0) libadalang_tools=25.0.0 --> templates_parser=25.0.0 (^25.0.0) libadalang_tools=25.0.0 --> vss=25.0.0 (^25.0.0) libgpr=25.0.0 --> gnat=14.2.0 (gnat_external) (/=2020) libgpr=25.0.0 --> xmlada=25.0.0 (~25.0.0) libgpr2=25.0.0 --> gnat=14.2.0 (gnat_external) (>=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) liblal_refactor=25.0.0 --> libadalang_tools=25.0.0 (^25) liblal_refactor=25.0.0 --> vss=25.0.0 (^25) prettier_ada=25.0.0 --> gnatcoll=25.0.0 (^25) prettier_ada=25.0.0 --> vss=25.0.0 (^25) templates_parser=25.0.0 --> xmlada=25.0.0 (~25.0.0) vss=25.0.0 --> gnat=14.2.0 (gnat_external) (>=11 & <2000) xmlada=25.0.0 --> gnat=14.2.0 (gnat_external) (>=11) LOG: [alr test] Testing liblal_refactor=25.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get liblal_refactor=25.0.0 Note: Deploying liblal_refactor=25.0.0... #=#=# ##O#-# Note: Deploying adasat=25.0.0... #=#=# Note: Deploying libgmp=6.3.0... The system package 'libgmp-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes debconf: unable to initialize frontend: Dialog debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.) debconf: falling back to frontend: Readline debconf: unable to initialize frontend: Readline debconf: (This frontend requires a controlling tty.) debconf: falling back to frontend: Teletype debconf: unable to initialize frontend: Teletype debconf: (This frontend requires a controlling tty.) debconf: falling back to frontend: Noninteractive Selecting previously unselected package libgmpxx4ldbl:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 25914 files and directories currently installed.) Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... Processing triggers for libc-bin (2.41-12) ... Note: Deploying vss=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # Note: Deploying xmlada=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying libgpr=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying templates_parser=25.0.0... #=#=# ##O#-# Note: Deploying gnatcoll=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # # #=O=# # Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ##O#-# Note: Deploying gnatcoll_iconv=25.0.0... #=#=# Note: Deploying prettier_ada=25.0.0... #=#=# ##O#-# 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% Note: Deploying libadalang_tools=25.0.0... #=#=# ##O#-# ##=O#- # liblal_refactor=25.0.0 successfully retrieved. Dependencies were solved as follows: + adasat 25.0.0 (new,indirect) +b gnat 14.2.0 (new,gnat_external,indirect,executable in path) + gnatcoll 25.0.0 (new,indirect) + 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,indirect) + libadalang_tools 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,indirect) + templates_parser 25.0.0 (new,indirect) + vss 25.0.0 (new) + xmlada 25.0.0 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Alire has selected automatically this toolchain: gprbuild=25.0.1 gnat_native=15.1.2 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=25.0.1... 0.0% ###################### 31.1% ########################################### 60.0% ################################################### 71.8% ######################################################################## 100.0% Note: gprbuild=25.0.1 installed successfully. Note: Deploying gnat_native=15.1.2... #=#=# 0.5% ### 5.2% ####### 9.7% ########## 15.0% ############ 17.0% ############# 18.9% ################## 26.2% ###################### 31.6% ######################### 35.8% ############################## 43.0% ################################# 47.1% ####################################### 55.0% ######################################## 56.7% ########################################### 60.5% ############################################## 64.5% ################################################## 70.5% ###################################################### 76.1% ########################################################## 80.6% ############################################################# 85.5% ################################################################# 91.4% ##################################################################### 96.4% ######################################################################## 100.0% Note: gnat_native=15.1.2 installed successfully. Note: Running post-fetch actions for xmlada=25.0.0... checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-linux-gnu checking whether gnat can build shared libs... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes configure: creating ./config.status config.status: creating xmlada_shared.gpr config.status: creating Makefile config.status: creating tests/dom/default.gpr Note: Running post-fetch actions for templates_parser=25.0.0... Note: Building libadalang_tools=25.0.0/src/lal_tools.gpr (1/2)... Setup [mkdir] object directory for project GNATCOLL_Minimal [mkdir] library directory for project GNATCOLL_Minimal [mkdir] object directory for project GNATCOLL_Core [mkdir] library directory for project GNATCOLL_Core [mkdir] object directory for project XmlAda_Sax [mkdir] library directory for project XmlAda_Sax [mkdir] object directory for project XmlAda_Schema [mkdir] object directory for project GPR [mkdir] library directory for project GPR [mkdir] object directory for project GNATCOLL_Projects [mkdir] library directory for project GNATCOLL_Projects [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 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 Templates_Parser [mkdir] library directory for project Templates_Parser [mkdir] object directory for project LAL_Tools [mkdir] library directory for project LAL_Tools Compile [Ada] templates_parser-xml.adb [Ada] templates_parser-query.adb [Ada] templates_parser-debug.adb [Ada] templates_parser-utils.adb [Ada] templates_parser.adb [Ada] templates_parser-input__standalone.adb [Ada] templates_parser_tasking__standard_tasking.adb [Ada] templates_parser-configuration__standalone.ads [C] gpr_parser-gdb.c [Ada] gpr_parser_support-packrat.adb [Ada] gpr_parser-rewriting_implementation.adb [Ada] gpr_parser_support-errors.ads [Ada] gpr_parser_support-adalog-solver_interface.adb [Ada] gpr_parser_support-lexical_envs.ads [Ada] gpr_parser-lexer_state_machine.adb [Ada] gpr_parser_support-diagnostics-output.adb [Ada] gpr_parser-implementation-c.adb [Ada] gpr_parser_adasat-theory.ads [Ada] gpr_parser_adasat-vectors.adb [Ada] gpr_parser_support-lexical_envs_impl.adb [Ada] gpr_parser-common.adb [Ada] gpr_parser_support-boxes.adb [Ada] gpr_parser_support-text.adb [Ada] gpr_parser-debug.adb [Ada] gpr_parser_support-adalog-logic_var.adb [Ada] gpr_parser-generic_impl.adb [Ada] gpr_parser-unparsing.adb [Ada] gpr_parser-generic_api.adb [Ada] gpr_parser-iterators.adb [Ada] gpr_parser-c.adb [Ada] gpr_parser_support-generic_api.adb [Ada] gpr_parser_support-adalog-main_support.ads [Ada] gpr_parser_support-internal.ads [Ada] gpr_parser.ads [Ada] gpr_parser_support-names-maps.adb [Ada] gpr_parser-private_converters.adb [Ada] gpr_parser_adasat.adb [Ada] gpr_parser_support-names.adb [Ada] gpr_parser_support-symbols.adb [Ada] gpr_parser_support-types.ads [Ada] gpr_parser-lexer.adb [Ada] gpr_parser_support-array_utils.adb [Ada] gpr_parser_support-file_readers.adb [Ada] gpr_parser_support-relative_get.adb [Ada] gpr_parser_support-adalog.ads [Ada] gpr_parser-lexer_implementation.adb [Ada] gpr_parser_support-internal-conversions.ads [Ada] gpr_parser_adasat-dpll.adb [Ada] gpr_parser_support-hashes.adb [Ada] gpr_parser_adasat-internals.ads [Ada] gpr_parser_support-token_data_handlers.adb [Ada] gpr_parser_support-generic_api-analysis.adb [Ada] gpr_parser_support-adalog-generic_main_support.adb [Ada] gpr_parser_support-slocs.adb [Ada] gpr_parser-generic_introspection.adb [Ada] gpr_parser_adasat-formulas.adb [Ada] gpr_parser-analysis.adb [Ada] gpr_parser_support-vectors.adb [Ada] gpr_parser_adasat-builders.adb [Ada] gpr_parser-generic_api-introspection.ads [Ada] gpr_parser_support-diagnostics.adb [Ada] gpr_parser_support.ads [Ada] gpr_parser_support-cheap_sets.adb [Ada] gpr_parser-rewriting.adb [Ada] gpr_parser_adasat-decisions.adb [Ada] gpr_parser_support-bump_ptr.ads [Ada] gpr_parser_support-internal-introspection.adb [Ada] gpr_parser_support-bump_ptr_vectors.adb [Ada] gpr_parser-unparsing_implementation.adb [Ada] gpr_parser_support-adalog-debug.adb [Ada] gpr_parser_support-symbols-precomputed.adb [Ada] gpr_parser_support-internal-descriptor.ads [Ada] gpr_parser_support-generic_bump_ptr.adb [Ada] gpr_parser-implementation.adb [Ada] gpr_parser_support-internal-analysis.adb [Ada] gpr_parser_support-iterators.adb [Ada] gpr_parser-parsers.adb [Ada] gpr_parser_adasat-helpers.adb [Ada] gpr_parser_support-adalog-solver.adb [Ada] gpr_parser_support-tree_traversal_iterator.adb [Ada] gpr_parser_support-generic_api-introspection.adb [Ada] gpr_parser_support-images.adb [Ada] gpr_parser-public_converters.adb [Ada] gpr2-kb-embedded.adb [Ada] gpr2-project_parser-create.adb [Ada] gpr2-view_internal.adb [Ada] gpr2-project_parser-registry.adb [Ada] gpr2-view_base_internal.ads [Ada] gpr2-build-view_tables.adb [Ada] gpr2-project_parser-set.ads [Ada] gpr2-project_parser.adb [Ada] gpr2-tree_internal.adb [Ada] gpr2-pack_internal.ads [Ada] gpr2-tree_internal-view_builder.adb [Ada] gpr2-build-unit_info-list.adb [Ada] gpr2-build-compilation_unit.adb [Ada] gpr2-build-ali_parser.adb [Ada] gpr2-build-process_manager.adb [Ada] gpr2-build-actions-link.adb [Ada] gpr2-build-tree_db.adb [Ada] gpr2-build-artifacts.adb [Ada] gpr2-build-actions-post_bind.adb [Ada] gpr2-build-source.ads [Ada] gpr2-build-artifacts-files.adb [Ada] gpr2-build-source_base-ada_parser.adb [Ada] gpr2-build-signature.adb [Ada] gpr2-build-actions-compile.adb [Ada] gpr2-build-actions.adb [Ada] gpr2-build-compilation_unit-maps.ads [Ada] gpr2-build-source_base.adb [Ada] gpr2-build-source-sets.adb [Ada] gpr2-build-artifacts-file_part.adb [Ada] gpr2-build-artifacts-library.ads [Ada] gpr2-build-view_db.adb [Ada] gpr2-build.ads [Ada] gpr2-build-actions-ada_bind.adb [Ada] gpr2-build-unit_info.adb [Ada] gpr2-build-actions-compile-ada.adb [Ada] gpr2-build-process_manager-json.adb [Ada] gpr2-project-variable.adb [Ada] gpr2-utils-hash.adb [Ada] gpr2-project-external-set.ads [Ada] gpr2-containers.adb [Ada] gpr2-kb-compiler_iterator.adb [Ada] gpr2-message-reporter.adb [Ada] gpr2-source_reference.adb [Ada] gpr2-view_ids-vector.ads [Ada] gpr2-source_reference-text_value-g_set.ads [Ada] gpr2-kb.adb [Ada] gpr2-environment.adb [Ada] gpr2-project-view.adb [Ada] gpr2-project-tree.adb [Ada] gpr2-project-attribute-set.adb [Ada] gpr2-kb-parsing.adb [Ada] gpr2-source_reference-pack.ads [Ada] gpr2-file_readers.adb [Ada] gpr2-source_reference-text_value.adb [Ada] gpr2-options.adb [Ada] gpr2-project-registry-attribute-description.adb [Ada] gpr2-project-registry-pack-description.adb [Ada] gpr2-project-registry.ads [Ada] gpr2-project-attribute_cache.adb [Ada] gpr2-path_name.adb [Ada] gpr2-project-tree-view_builder.adb [Ada] gpr2-project-registry-pack.adb [Ada] gpr2-project-registry-exchange.adb [Ada] gpr2-project-import-set.adb [Ada] gpr2-project-registry-attribute.adb [Ada] gpr_parser-basic_ada_parser.adb [Ada] gpr2-source_reference-identifier-set.ads [Ada] gpr2-project-typ.adb [Ada] gpr2-project-name_values.adb [Ada] gpr2-view_ids-set.ads [Ada] gpr2-log.adb [Ada] gpr2-utils.ads [Ada] gpr2.adb [Ada] gpr2-path_name-set.adb [Ada] gpr2-source_reference-attribute.ads [Ada] gpr2-view_ids-dags.adb [Ada] gpr2-project-view-set.ads [Ada] gpr2-project-attribute_index.adb [Ada] gpr2-message.adb [Ada] gpr2-source_reference-identifier.ads [Ada] gpr2-project-attr_values.adb [Ada] gpr2-context.adb [Ada] gpr2-project-import.adb [Ada] gpr2-source_reference-value.ads [Ada] gpr2-project-view-vector.ads [Ada] gpr2-project-pretty_printer.adb [Ada] gpr2-project-configuration.adb [Ada] gpr2-builtin.adb [Ada] gpr2-project.adb [Ada] gpr2-view_ids.adb [Ada] gpr2-project-external.adb [Ada] gpr2-project-attribute.adb [Ada] gpr2-version.adb [Ada] gpr2-source_reference-scalar_value.ads [Ada] gpr2-project-typ-set.ads [Ada] gpr2-project-variable-set.ads [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] a-szuvau.adb [Ada] a-suvsau.adb [Ada] vss-implementation-ucd_normalization_common.ads [Ada] vss-implementation-ucd_normalization_utf8.ads [Ada] vss-implementation-ucd_casing_utf8.ads [Ada] vss-implementation-ucd_core.ads [Ada] vss-string_vectors-internals.adb [Ada] vss-implementation-ucd_casing.adb [Ada] vss-strings.adb [Ada] vss-strings-cursors-iterators-grapheme_clusters.adb [Ada] vss-strings-converters-decoders-iso88592.adb [Ada] vss-strings-converters.adb [Ada] vss-characters.adb [Ada] vss-implementation-utf8_encoding.adb [Ada] vss-strings-converters-decoders-iso88596.adb [Ada] vss-strings-converters-decoders-shiftjis.adb [Ada] vss-strings-cursors-iterators-characters.adb [Ada] vss-implementation-character_codes.ads [Ada] vss-strings-internals.adb [Ada] vss-implementation-text_handlers.adb [Ada] vss-strings-converters-encoders.adb [Ada] vss-strings-converters-decoders-gb18030-indices.ads [Ada] vss-implementation-utf8_normalization.adb [Ada] vss-strings-cursors-markers.adb [Ada] vss-strings-converters-decoders-koi8r.adb [Ada] vss-string_vectors.adb [Ada] vss-strings-cursors.adb [Ada] vss-locales.adb [Ada] vss-implementation.ads [Ada] vss-strings-converters-decoders-iso88598.adb [Ada] vss-strings-cursors-markers-internals.adb [Ada] vss-strings-converters-decoders-iso88591.adb [Ada] vss-strings-formatters-generic_integers.adb [Ada] vss-transformers-casing.adb [Ada] vss-strings-converters-decoders-index_jis0208.ads [Ada] vss-strings-cursors-internals.adb [Ada] vss-implementation-text_handlers-utf8-static.adb [Ada] vss-implementation-referrers.adb [Ada] vss-implementation-string_vectors.adb [Ada] vss-strings-cursors-iterators-lines.adb [Ada] vss-strings-converters-encoders-utf8.adb [Ada] vss-transformers-caseless.adb [Ada] vss-implementation-text_handlers-utf8.adb [Ada] vss-strings-utilities.adb [Ada] vss-implementation-text_handlers-utf8-dynamic.adb [Ada] vss-implementation-text_handlers-nul.adb [Ada] vss-implementation-utf8_casing.adb [Ada] vss-strings-converters-decoders-utf8.adb [Ada] vss-strings-conversions.adb [Ada] vss-implementation-line_iterators.adb [Ada] vss-implementation-fnv_hash.adb [Ada] vss-strings-converters-decoders-iso88599.adb [Ada] vss-strings-converters-decoders-eucjp-jis0212.ads [Ada] vss-strings-formatters-generic_enumerations.adb [Ada] vss-strings-converters-decoders-iso88595.adb [Ada] vss-strings-converters-decoders-eucjp.adb [Ada] vss-strings-formatters-strings.adb [Ada] vss-transformers-normalization.adb [Ada] vss-strings-converters-decoders.adb [Ada] vss-strings-converters-decoders-iso885915.adb [Ada] vss-implementation-strings.adb [Ada] vss-strings-converters-decoders-gb18030-ranges.ads [Ada] vss-strings-templates.adb [Ada] vss-strings-converters-decoders-iso88597.adb [Ada] vss-strings-formatters-generic_modulars.adb [Ada] vss-strings-hash.adb [Ada] vss-strings-converters-decoders-gb18030.adb [Ada] vss-strings-cursors-iterators-words.adb [Ada] vss.ads [Ada] vss-unicode.ads [Ada] vss-characters-latin.ads [Ada] vss-transformers.ads [Ada] vss-strings-formatters.ads [Ada] vss-strings-line_iterators.ads [Ada] vss-characters-specials.ads [Ada] vss-characters-punctuations.ads [Ada] vss-strings-formatters-integers.ads [Ada] vss-strings-markers.ads [Ada] vss-strings-formatters-booleans.ads [Ada] vss-strings-word_iterators.ads [Ada] vss-strings-character_iterators.ads [Ada] vss-strings-cursors-iterators.ads [Ada] vss-strings-grapheme_cluster_iterators.ads [Ada] vss-text_streams-memory_utf8_output.adb [Ada] vss-text_streams-file_output.adb [Ada] vss-text_streams-file_input.adb [Ada] vss-stream_element_vectors-conversions.adb [Ada] vss-implementation-line_terminator.adb [Ada] vss-text_streams-memory_utf8_input.adb [Ada] vss-text_streams-standards.adb [Ada] vss-stream_element_vectors-internals.adb [Ada] vss-stream_element_vectors.adb [Ada] vss-text_streams.ads [Ada] vss-command_line.adb [Ada] vss-environments.adb [Ada] vss-command_line-parsers.adb [Ada] vss-application.adb [Ada] vss-implementation-gcc.ads [Ada] vss-implementation-environment_utilities__posix.adb [Ada] vss-standard_paths__posix.adb [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] schema.adb [Ada] schema-simple_types.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-dom_readers.adb [Ada] schema-schema_readers.adb [Ada] schema-decimal.adb [Ada] schema-validators.adb [Ada] schema-readers.adb [Ada] schema-date_time.adb [Ada] dom-core.adb [Ada] dom-core-texts.adb [Ada] dom.ads [Ada] dom-core-character_datas.adb [Ada] dom-core-notations.adb [Ada] dom-core-attrs.adb [Ada] dom-readers.adb [Ada] dom-core-entity_references.ads [Ada] dom-core-cdata_sections.ads [Ada] dom-core-elements.adb [Ada] dom-core-comments.ads [Ada] dom-core-document_types.adb [Ada] dom-core-processing_instructions.ads [Ada] dom-core-nodes.adb [Ada] dom-core-documents.adb [Ada] dom-core-document_fragments.ads [Ada] input_sources-strings.adb [Ada] input_sources-http.adb [Ada] input_sources-file.adb [Ada] input_sources.adb [Ada] input_sources-socket.adb [Ada] sax-models.adb [Ada] sax-utils.adb [Ada] sax-attributes.adb [Ada] sax-state_machines.adb [Ada] sax-encodings.ads [Ada] sax-locators.adb [Ada] sax-symbols.adb [Ada] sax.ads [Ada] sax-pointers.adb [Ada] sax-readers.adb [Ada] sax-htable.adb [Ada] sax-exceptions.adb [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-names-kanbun.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode-names-avestan.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-balinese.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-old_permic.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-ces.adb [Ada] unicode-names-telugu.ads [Ada] unicode-names-armenian.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-thai.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-deseret.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-nko.ads [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-thaana.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-bengali.ads [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-names-emoticons.ads [Ada] unicode-names-siddham.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-osmanya.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-hatran.ads [Ada] unicode-names-kaithi.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-mro.ads [Ada] unicode-encodings.adb [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode.adb [Ada] unicode-names-khudawadi.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-ccs.adb [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-names-modi.ads [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-takri.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-names-oriya.ads [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-lycian.ads [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-javanese.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-duployan.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-names-hebrew.ads [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-names-limbu.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-kayah_li.ads [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-kannada.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-ahom.ads [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-names-tibetan.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-vai.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-names-miao.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-bamum.ads [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-samaritan.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names.ads [Ada] unicode-names-runic.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-tamil.ads [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-grantha.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-old_italic.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-mahjong_tiles.ads [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-batak.ads [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-names-khmer.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-gothic.ads [Ada] unicode-names-dingbats.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-ancient_greek_numbers.ads [C] gpr_imports.c [Ada] gpr-attr-pm.adb [Ada] gpr-ext.adb [Ada] gpr-ali.adb [Ada] gpr-jobserver.adb [Ada] gpr-attr.adb [Ada] gpr-knowledge.adb [Ada] gpr-compilation.adb [Ada] gpr-snames.adb [Ada] gpr.adb gpr-util-put_resource_usage__unix.adb:34:24: error: "Timeval" not declared in "Thin_Common" gpr-util-put_resource_usage__unix.adb:35:24: error: "Timeval" not declared in "Thin_Common" gpr-util-put_resource_usage__unix.adb:69:34: error: "Timeval" not declared in "Thin_Common" gpr-util-put_resource_usage__unix.adb:78:34: error: "Timeval" not declared in "Thin_Common" gpr-util-put_resource_usage__unix.adb:84:50: error: invalid prefix in selected component "This" gpr-util-put_resource_usage__unix.adb:86:20: error: invalid prefix in selected component "This" compilation of gpr-compilation.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/root/.local/share/alire/builds/libadalang_tools_25.0.0_5304ba7e/070b7655c818007de8c614f427f2708aada650fbf858c160d0eeb04b58c72654/src/lal_tools.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/root/.local/share/alire/builds/libadalang_tools_25.0.0_5304ba7e/070b7655c818007de8c614f427f2708aada650fbf858c160d0eeb04b58c72654/src/lal_tools.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/root/.local/share/alire/builds/libadalang_tools_25.0.0_5304ba7e/070b7655c818007de8c614f427f2708aada650fbf858c160d0eeb04b58c72654/src/lal_tools.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284 0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xd40276 Alire.Spawn.Command at alire-spawn.adb:22 0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68 0xc748cb Alire.Roots.Build at alire-roots.adb:189 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdca2 Alire.Solutions.Traverse at alire-solutions.adb:1539 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7fd8096b0ca6 0x7fd8096b0d63 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [/usr/bin/alr] 0xc74cc7 Alire.Roots.Build at alire-roots.adb:202 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdca2 Alire.Solutions.Traverse at alire-solutions.adb:1539 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib/x86_64-linux-gnu/libc.so.6] 0x7fd8096b0ca6 0x7fd8096b0d63 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.