Test ran at 2025-09-13 01:12:07.066461+00:00 SOLUTION: rejuvenation=23.0.0: Analysis and manipulation of Ada code based on concrete patterns Origin: commit 507c1f003c5f93db2bed42d0d9ef9fe2e9888d50 from https://github.com/TNO/Rejuvenation-Ada.git Properties: Author: Pierre van de Laar Author: Arjan J. Mooij Description: Analysis and manipulation of Ada code based on concrete patterns License: BSD-3-Clause Maintainer: Pierre van de Laar Maintainers_Logins: pjljvandelaar Name: rejuvenation Tag: analysis Tag: manipulation Tag: transformation Version: 23.0.0 Website: https://github.com/TNO/Rejuvenation-Ada Dependencies (direct): libadalang^23.0.0 Dependencies (solution): gnat=14.2.0 (gnat_external) gnatcoll=23.0.0 gnatcoll_gmp=23.0.0 gnatcoll_iconv=23.0.0 langkit_support=23.0.0 libadalang=23.0.0 libgmp=6.3.0 libgpr=23.0.0 xmlada=23.0.0 Dependencies (graph): gnatcoll=23.0.0 --> libgpr=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) gnatcoll_gmp=23.0.0 --> libgmp=6.3.0 (*) gnatcoll_iconv=23.0.0 --> gnatcoll=23.0.0 (~23.0.0) langkit_support=23.0.0 --> gnatcoll=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) langkit_support=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_gmp=23.0.0 (^23) libadalang=23.0.0 --> gnatcoll_iconv=23.0.0 (^23) libadalang=23.0.0 --> langkit_support=23.0.0 (^23) libgpr=23.0.0 --> gnat=14.2.0 (gnat_external) (/=2020) libgpr=23.0.0 --> xmlada=23.0.0 (~23.0.0) rejuvenation=23.0.0 --> libadalang=23.0.0 (^23.0.0) xmlada=23.0.0 --> gnat=14.2.0 (gnat_external) (>=11) LOG: [alr test] Testing rejuvenation=23.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get rejuvenation=23.0.0 Note: Deploying rejuvenation=23.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 xmlada=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying libgpr=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll=23.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll_gmp=23.0.0... #=#=# ##O#-# Note: Deploying gnatcoll_iconv=23.0.0... #=#=# ##O#-# Note: Deploying langkit_support=23.0.0... #=#=# ################# 23.6% ######################################################################## 100.0% Note: Deploying libadalang=23.0.0... #=#=# ####### 10.3% ######################################################################## 100.0% rejuvenation=23.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat 14.2.0 (new,gnat_external,indirect,executable in path) + gnatcoll 23.0.0 (new,indirect) + gnatcoll_gmp 23.0.0 (new,indirect) + gnatcoll_iconv 23.0.0 (new,indirect) + langkit_support 23.0.0 (new,indirect) + libadalang 23.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 23.0.0 (new,indirect) + xmlada 23.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.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=25.0.1... #=#=# 0.4% ############ 17.1% ##################### 30.3% ######################################### 57.2% ############################################ 61.3% ########################################################## 81.7% ######################################################################## 100.0% Note: gprbuild=25.0.1 installed successfully. Note: Deploying gnat_native=15.2.1... #=#=# 0.0% # 2.8% ##### 7.0% ####### 10.6% ########### 15.4% ############## 20.0% ################ 23.4% ################### 26.8% ##################### 29.7% ####################### 32.9% ########################### 38.0% ############################# 41.6% ################################ 44.5% ################################# 46.7% ##################################### 51.6% ######################################## 56.5% ########################################### 60.4% ############################################## 64.7% ################################################# 68.6% #################################################### 73.4% ####################################################### 76.9% ########################################################### 82.4% ############################################################# 85.8% ################################################################ 89.5% ################################################################### 93.1% ##################################################################### 96.5% ######################################################################## 100.0% Note: gnat_native=15.2.1 installed successfully. Note: Running post-fetch actions for xmlada=23.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: Building rejuvenation=23.0.0/rejuvenation.gpr... Setup [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 [mkdir] library directory for project GnatColl [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 Langkit_Support [mkdir] library directory for project Langkit_Support [mkdir] object directory for project Libadalang [mkdir] library directory for project Libadalang [mkdir] object directory for project Rejuvenation [mkdir] library directory for project Rejuvenation Compile [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-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-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 [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-attr.adb [Ada] gpr-knowledge.adb [Ada] gpr-compilation.adb [Ada] gpr-snames.adb [Ada] gpr.adb [Ada] gpr-opt.ads [Ada] gpr-pp.adb [Ada] gpr-osint.adb [Ada] gpr-debug.adb [Ada] gpr-cset.adb gpr-osint.adb:30:06: warning: "System.CRTL" is an internal GNAT unit [-gnatwi] gpr-osint.adb:30:06: warning: use of this unit is non-portable and version-dependent [-gnatwi] gpr-osint.adb:31:06: warning: "System.OS_Constants" is an internal GNAT unit [-gnatwi] gpr-osint.adb:31:06: warning: use of this unit is non-portable and version-dependent [-gnatwi] [Ada] gpr-script.adb [Ada] gpr-tree.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-script.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf448dc7-6fef-4207-a509-f3e4ab837c11/rejuvenation_23.0.0_507c1f00/rejuvenation.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf448dc7-6fef-4207-a509-f3e4ab837c11/rejuvenation_23.0.0_507c1f00/rejuvenation.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf448dc7-6fef-4207-a509-f3e4ab837c11/rejuvenation_23.0.0_507c1f00/rejuvenation.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 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 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] 0x7fed7b90dca6 0x7fed7b90dd63 [/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 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 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] 0x7fed7b90dca6 0x7fed7b90dd63 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.