I'm trying to investigate why pins won't work for arm64 builds of alire but work for amd64 builds of Alire. I see this issue in v1.2.2. I decided I would use the main branch to investigate anyways. However, I can no longer even initialize a crate to reproduce the issue to investigate.

In looking into it, whenever I try to initialize a new crate (e.g., alr init --in-place --bin), an exception is raised. I see this both in the amd64 and arm64 builds of Alire (I built it and tested on both architectures). The following line is where the exception is raised:

The following is what alire prints to the console:

error: failed precondition from alire-roots-optional.ads:43
error: alr encountered an unexpected error, re-run with -d for details.

If you turn on verbose logging, you can see this printed to the console:

stderr: CONSTRAINT_ERROR
stderr: Unexpected property count: 0
stderr: raised CONSTRAINT_ERROR : Unexpected property count: 0

The property key it is looking for is NAME.

I should note I develop on a Mac M1 and run this inside a docker container. That shouldn't really affect much since every other tool in any language I develop in works, including other Ada/SPARK tools and previous versions of Alire (minus some features like pins...).

I'll use the version of Alire where I experience the pin issue to try to debug that but I thought I should raise this in case anyone else experiences it.