Feature request: install using Alire

[mgrojo]

I know the best way to use a library which is in Alire is to do it through Alire itself, but "alr install" is also part of the Alire lifecycle, and it would be a good idea if it is supported.

This is what I got when trying to "alr install" after a succesful "alr build":

$ alr install --prefix=$HOME/openapi_0.8.0
ⓘ Starting installation of openapi=0.8.0 with solution:
   Dependencies (solution):
      gnat=12.1.2 (gnat_native)
      security=1.5.1
      utilada=2.7.0
      utilada_xml=2.7.0
      xmlada=24.0.0
ⓘ Building utilada=2.7.0/.alire/utilada_conf.gpr (1/4)...                  
gprbuild: no sources to compile
ⓘ Building utilada=2.7.0/utilada_core.gpr (2/4)...
ⓘ Building utilada=2.7.0/utilada_base.gpr (3/4)...
ⓘ Building utilada=2.7.0/utilada_sys.gpr (4/4)...
ⓘ Building xmlada=24.0.0/distrib/xmlada.gpr (1/6)...
Compile
   [Ada]          schema-dom_readers.adb
   [Ada]          schema-validators-xsd_grammar.adb
   [Ada]          schema-simple_types.adb
   [Ada]          schema-schema_readers.adb
   [Ada]          schema-decimal.adb
   [Ada]          schema.adb
   [Ada]          schema-date_time.adb
   [Ada]          schema-readers.adb
   [Ada]          schema-validators.adb
   [Ada]          dom-core-texts.adb
   [Ada]          dom-core-document_fragments.ads
   [Ada]          dom-core-notations.adb
   [Ada]          dom-core-entity_references.ads
   [Ada]          dom-core-elements.adb
   [Ada]          dom-core-nodes.adb
   [Ada]          dom-core-comments.ads
   [Ada]          dom-core-attrs.adb
   [Ada]          dom-core.adb
   [Ada]          dom-core-cdata_sections.ads
   [Ada]          dom-core-processing_instructions.ads
   [Ada]          dom-core-character_datas.adb
   [Ada]          dom-core-documents.adb
   [Ada]          dom-readers.adb
   [Ada]          dom.ads
   [Ada]          dom-core-document_types.adb
Build Libraries
   [gprlib]       xmlada_dom.lexch
   [gprlib]       xmlada_schema.lexch
   [archive]      libxmlada_dom.a
   [index]        libxmlada_dom.a
   [archive]      libxmlada_schema.a
   [index]        libxmlada_schema.a
ⓘ Building xmlada=24.0.0/dom/xmlada_dom.gpr (2/6)...
Compile
   [Ada]          input_sources.adb
   [Ada]          input_sources-strings.adb
   [Ada]          input_sources-socket.adb
   [Ada]          input_sources-file.adb
   [Ada]          input_sources-http.adb
   [Ada]          unicode-names-phaistos_disc.ads
   [Ada]          unicode-names-tags.ads
   [Ada]          unicode-names-cherokee.ads
   [Ada]          unicode-names-phags_pa.ads
   [Ada]          unicode-names-inscriptional_pahlavi.ads
   [Ada]          unicode-names-kanbun.ads
   [Ada]          unicode-ccs-iso_8859_1.adb
   [Ada]          unicode-names-gujarati.ads
   [Ada]          unicode-names-latin_extended_e.ads
   [Ada]          unicode-names-sup_symbols_pictographs.ads
   [Ada]          unicode-names-control_pictures.ads
   [Ada]          unicode-names-spacing_modifier_letters.ads
   [Ada]          unicode-names-phonetic_extensions.ads
   [Ada]          unicode-names-sup_math_operators.ads
   [Ada]          unicode-names-pahawh_hmong.ads
   [Ada]          unicode-names-sora_sompeng.ads
   [Ada]          unicode-names-byzantine_musical_symbols.ads
   [Ada]          unicode-ces-utf16.adb
   [Ada]          unicode-names-vai.ads
   [Ada]          unicode-names-brahmi.ads
   [Ada]          unicode-names-early_dynastic_cuneiform.ads
   [Ada]          unicode-names-myanmar.ads
   [Ada]          unicode-names-box_drawing.ads
   [Ada]          unicode-names-khmer_symbols.ads
   [Ada]          unicode-names-counting_rod_numerals.ads
   [Ada]          unicode-names-cypriot_syllabary.ads
   [Ada]          unicode-names-cuneiform.ads
   [Ada]          unicode-names-rejang.ads
   [Ada]          unicode-names-misc_symbols_pictographs.ads
   [Ada]          unicode-names-katakana_phonetic_ext.ads
   [Ada]          unicode-names-tai_le.ads
   [Ada]          unicode-names-linear_b_syllabary.ads
   [Ada]          unicode-names-cyrillic_extended_a.ads
   [Ada]          unicode-names-bengali.ads
   [Ada]          unicode-names-katakana.ads
   [Ada]          unicode-names-myanmar_extended_b.ads
   [Ada]          unicode-names-chakma.ads
   [Ada]          unicode-names-ancient_greek_numbers.ads
   [Ada]          unicode-names-khudawadi.ads
   [Ada]          unicode-names-mongolian.ads
   [Ada]          unicode-names-tamil.ads
   [Ada]          unicode-names-mathematical_operators.ads
   [Ada]          unicode-names-rumi_numeral_symbols.ads
   [Ada]          unicode-ccs-iso_8859_2.adb
   [Ada]          unicode-names-pau_cin_hau.ads
   [Ada]          unicode-names-mahjong_tiles.ads
   [Ada]          unicode-names-super_and_sub_scripts.ads
   [Ada]          unicode-names-samaritan.ads
   [Ada]          unicode-names-khojki.ads
   [Ada]          unicode-names-greek_and_coptic.ads
   [Ada]          unicode-ces-utf32.adb
   [Ada]          unicode-names-bopomofo.ads
   [Ada]          unicode-names-mro.ads
   [Ada]          unicode-names-manichaean.ads
   [Ada]          unicode-names-arabic_extended_a.ads
   [Ada]          unicode-names-phoenician.ads
   [Ada]          unicode-names-general_punctuation.ads
   [Ada]          unicode-names-cyrillic_supplement.ads
   [Ada]          unicode-names-alchemical_symbols.ads
   [Ada]          unicode-ccs-iso_8859_15.adb
   [Ada]          unicode-names-cjk_compatibility.ads
   [Ada]          unicode-names-latin_extended_a.ads
   [Ada]          unicode-names-meetei_mayek.ads
   [Ada]          unicode-names-sinhala_archaic_numbers.ads
   [Ada]          unicode-names-letterlike_symbols.ads
   [Ada]          unicode-names-gothic.ads
   [Ada]          unicode-names.ads
   [Ada]          unicode-names-nko.ads
   [Ada]          unicode-names-currency_symbols.ads
   [Ada]          unicode-names-geometric_shapes_extended.ads
   [Ada]          unicode-names-gurmukhi.ads
   [Ada]          unicode-ces-utf8.adb
   [Ada]          unicode-names-hatran.ads
   [Ada]          unicode-names-modifier_tone_letters.ads
   [Ada]          unicode-names-old_north_arabian.ads
   [Ada]          unicode-names-meroitic_hieroglyphs.ads
   [Ada]          unicode-names-tifinagh.ads
   [Ada]          unicode-names-arabic_supplement.ads
   [Ada]          unicode-names-inscriptional_parthian.ads
   [Ada]          unicode-names-meroitic_cursive.ads
   [Ada]          unicode-names-supplemental_arrows_c.ads
   [Ada]          unicode-names-mende_kikakui.ads
   [Ada]          unicode-names-aegean_numbers.ads
   [Ada]          unicode-names-small_form_variants.ads
   [Ada]          unicode-names-linear_b_ideograms.ads
   [Ada]          unicode-names-takri.ads
   [Ada]          unicode-names-kaithi.ads
   [Ada]          unicode-names-cjk_radicals_supplement.ads
   [Ada]          unicode-names-thaana.ads
   [Ada]          unicode-names-alpha_presentation_forms.ads
   [Ada]          unicode-names-georgian.ads
   [Ada]          unicode-names-arabic.ads
   [Ada]          unicode-names-vertical_forms.ads
   [Ada]          unicode.adb
   [Ada]          unicode-names-coptic.ads
   [Ada]          unicode-names-cjk_compat_ideographs.ads
   [Ada]          unicode-names-old_turkic.ads
   [Ada]          unicode-names-mahajani.ads
   [Ada]          unicode-names-math_alphanumeric_symb.ads
   [Ada]          unicode-names-cyrillic_extended_b.ads
   [Ada]          unicode-names-misc_math_symbols_a.ads
   [Ada]          unicode-names-combining_diacritical_sym.ads
   [Ada]          unicode-ccs-windows_1252.adb
   [Ada]          unicode-names-ornamental_dingbats.ads
   [Ada]          unicode-names-new_tai_lue.ads
   [Ada]          unicode-names-devanagari.ads
   [Ada]          unicode-names-tai_xuan_jing_symbols.ads
   [Ada]          unicode-names-lao.ads
   [Ada]          unicode-names-meetei_mayek_extensions.ads
   [Ada]          unicode-names-ethiopic.ads
   [Ada]          unicode-names-bamum_supplement.ads
   [Ada]          unicode-names-deseret.ads
   [Ada]          unicode-names-cjk_letters_months.ads
   [Ada]          unicode-names-bassa_vah.ads
   [Ada]          unicode-names-enclosed_alphanum_sup.ads
   [Ada]          unicode-names-enclosed_alphanumerics.ads
   [Ada]          unicode-names-ancient_symbols.ads
   [Ada]          unicode-names-playing_cards.ads
   [Ada]          unicode-names-tagalog.ads
   [Ada]          unicode-names-block_elements.ads
   [Ada]          unicode-names-kayah_li.ads
   [Ada]          unicode-names-supplemental_arrows_b.ads
   [Ada]          unicode-ces.adb
   [Ada]          unicode-ccs-windows_1251.adb
   [Ada]          unicode-names-siddham.ads
   [Ada]          unicode-names-tai_tham.ads
   [Ada]          unicode-names-latin_1_supplement.ads
   [Ada]          unicode-names-emoticons.ads
   [Ada]          unicode-names-hiragana.ads
   [Ada]          unicode-names-ethiopic_extended.ads
   [Ada]          unicode-names-sundanese_supplement.ads
   [Ada]          unicode-names-transport_and_map_symbols.ads
   [Ada]          unicode-names-psalter_pahlavi.ads
   [Ada]          unicode-names-enclosed_ideographic_sup.ads
   [Ada]          unicode-names-limbu.ads
   [Ada]          unicode-names-variation_selectors_sup.ads
   [Ada]          unicode-names-palmyrene.ads
   [Ada]          unicode-names-ancient_greek_music.ads
   [Ada]          unicode-names-kannada.ads
   [Ada]          unicode-names-imperial_aramaic.ads
   [Ada]          unicode-names-tai_viet.ads
   [Ada]          unicode-names-sinhala.ads
   [Ada]          unicode-ccs-iso_8859_3.adb
   [Ada]          unicode-names-misc_math_symbols_b.ads
   [Ada]          unicode-names-tirhuta.ads
   [Ada]          unicode-names-lydian.ads
   [Ada]          unicode-names-arabic_present_formsb.ads
   [Ada]          unicode-names-hangul_jamo.ads
   [Ada]          unicode-names-geometric_shapes.ads
   [Ada]          unicode-encodings.adb
   [Ada]          unicode-names-phonetic_ext_sup.ads
   [Ada]          unicode-names-common_indic_number_forms.ads
   [Ada]          unicode-names-combining_diacritical_ext.ads
   [Ada]          unicode-names-cjk_strokes.ads
   [Ada]          unicode-names-combining_half_marks.ads
   [Ada]          unicode-names-hangul_jamo_extended_b.ads
   [Ada]          unicode-names-arrows.ads
   [Ada]          unicode-names-ipa_extensions.ads
   [Ada]          unicode-names-old_persian.ads
   [Ada]          unicode-names-lepcha.ads
   [Ada]          unicode-names-cjk_symbols_and_punct.ads
   [Ada]          unicode-names-cherokee_supplement.ads
   [Ada]          unicode-names-myanmar_extended_a.ads
   [Ada]          unicode-names-elbasan.ads
   [Ada]          unicode-names-combining_diacritical_sup.ads
   [Ada]          unicode-names-cjk_compatibility_forms.ads
   [Ada]          unicode-names-cuneiform_num_punctuation.ads
   [Ada]          unicode-names-old_hungarian.ads
   [Ada]          unicode-names-musical_symbols.ads
   [Ada]          unicode-names-tagbanwa.ads
   [Ada]          unicode-names-sharada.ads
   [Ada]          unicode-names-balinese.ads
   [Ada]          unicode-names-latin_extended_b.ads
   [Ada]          unicode-names-nabataean.ads
   [Ada]          unicode-names-arabic_math_alpha_symb.ads
   [Ada]          unicode-names-kana_supplement.ads
   [Ada]          unicode-names-runic.ads
   [Ada]          unicode-names-cyrillic.ads
   [Ada]          unicode-names-avestan.ads
   [Ada]          unicode-names-latin_extended_d.ads
   [Ada]          unicode-names-yi_syllables.ads
   [Ada]          unicode-names-khmer.ads
   [Ada]          unicode-names-misc_symbols_and_arrows.ads
   [Ada]          unicode-names-variation_selectors.ads
   [Ada]          unicode-names-vedic_extensions.ads
   [Ada]          unicode-names-batak.ads
   [Ada]          unicode-names-miscellaneous_symbols.ads
   [Ada]          unicode-names-sutton_signwriting.ads
   [Ada]          unicode-names-domino_tiles.ads
   [Ada]          unicode-names-shorthand_format_controls.ads
   [Ada]          unicode-names-hangul_compatibility_jamo.ads
   [Ada]          unicode-names-sundanese.ads
   [Ada]          unicode-ces-basic_8bit.adb
   [Ada]          unicode-names-canadian_aboriginal.ads
   [Ada]          unicode-names-latin_extended_c.ads
   [Ada]          unicode-names-supplemental_punctuation.ads
   [Ada]          unicode-names-syloti_nagri.ads
   [Ada]          unicode-names-braille_patterns.ads
   [Ada]          unicode-names-basic_latin.ads
   [Ada]          unicode-names-carian.ads
   [Ada]          unicode-names-ogham.ads
   [Ada]          unicode-names-latin_extended_additional.ads
   [Ada]          unicode-names-grantha.ads
   [Ada]          unicode-names-old_permic.ads
   [Ada]          unicode-names-oriya.ads
   [Ada]          unicode-names-greek_extended.ads
   [Ada]          unicode-names-glagolitic.ads
   [Ada]          unicode-names-coptic_epact_numbers.ads
   [Ada]          unicode-names-miscellaneous_technical.ads
   [Ada]          unicode-names-hangul_jamo_extended_a.ads
   [Ada]          unicode-names-ol_chiki.ads
   [Ada]          unicode-names-kangxi_radicals.ads
   [Ada]          unicode-names-hanunoo.ads
   [Ada]          unicode-names-ugaritic.ads
   [Ada]          unicode-names-mandaic.ads
   [Ada]          unicode-ccs.adb
   [Ada]          unicode-names-buginese.ads
   [Ada]          unicode-names-cjk_compat_ideo_sup.ads
   [Ada]          unicode-names-miao.ads
   [Ada]          unicode-names-shavian.ads
   [Ada]          unicode-names-thai.ads
   [Ada]          unicode-names-ideograph_descr_chars.ads
   [Ada]          unicode-names-syriac.ads
   [Ada]          unicode-names-old_south_arabian.ads
   [Ada]          unicode-names-devanagari_extended.ads
   [Ada]          unicode-names-yi_radicals.ads
   [Ada]          unicode-names-supplemental_arrows_a.ads
   [Ada]          unicode-names-half_full_width_forms.ads
   [Ada]          unicode-names-anatolian_hieroglyphs.ads
   [Ada]          unicode-names-malayalam.ads
   [Ada]          unicode-names-number_forms.ads
   [Ada]          unicode-names-osmanya.ads
   [Ada]          unicode-names-lycian.ads
   [Ada]          unicode-names-canadian_aboriginal_ext.ads
   [Ada]          unicode-names-tibetan.ads
   [Ada]          unicode-names-dingbats.ads
   [Ada]          unicode-names-warang_citi.ads
   [Ada]          unicode-names-georgian_supplement.ads
   [Ada]          unicode-names-optical_chars_recognition.ads
   [Ada]          unicode-names-arabic_present_formsa.ads
   [Ada]          unicode-names-linear_a.ads
   [Ada]          unicode-names-egyptian_hieroglyphs.ads
   [Ada]          unicode-names-ethiopic_supplement.ads
   [Ada]          unicode-names-modi.ads
   [Ada]          unicode-names-specials.ads
   [Ada]          unicode-names-saurashtra.ads
   [Ada]          unicode-ccs-iso_8859_4.adb
   [Ada]          unicode-names-armenian.ads
   [Ada]          unicode-names-old_italic.ads
   [Ada]          unicode-names-combining_diacritical.ads
   [Ada]          unicode-names-kharoshthi.ads
   [Ada]          unicode-names-lisu.ads
   [Ada]          unicode-names-duployan.ads
   [Ada]          unicode-names-cham.ads
   [Ada]          unicode-names-caucasian_albanian.ads
   [Ada]          unicode-names-bopomofo_extended.ads
   [Ada]          unicode-names-multani.ads
   [Ada]          unicode-names-buhid.ads
   [Ada]          unicode-names-bamum.ads
   [Ada]          unicode-names-yijing_hexagram_symbols.ads
   [Ada]          unicode-names-hebrew.ads
   [Ada]          unicode-names-telugu.ads
   [Ada]          unicode-names-ethiopic_extended_a.ads
   [Ada]          unicode-names-ahom.ads
   [Ada]          unicode-names-javanese.ads
   [Ada]          sax-pointers.adb
   [Ada]          sax-htable.adb
   [Ada]          sax-locators.adb
   [Ada]          sax.ads
   [Ada]          sax-exceptions.adb
   [Ada]          sax-state_machines.adb
   [Ada]          sax-attributes.adb
   [Ada]          sax-readers.adb
   [Ada]          sax-models.adb
   [Ada]          sax-utils.adb
   [Ada]          sax-symbols.adb
   [Ada]          sax-encodings.ads
   [Ada]          dom-core-texts.adb
   [Ada]          dom-core-document_fragments.ads
   [Ada]          dom-core-notations.adb
   [Ada]          dom-core-entity_references.ads
   [Ada]          dom-core-elements.adb
   [Ada]          dom-core-nodes.adb
   [Ada]          dom-core-comments.ads
   [Ada]          dom-core-attrs.adb
   [Ada]          dom-core.adb
   [Ada]          dom-core-cdata_sections.ads
   [Ada]          dom-core-processing_instructions.ads
   [Ada]          dom-core-character_datas.adb
   [Ada]          dom-core-documents.adb
   [Ada]          dom-readers.adb
   [Ada]          dom.ads
   [Ada]          dom-core-document_types.adb
Build Libraries
   [gprlib]       xmlada_unicode.lexch
   [gprlib]       xmlada_input_sources.lexch
   [archive]      libxmlada_unicode.a
   [index]        libxmlada_unicode.a
   [gprlib]       xmlada_sax.lexch
   [archive]      libxmlada_input_sources.a
   [index]        libxmlada_input_sources.a
   [gprlib]       xmlada_dom.lexch
   [archive]      libxmlada_sax.a
   [index]        libxmlada_sax.a
   [archive]      libxmlada_dom.a
   [index]        libxmlada_dom.a
ⓘ Building xmlada=24.0.0/sax/xmlada_sax.gpr (3/6)...
ⓘ Building xmlada=24.0.0/input_sources/xmlada_input.gpr (4/6)...
ⓘ Building xmlada=24.0.0/schema/xmlada_schema.gpr (5/6)...
Compile
   [Ada]          schema-dom_readers.adb
   [Ada]          schema-validators-xsd_grammar.adb
   [Ada]          schema-simple_types.adb
   [Ada]          schema-schema_readers.adb
   [Ada]          schema-decimal.adb
   [Ada]          schema.adb
   [Ada]          schema-date_time.adb
   [Ada]          schema-readers.adb
   [Ada]          schema-validators.adb
Build Libraries
   [gprlib]       xmlada_schema.lexch
   [archive]      libxmlada_schema.a
   [index]        libxmlada_schema.a
ⓘ Building xmlada=24.0.0/unicode/xmlada_unicode.gpr (6/6)...
ⓘ Building utilada_xml=2.7.0/utilada_xml.gpr...
Compile
   [Ada]          input_sources.adb
   [Ada]          input_sources-strings.adb
   [Ada]          input_sources-socket.adb
   [Ada]          input_sources-file.adb
   [Ada]          input_sources-http.adb
   [Ada]          unicode-names-phaistos_disc.ads
   [Ada]          unicode-names-tags.ads
   [Ada]          unicode-names-cherokee.ads
   [Ada]          unicode-names-phags_pa.ads
   [Ada]          unicode-names-inscriptional_pahlavi.ads
   [Ada]          unicode-names-kanbun.ads
   [Ada]          unicode-ccs-iso_8859_1.adb
   [Ada]          unicode-names-gujarati.ads
   [Ada]          unicode-names-latin_extended_e.ads
   [Ada]          unicode-names-sup_symbols_pictographs.ads
   [Ada]          unicode-names-control_pictures.ads
   [Ada]          unicode-names-spacing_modifier_letters.ads
   [Ada]          unicode-names-phonetic_extensions.ads
   [Ada]          unicode-names-sup_math_operators.ads
   [Ada]          unicode-names-pahawh_hmong.ads
   [Ada]          unicode-names-sora_sompeng.ads
   [Ada]          unicode-names-byzantine_musical_symbols.ads
   [Ada]          unicode-ces-utf16.adb
   [Ada]          unicode-names-vai.ads
   [Ada]          unicode-names-brahmi.ads
   [Ada]          unicode-names-early_dynastic_cuneiform.ads
   [Ada]          unicode-names-myanmar.ads
   [Ada]          unicode-names-box_drawing.ads
   [Ada]          unicode-names-khmer_symbols.ads
   [Ada]          unicode-names-counting_rod_numerals.ads
   [Ada]          unicode-names-cypriot_syllabary.ads
   [Ada]          unicode-names-cuneiform.ads
   [Ada]          unicode-names-rejang.ads
   [Ada]          unicode-names-misc_symbols_pictographs.ads
   [Ada]          unicode-names-katakana_phonetic_ext.ads
   [Ada]          unicode-names-tai_le.ads
   [Ada]          unicode-names-linear_b_syllabary.ads
   [Ada]          unicode-names-cyrillic_extended_a.ads
   [Ada]          unicode-names-bengali.ads
   [Ada]          unicode-names-katakana.ads
   [Ada]          unicode-names-myanmar_extended_b.ads
   [Ada]          unicode-names-chakma.ads
   [Ada]          unicode-names-ancient_greek_numbers.ads
   [Ada]          unicode-names-khudawadi.ads
   [Ada]          unicode-names-mongolian.ads
   [Ada]          unicode-names-tamil.ads
   [Ada]          unicode-names-mathematical_operators.ads
   [Ada]          unicode-names-rumi_numeral_symbols.ads
   [Ada]          unicode-ccs-iso_8859_2.adb
   [Ada]          unicode-names-pau_cin_hau.ads
   [Ada]          unicode-names-mahjong_tiles.ads
   [Ada]          unicode-names-super_and_sub_scripts.ads
   [Ada]          unicode-names-samaritan.ads
   [Ada]          unicode-names-khojki.ads
   [Ada]          unicode-names-greek_and_coptic.ads
   [Ada]          unicode-ces-utf32.adb
   [Ada]          unicode-names-bopomofo.ads
   [Ada]          unicode-names-mro.ads
   [Ada]          unicode-names-manichaean.ads
   [Ada]          unicode-names-arabic_extended_a.ads
   [Ada]          unicode-names-phoenician.ads
   [Ada]          unicode-names-general_punctuation.ads
   [Ada]          unicode-names-cyrillic_supplement.ads
   [Ada]          unicode-names-alchemical_symbols.ads
   [Ada]          unicode-ccs-iso_8859_15.adb
   [Ada]          unicode-names-cjk_compatibility.ads
   [Ada]          unicode-names-latin_extended_a.ads
   [Ada]          unicode-names-meetei_mayek.ads
   [Ada]          unicode-names-sinhala_archaic_numbers.ads
   [Ada]          unicode-names-letterlike_symbols.ads
   [Ada]          unicode-names-gothic.ads
   [Ada]          unicode-names.ads
   [Ada]          unicode-names-nko.ads
   [Ada]          unicode-names-currency_symbols.ads
   [Ada]          unicode-names-geometric_shapes_extended.ads
   [Ada]          unicode-names-gurmukhi.ads
   [Ada]          unicode-ces-utf8.adb
   [Ada]          unicode-names-hatran.ads
   [Ada]          unicode-names-modifier_tone_letters.ads
   [Ada]          unicode-names-old_north_arabian.ads
   [Ada]          unicode-names-meroitic_hieroglyphs.ads
   [Ada]          unicode-names-tifinagh.ads
   [Ada]          unicode-names-arabic_supplement.ads
   [Ada]          unicode-names-inscriptional_parthian.ads
   [Ada]          unicode-names-meroitic_cursive.ads
   [Ada]          unicode-names-supplemental_arrows_c.ads
   [Ada]          unicode-names-mende_kikakui.ads
   [Ada]          unicode-names-aegean_numbers.ads
   [Ada]          unicode-names-small_form_variants.ads
   [Ada]          unicode-names-linear_b_ideograms.ads
   [Ada]          unicode-names-takri.ads
   [Ada]          unicode-names-kaithi.ads
   [Ada]          unicode-names-cjk_radicals_supplement.ads
   [Ada]          unicode-names-thaana.ads
   [Ada]          unicode-names-alpha_presentation_forms.ads
   [Ada]          unicode-names-georgian.ads
   [Ada]          unicode-names-arabic.ads
   [Ada]          unicode-names-vertical_forms.ads
   [Ada]          unicode.adb
   [Ada]          unicode-names-coptic.ads
   [Ada]          unicode-names-cjk_compat_ideographs.ads
   [Ada]          unicode-names-old_turkic.ads
   [Ada]          unicode-names-mahajani.ads
   [Ada]          unicode-names-math_alphanumeric_symb.ads
   [Ada]          unicode-names-cyrillic_extended_b.ads
   [Ada]          unicode-names-misc_math_symbols_a.ads
   [Ada]          unicode-names-combining_diacritical_sym.ads
   [Ada]          unicode-ccs-windows_1252.adb
   [Ada]          unicode-names-ornamental_dingbats.ads
   [Ada]          unicode-names-new_tai_lue.ads
   [Ada]          unicode-names-devanagari.ads
   [Ada]          unicode-names-tai_xuan_jing_symbols.ads
   [Ada]          unicode-names-lao.ads
   [Ada]          unicode-names-meetei_mayek_extensions.ads
   [Ada]          unicode-names-ethiopic.ads
   [Ada]          unicode-names-bamum_supplement.ads
   [Ada]          unicode-names-deseret.ads
   [Ada]          unicode-names-cjk_letters_months.ads
   [Ada]          unicode-names-bassa_vah.ads
   [Ada]          unicode-names-enclosed_alphanum_sup.ads
   [Ada]          unicode-names-enclosed_alphanumerics.ads
   [Ada]          unicode-names-ancient_symbols.ads
   [Ada]          unicode-names-playing_cards.ads
   [Ada]          unicode-names-tagalog.ads
   [Ada]          unicode-names-block_elements.ads
   [Ada]          unicode-names-kayah_li.ads
   [Ada]          unicode-names-supplemental_arrows_b.ads
   [Ada]          unicode-ces.adb
   [Ada]          unicode-ccs-windows_1251.adb
   [Ada]          unicode-names-siddham.ads
   [Ada]          unicode-names-tai_tham.ads
   [Ada]          unicode-names-latin_1_supplement.ads
   [Ada]          unicode-names-emoticons.ads
   [Ada]          unicode-names-hiragana.ads
   [Ada]          unicode-names-ethiopic_extended.ads
   [Ada]          unicode-names-sundanese_supplement.ads
   [Ada]          unicode-names-transport_and_map_symbols.ads
   [Ada]          unicode-names-psalter_pahlavi.ads
   [Ada]          unicode-names-enclosed_ideographic_sup.ads
   [Ada]          unicode-names-limbu.ads
   [Ada]          unicode-names-variation_selectors_sup.ads
   [Ada]          unicode-names-palmyrene.ads
   [Ada]          unicode-names-ancient_greek_music.ads
   [Ada]          unicode-names-kannada.ads
   [Ada]          unicode-names-imperial_aramaic.ads
   [Ada]          unicode-names-tai_viet.ads
   [Ada]          unicode-names-sinhala.ads
   [Ada]          unicode-ccs-iso_8859_3.adb
   [Ada]          unicode-names-misc_math_symbols_b.ads
   [Ada]          unicode-names-tirhuta.ads
   [Ada]          unicode-names-lydian.ads
   [Ada]          unicode-names-arabic_present_formsb.ads
   [Ada]          unicode-names-hangul_jamo.ads
   [Ada]          unicode-names-geometric_shapes.ads
   [Ada]          unicode-encodings.adb
   [Ada]          unicode-names-phonetic_ext_sup.ads
   [Ada]          unicode-names-common_indic_number_forms.ads
   [Ada]          unicode-names-combining_diacritical_ext.ads
   [Ada]          unicode-names-cjk_strokes.ads
   [Ada]          unicode-names-combining_half_marks.ads
   [Ada]          unicode-names-hangul_jamo_extended_b.ads
   [Ada]          unicode-names-arrows.ads
   [Ada]          unicode-names-ipa_extensions.ads
   [Ada]          unicode-names-old_persian.ads
   [Ada]          unicode-names-lepcha.ads
   [Ada]          unicode-names-cjk_symbols_and_punct.ads
   [Ada]          unicode-names-cherokee_supplement.ads
   [Ada]          unicode-names-myanmar_extended_a.ads
   [Ada]          unicode-names-elbasan.ads
   [Ada]          unicode-names-combining_diacritical_sup.ads
   [Ada]          unicode-names-cjk_compatibility_forms.ads
   [Ada]          unicode-names-cuneiform_num_punctuation.ads
   [Ada]          unicode-names-old_hungarian.ads
   [Ada]          unicode-names-musical_symbols.ads
   [Ada]          unicode-names-tagbanwa.ads
   [Ada]          unicode-names-sharada.ads
   [Ada]          unicode-names-balinese.ads
   [Ada]          unicode-names-latin_extended_b.ads
   [Ada]          unicode-names-nabataean.ads
   [Ada]          unicode-names-arabic_math_alpha_symb.ads
   [Ada]          unicode-names-kana_supplement.ads
   [Ada]          unicode-names-runic.ads
   [Ada]          unicode-names-cyrillic.ads
   [Ada]          unicode-names-avestan.ads
   [Ada]          unicode-names-latin_extended_d.ads
   [Ada]          unicode-names-yi_syllables.ads
   [Ada]          unicode-names-khmer.ads
   [Ada]          unicode-names-misc_symbols_and_arrows.ads
   [Ada]          unicode-names-variation_selectors.ads
   [Ada]          unicode-names-vedic_extensions.ads
   [Ada]          unicode-names-batak.ads
   [Ada]          unicode-names-miscellaneous_symbols.ads
   [Ada]          unicode-names-sutton_signwriting.ads
   [Ada]          unicode-names-domino_tiles.ads
   [Ada]          unicode-names-shorthand_format_controls.ads
   [Ada]          unicode-names-hangul_compatibility_jamo.ads
   [Ada]          unicode-names-sundanese.ads
   [Ada]          unicode-ces-basic_8bit.adb
   [Ada]          unicode-names-canadian_aboriginal.ads
   [Ada]          unicode-names-latin_extended_c.ads
   [Ada]          unicode-names-supplemental_punctuation.ads
   [Ada]          unicode-names-syloti_nagri.ads
   [Ada]          unicode-names-braille_patterns.ads
   [Ada]          unicode-names-basic_latin.ads
   [Ada]          unicode-names-carian.ads
   [Ada]          unicode-names-ogham.ads
   [Ada]          unicode-names-latin_extended_additional.ads
   [Ada]          unicode-names-grantha.ads
   [Ada]          unicode-names-old_permic.ads
   [Ada]          unicode-names-oriya.ads
   [Ada]          unicode-names-greek_extended.ads
   [Ada]          unicode-names-glagolitic.ads
   [Ada]          unicode-names-coptic_epact_numbers.ads
   [Ada]          unicode-names-miscellaneous_technical.ads
   [Ada]          unicode-names-hangul_jamo_extended_a.ads
   [Ada]          unicode-names-ol_chiki.ads
   [Ada]          unicode-names-kangxi_radicals.ads
   [Ada]          unicode-names-hanunoo.ads
   [Ada]          unicode-names-ugaritic.ads
   [Ada]          unicode-names-mandaic.ads
   [Ada]          unicode-ccs.adb
   [Ada]          unicode-names-buginese.ads
   [Ada]          unicode-names-cjk_compat_ideo_sup.ads
   [Ada]          unicode-names-miao.ads
   [Ada]          unicode-names-shavian.ads
   [Ada]          unicode-names-thai.ads
   [Ada]          unicode-names-ideograph_descr_chars.ads
   [Ada]          unicode-names-syriac.ads
   [Ada]          unicode-names-old_south_arabian.ads
   [Ada]          unicode-names-devanagari_extended.ads
   [Ada]          unicode-names-yi_radicals.ads
   [Ada]          unicode-names-supplemental_arrows_a.ads
   [Ada]          unicode-names-half_full_width_forms.ads
   [Ada]          unicode-names-anatolian_hieroglyphs.ads
   [Ada]          unicode-names-malayalam.ads
   [Ada]          unicode-names-number_forms.ads
   [Ada]          unicode-names-osmanya.ads
   [Ada]          unicode-names-lycian.ads
   [Ada]          unicode-names-canadian_aboriginal_ext.ads
   [Ada]          unicode-names-tibetan.ads
   [Ada]          unicode-names-dingbats.ads
   [Ada]          unicode-names-warang_citi.ads
   [Ada]          unicode-names-georgian_supplement.ads
   [Ada]          unicode-names-optical_chars_recognition.ads
   [Ada]          unicode-names-arabic_present_formsa.ads
   [Ada]          unicode-names-linear_a.ads
   [Ada]          unicode-names-egyptian_hieroglyphs.ads
   [Ada]          unicode-names-ethiopic_supplement.ads
   [Ada]          unicode-names-modi.ads
   [Ada]          unicode-names-specials.ads
   [Ada]          unicode-names-saurashtra.ads
   [Ada]          unicode-ccs-iso_8859_4.adb
   [Ada]          unicode-names-armenian.ads
   [Ada]          unicode-names-old_italic.ads
   [Ada]          unicode-names-combining_diacritical.ads
   [Ada]          unicode-names-kharoshthi.ads
   [Ada]          unicode-names-lisu.ads
   [Ada]          unicode-names-duployan.ads
   [Ada]          unicode-names-cham.ads
   [Ada]          unicode-names-caucasian_albanian.ads
   [Ada]          unicode-names-bopomofo_extended.ads
   [Ada]          unicode-names-multani.ads
   [Ada]          unicode-names-buhid.ads
   [Ada]          unicode-names-bamum.ads
   [Ada]          unicode-names-yijing_hexagram_symbols.ads
   [Ada]          unicode-names-hebrew.ads
   [Ada]          unicode-names-telugu.ads
   [Ada]          unicode-names-ethiopic_extended_a.ads
   [Ada]          unicode-names-ahom.ads
   [Ada]          unicode-names-javanese.ads
   [Ada]          sax-pointers.adb
   [Ada]          sax-htable.adb
   [Ada]          sax-locators.adb
   [Ada]          sax.ads
   [Ada]          sax-exceptions.adb
   [Ada]          sax-state_machines.adb
   [Ada]          sax-attributes.adb
   [Ada]          sax-readers.adb
   [Ada]          sax-models.adb
   [Ada]          sax-utils.adb
   [Ada]          sax-symbols.adb
   [Ada]          sax-encodings.ads
Build Libraries
   [gprlib]       xmlada_unicode.lexch
   [gprlib]       xmlada_input_sources.lexch
   [archive]      libxmlada_unicode.a
   [index]        libxmlada_unicode.a
   [gprlib]       xmlada_sax.lexch
   [archive]      libxmlada_input_sources.a
   [index]        libxmlada_input_sources.a
   [archive]      libxmlada_sax.a
   [index]        libxmlada_sax.a
   [gprlib]       utilada_xml.lexch
   [archive]      libutilada_xml.a
   [index]        libutilada_xml.a
ⓘ Building security=1.5.1/security.gpr...
Build Libraries
   [gprlib]       security.lexch
   [archive]      libsecurity.a
   [index]        libsecurity.a
ⓘ Building openapi=0.8.0/openapi.gpr...
Build Libraries
   [gprlib]       openapi.lexch
   [archive]      libopenapi.a
   [index]        libopenapi.a
ⓘ Skipping gnat_native=12.1.2 without project files...
ⓘ Installing utilada=2.7.0/.alire/utilada_conf.gpr...
ⓘ Installing utilada=2.7.0/utilada_core.gpr...
ⓘ Installing utilada=2.7.0/utilada_base.gpr...
ⓘ Installing utilada=2.7.0/utilada_sys.gpr...
ⓘ Installing xmlada=24.0.0/distrib/xmlada.gpr...
ⓘ Installing xmlada=24.0.0/dom/xmlada_dom.gpr...
ⓘ Installing xmlada=24.0.0/sax/xmlada_sax.gpr...
ⓘ Installing xmlada=24.0.0/input_sources/xmlada_input.gpr...
warning: file does not exist '/home/mgr/.local/share/alire/builds/xmlada_24.0.0_ae5a015b/0baf225fd9d311f94b8000835bfb97b1494ad847fa83fa541843ee7342df55a9/input_sources/../docs/_build/html/*'
warning: file does not exist '/home/mgr/.local/share/alire/builds/xmlada_24.0.0_ae5a015b/0baf225fd9d311f94b8000835bfb97b1494ad847fa83fa541843ee7342df55a9/input_sources/../docs/_build/latex/XMLAda.pdf'
ⓘ Installing xmlada=24.0.0/schema/xmlada_schema.gpr...
ⓘ Installing xmlada=24.0.0/unicode/xmlada_unicode.gpr...
ⓘ Installing utilada_xml=2.7.0/utilada_xml.gpr...
ⓘ Installing security=1.5.1/security.gpr...
ⓘ Installing openapi=0.8.0/openapi.gpr...

As you can see xmlada is rebuilt, that might be its own fault.

Moreover, looking at the destination directory, only some files from xmlada have been installed (and that isn't either a usable xmlada installation):

$ find $HOME/openapi_0.8.0
/home/mgr/openapi_0.8.0
/home/mgr/openapi_0.8.0/share
/home/mgr/openapi_0.8.0/share/examples
/home/mgr/openapi_0.8.0/share/examples/xmlada
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/pref.xml
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/domexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/pref_with_xsd.xml
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/dom_with_location.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/domexample2.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/dom_with_location.ads
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/convert.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/pref.xsd
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/domschemaexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/dom/default.gpr
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/dom
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/dom/domexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/dom/default.gpr
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/sax
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/sax/saxexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/sax/saxexample_main.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/sax/saxexample.ads
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/sax/default.gpr
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/README
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/schema
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/schema/schemaexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/cross/schema/default.gpr
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax/pref.xml
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax/saxexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax/saxexample_main.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax/saxexample.ads
/home/mgr/openapi_0.8.0/share/examples/xmlada/sax/default.gpr
/home/mgr/openapi_0.8.0/share/examples/xmlada/schema
/home/mgr/openapi_0.8.0/share/examples/xmlada/schema/pref.xml
/home/mgr/openapi_0.8.0/share/examples/xmlada/schema/schemaexample.adb
/home/mgr/openapi_0.8.0/share/examples/xmlada/schema/pref.xsd
/home/mgr/openapi_0.8.0/share/examples/xmlada/schema/default.gpr
/home/mgr/openapi_0.8.0/share/gpr
/home/mgr/openapi_0.8.0/share/gpr/xmlada.gpr
/home/mgr/openapi_0.8.0/share/gpr/manifests
/home/mgr/openapi_0.8.0/share/gpr/manifests/xmlada=24.0.0