Test ran at 2025-03-01 00:48:55.227991+00:00 SOLUTION: langkit_support=25.0.0: Runtime support library for Langkit-generated libraries Origin: source archive langkit-25.0.0.zip at https://github.com/adacore/langkit/archive/v25.0.0/langkit-25.0.0.zip with hash sha512:7c5f49810ebc141a0c95fead0f57bf2906194598f3ba12ed1239b3f8812ffa967add7359d8d6b9f0f1bcbb01b069a89438b59380dcc3a4b9ee1b49a31bf8f5bd Properties: Author: AdaCore Description: Runtime support library for Langkit-generated libraries License: Apache-2.0 WITH LLVM-exception Maintainer: Pierre-Marie de Rodat Maintainer: chouteau@adacore.com Maintainers_Logins: pmderodat Maintainers_Logins: Fabien-Chouteau Name: langkit_support Project_File: langkit/support/langkit_support.gpr Version: 25.0.0 Website: https://github.com/AdaCore/langkit Dependencies (direct): adasat^25 gnatcoll^25 gnatcoll_gmp^25 gnatcoll_iconv^25 prettier_ada^25 Dependencies (solution): adasat=25.0.0 gnat=13.2.2 (gnat_native) gnatcoll=25.0.0 gnatcoll_gmp=25.0.0 gnatcoll_iconv=25.0.0 libgmp=6.3.0 libgpr=25.0.0 prettier_ada=25.0.0 vss=25.0.0 xmlada=25.0.0 Dependencies (graph): gnatcoll=25.0.0 --> gnat=13.2.2 (gnat_native) (>=13) gnatcoll=25.0.0 --> libgpr=25.0.0 (~25.0.0) gnatcoll_gmp=25.0.0 --> gnatcoll=25.0.0 (~25.0.0) gnatcoll_gmp=25.0.0 --> libgmp=6.3.0 (*) gnatcoll_iconv=25.0.0 --> gnatcoll=25.0.0 (~25.0.0) langkit_support=25.0.0 --> adasat=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll_gmp=25.0.0 (^25) langkit_support=25.0.0 --> gnatcoll_iconv=25.0.0 (^25) langkit_support=25.0.0 --> prettier_ada=25.0.0 (^25) libgpr=25.0.0 --> gnat=13.2.2 (gnat_native) (/=2020) libgpr=25.0.0 --> xmlada=25.0.0 (~25.0.0) prettier_ada=25.0.0 --> gnatcoll=25.0.0 (^25) prettier_ada=25.0.0 --> vss=25.0.0 (^25) vss=25.0.0 --> gnat=13.2.2 (gnat_native) (>=11 & <2000) xmlada=25.0.0 --> gnat=13.2.2 (gnat_native) (>=11) LOG: Spawning: alr -d -n get --build langkit_support=25.0.0 Note: Deploying langkit_support=25.0.0... #=#=# ##O#-# ##O=# # #-#O=# # #-#O=# # #-#O=-# # Note: Deploying adasat=25.0.0... #=#=# ##O#-# ##O=# # #-#O=# # Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ##O#-# ##O=# # #-#O=# # #-#O=# # Note: Deploying gnatcoll_iconv=25.0.0... #=#=# ##O#-# ##O=# # #-#O=# # Note: Deploying prettier_ada=25.0.0... #=#=# ##O#-# ##O=# # #-#O=# # Note: Building langkit_support=25.0.0/langkit/support/langkit_support.gpr... Setup [mkdir] object directory for project AdaSAT [mkdir] exec directory for project AdaSAT [mkdir] library directory for project AdaSAT [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 Prettier_Ada [mkdir] library directory for project Prettier_Ada [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support Compile [Ada] prettier_ada-documents-builders.adb [Ada] prettier_ada-document_vector_vectors.ads [Ada] prettier_ada.ads [Ada] prettier_ada-generic_formatters.adb [Ada] prettier_ada-optionals.ads [Ada] prettier_ada-documents-implementation.adb [Ada] prettier_ada-documents-json.adb [Ada] prettier_ada-documents.adb [Ada] prettier_ada-document_vectors.ads [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gnatcoll-gmp-mpz_even_p.c [C] gnatcoll-gmp-mpz_odd_p.c [C] gnatcoll-gmp-mpz_sign.c [C] gmp_support.c [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-integers-misc.adb [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-integers-random.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers-root_extraction.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] schema-simple_types.adb [Ada] schema.adb [Ada] schema-validators.adb [Ada] schema-decimal.adb [Ada] schema-schema_readers.adb [Ada] schema-dom_readers.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-date_time.adb [Ada] schema-readers.adb [Ada] dom-core.adb [Ada] dom-core-document_fragments.ads [Ada] dom-readers.adb [Ada] dom-core-texts.adb [Ada] dom-core-documents.adb [Ada] dom-core-elements.adb [Ada] dom-core-attrs.adb [Ada] dom-core-character_datas.adb [Ada] dom-core-nodes.adb [Ada] dom.ads [Ada] dom-core-cdata_sections.ads [Ada] dom-core-entity_references.ads [Ada] dom-core-document_types.adb [Ada] dom-core-comments.ads [Ada] dom-core-notations.adb [Ada] dom-core-processing_instructions.ads [C] gpr_imports.c [Ada] gpr-attr-pm.adb [Ada] gpr-ali.adb [Ada] gpr-pp.adb [Ada] gpr-ext.adb [Ada] gpr-debug.adb [Ada] gpr-script.adb [Ada] gpr-compilation-process.adb [Ada] gpr-compilation-sync.adb [Ada] gpr-tempdir.adb [Ada] gpr-jobserver.adb [Ada] gpr-snames.adb [Ada] gpr.adb [Ada] gpr-conf.adb [Ada] gpr-cset.adb [Ada] gpr-compilation-process-waiter.adb [Ada] gpr-strt.adb [Ada] gpr-output.adb [Ada] gpr-util-aux.adb [Ada] gpr-opt.ads [Ada] gpr-util.adb [Ada] gpr-tree.adb [Ada] gpr-proc.adb [Ada] gpr-nmsc.adb [Ada] gpr-part.adb [Ada] gpr-compilation-slave.adb [Ada] gpr-osint.adb [Ada] gpr-dect.adb [Ada] gpr-attr.adb [Ada] gpr-com.ads [Ada] gpr-compilation.adb [Ada] gpr-knowledge.adb [Ada] gpr-scans.adb [Ada] gpr-compilation-protocol.adb [Ada] gpr-env.adb [Ada] gpr-erroutc.adb [Ada] gpr-err.adb [Ada] gpr-sdefault.adb [Ada] gpr_build_util.adb [Ada] gpr-sinput.adb [Ada] gpr-version.adb [Ada] gpr-names.adb [Ada] gnatcoll-projects-normalize.adb [Ada] gnatcoll-projects-aux.adb [Ada] gnatcoll-projects-krunch.adb [Ada] gnatcoll-scripts-files.adb [Ada] gnatcoll-projects.adb [Ada] gnatcoll-scripts-projects.adb [Ada] adasat-internals.ads [Ada] adasat-theory.ads [Ada] adasat-formulas.adb [Ada] adasat-decisions.adb [Ada] adasat-dpll.adb [Ada] adasat-vectors.adb [Ada] adasat-builders.adb [Ada] adasat.adb [Ada] adasat-helpers.adb [Ada] langkit_support-file_readers.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-packrat.adb [Ada] langkit_support-names.adb [Ada] langkit_support-adalog-solver-diagnostics.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-internal-unparsing.ads [Ada] langkit_support-adalog-logic_var.adb [Ada] langkit_support-text.adb [Ada] langkit_support-generic_api-unparsing.adb [Ada] langkit_support-hashes.adb [Ada] langkit_support.ads [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-array_utils.adb [Ada] langkit_support-images.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-errors.ads [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-names-maps.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-slocs.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-types.ads [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-relative_get.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-boxes.adb [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-generic_api.adb [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support-prettier_utils.adb Build Libraries [gprlib] adasat.lexch [gprlib] xmlada_dom.lexch [archive] libadasat.a [gprlib] xmlada_schema.lexch [archive] libxmlada_dom.a [index] libadasat.a [index] libxmlada_dom.a [gprlib] gpr.lexch [archive] libxmlada_schema.a [index] libxmlada_schema.a [gprlib] gnatcoll_projects.lexch [archive] libgpr.a [index] libgpr.a [gprlib] gnatcoll_gmp.lexch [gprlib] gnatcoll_iconv.lexch [gprlib] prettier_ada.lexch [archive] libgnatcoll_projects.a [archive] libgnatcoll_gmp.a [archive] libgnatcoll_iconv.a [index] libgnatcoll_iconv.a [index] libgnatcoll_gmp.a [archive] libprettier_ada.a [index] libgnatcoll_projects.a [index] libprettier_ada.a [gprlib] langkit_support.lexch [bind SAL] langkit_support [Ada] b__langkit_support.adb [objcopy] p__langkit_support_0.o [archive] liblangkit_support.a [index] liblangkit_support.a langkit_support=25.0.0 successfully retrieved and built. Dependencies were solved as follows: + adasat 25.0.0 (new) +b gnat 13.2.2 (new,gnat_native,indirect,binary) + gnatcoll 25.0.0 (new) + gnatcoll_gmp 25.0.0 (new) + gnatcoll_iconv 25.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 25.0.0 (new,indirect) + prettier_ada 25.0.0 (new) + vss 25.0.0 (new,indirect) + xmlada 25.0.0 (new,indirect) Found declared GPR file: langkit/support/langkit_support.gpr