Enhancements to actions documentation/testing (#1128)

* New test for 'directory' property of actions

* Improvements to actions docs in catalog spec

* Code review fix

* Bump submodule

Co-authored-by: GHA <actions@github.com>

Reason for missing releases in solution (#1127)

* Store/display reason for crate missing in solution

* Add missing reasons to tests

* New test checking missing reasons

Although other tests already exercise the new feature, this way we have an
explicit one in case the others changed at some point.

* s/unindexed/unknown/

Co-authored-by: GHA <actions@github.com>

workaround for gnatcoll-core#64 / gnatstudio#128 (#1141)

This is a workaround for issue AdaCore/gnatstudio#128 and AdaCore/gnatcoll-core#64 where GNAT Studio fails to open recently-updated or newly-created alire files. Breaking the Ada_Compiler_Switches up into two statements resloves this problem.

Emit error for all unset configuration variables (#1132)

* Emit error for all unset configuration variables

* Add test using config_index

* Move index to test directory

* Move test to config

Allow publishing to complete for an existing release with --force (#1130)

* Honor the --force option when publishing a crate (#1083)

When publishing and checking for existing crate with same version,
if the crate already exist and the force option is used,
emit a warning message and continue.

* Use Recoverable_Error to report that a crate version already exists

Alire.Crate_Configuration: Fix end of quote (#1124)

Minor improvements to solver progress output (#1117)

Remove duplicate messages, and add progress while we are still in the space of
complete solutions (as nothing was reported if no complete solution was found).

Co-authored-by: GHA <actions@github.com>

Document nested crates in Best Practices (#1123)

Co-authored-by: GHA <actions@github.com>

 Alire.Utils.Switches: remove -gnateE when debug info enabled (#1120)

The switch is not compatible with embedded targets/run-times.
See #1118 .

Speed-up search of incomplete solutions (#1116)

* Speed-up search of incomplete solutions

We now avoid earlier the solving of a dependency which has been already seen in
the search branch.

We also had a bug that was duplicating the search space with every extra
dependency. That meant an exponential increase in time for every extra
dependency. Fortunately, this only affected incomplete solutions.

In practice there are no visible changes as the solutions found are ultimately
the same.

* Fixes found by GHA

Co-authored-by: GHA <actions@github.com>

Alire.Solver: Refactor types for simpler updates (#1110)

Use last build profile on `alr run` (#1080)

* Use last build profile on `alr run`

* user-changes.md: explain new behavior

Show providers of an abstract crate (#1114)

* Show providers of abstract crates in `alr show`

* Test for the new output

Co-authored-by: GHA <actions@github.com>

Remove some ambiguities that led to warnings (#1113)

Thanks to Simon J. Wright

Co-authored-by: GHA <actions@github.com>

Fix gnat_external detection on `alr toolchain` (#1104)

* Fix gnat_external detection on `alr toolchain`

* Clarify what's going on with test

Fix solver interactions on 'Always' timeout (#1103)

Remove obsolescent files (#1105)

Use "*" for auto dependency when pinning to parent (#1107)

This is probably what the user wants 99% of the time.

Add newline before [[depends-on]] and [[pins]] (#1108)

When these are automatically added by `alr with`/`alr pin`.

This is more in line with what we see in manually edited manifests.

Prepend projects to GPR_PROJECT_PATH (#1098)

We were appending which could cause mix-ups when there was another compiler in
the user path (as we are already prepending in the case of PATH)

Remove more unneeded full index loading/external detections (#1097)

* Remove some unneeded external detection

* Fix bug in versions detection pattern matcher

* Remove some instances of full index loading

And some unnecessary instances of external detection

Fix generated pin to parent crate (#1096)

* Replace buggy relative path in GNATCOLL

* New test for relative pins to parent crate

Co-authored-by: GHA <actions@github.com>

Add Savannah from GNU to trusted sites (#1095)

Co-authored-by: GHA <actions@github.com>

Lazy index loading (2/2) (#1086)

* Index queries autoload crates if required

* Avoid infinite recursion when no indexes configured

* Remove references to Requires_Full_Index

* Fixed issues pending "provides" redo

* Generate and use a providers cache file

This cache file, which is common to all indexes, tells us in advance which
crates have to be loaded because they provide some another crate. E.g., if
"gnat" is requested to be loaded, we need to load all gnat_native, and
x-compilers.

If this file doesn't exist, we can only be sure by loading the full index, at
which time the file is regenerated for future use.

* Fix bug where all crates with same prefix were loaded

E.g. we were loading all gn* when only gnat_native needed to be loaded

* Fix providers generation when no index configured

* Add spinner during index load

* Remove the now redundant external aliases collection

* Removed last instances of forced index loading

* Fix for older compilers

* Test for the generated metadata file

* publishing.md: note about private indexes and "provides"

* Post-merge fix

Co-authored-by: GHA <actions@github.com>

Lazy index loading (1/2) (#1085)

* Index queries autoload crates if required

* Avoid infinite recursion when no indexes configured

* Remove references to Requires_Full_Index

* Fixed issues pending "provides" redo

Co-authored-by: GHA <actions@github.com>

Fix host arch (#1092)

* Alire.Utils: add a function to return a string image of keys in map

* Alire.Expressions: improve error message with list of possible case

* Alire.TOML_Load: add missing host arch enum

Fix bracket in alr help show (#1073)

Allow more than one conditional action (#1070)

* Allow conditional tables within multivalue arrays

* New test for loading of conditional actions

Co-authored-by: GHA <actions@github.com>

Export build-switches to TOML (#1072)

Keep `last_build_profile` in sync with profile requested in manifest (#1049)

* Sync internal last_build_profile with manifest

* Test for the new behavior

* Replace field in Root with a pointer and manual management

* Fix warnings in gnatcoll-slim

* Fix new warnings unearthed by GNAT 12.1

Co-authored-by: GHA <actions@github.com>

Fix new warnings in GNAT 12.1 (#1071)

* Fix warnings in gnatcoll-slim

* Fix new warnings unearthed by GNAT 12.1

Alire.Utils.Switches: add -gnateE when debug info enabled (#1057)

-gnateE adds extra info in exception messages.

Update dependencies to indexed versions (#1046)

* Update manifest & submodules, remove unneeded pins

* Migrate to AnsiAda 1.0

* Migrate to URI_Ada 2.0

* Update to clic 0.2.1

* Update submodule to aaa v0.2.5

* Remove clic forced library type

* Restore gnatcoll pin

* Revert "Remove clic forced library type"

This reverts commit 742413cb2da4742d1157af308062e9339c5b95da.

Co-authored-by: GHA <actions@github.com>

Alire.Crate.Configuration: disable style checks in generated code (#1047)

With the current style checks it is easy to break coding style by having
to many values in an enum for instance.

In theory we could generate better code for enums. But since users can
use their own coding style, it is impossible to be compatible with in
every situation.

So the best option is to disable all checks for this file.

Alr.Commands.Edit: update pointer to GNAT Studio release (#1045)

* Alr.Commands.Edit: update pointer to GNAT Studio release

* Update test.py

Sync with branch 'alire/release/1.2'

Update user-changes.md (#1043)

* Update user-changes.md

* Update user-changes.md

Bump versions to 1.2

Speed-up detection of installed externals in RPM-based distros (#1036)

* Speed-up detection of installed externals in RPM distros

Although the yum/dnf wrappers are needed for the installation proper, we can
speed up detections of already installed packages by using rpm directly.
Unfortunately, rpm cannot give info on not installed packages, but this still
speeds up things greatly for the usual case of gnat/gprbuild being installed.

* Refactor duplicated code

Sync with  branch 'alire/release/1.2'

Sync with branch 'alire/release/1.2'

Fix early parsing of verbosity switches (#1034)

* Fix early parsing of verbosity switches

We were recognizing them even after the subcommand. This also meant that it
would have been impossible to have regular output if a -v is intended for the
subcommand, e.g. in `alr exec -- whatever -v`.

* Bump/sync clic submodule/dependency

Sync with branch 'release/1.2'

Alire.Utils.Switches: Disable No_Exception_Propagation warning

This switch was always added to the init crates and should have been
included in the first version of build profiles. The warnings are only
displayed for embedded project based on run-times without exception
propagation, and can be very annoying.

Alire.Utils.Switches: Disable No_Exception_Propagation warning (#1030)

Alire.Utils.Switches: Disable No_Exception_Propagation warning

Alire.Utils.Switches: Disable No_Exception_Propagation warning

This switch was always added to the init crates and should have been
included in the first version of build profiles. The warnings are only
displayed for embedded project based on run-times without exception
propagation, and can be very annoying.

alire.toml: Bump version to 1.2-rc1

Bump version to 1.3-dev

Sync with release/1.2

Bump alr and index versions to 1.2

Bump alr and index versions to 1.2

Fix retrieval of git root and prefix inside repo (#1024)

* Fix retrieval of git root and prefix inside repo

* Fix instantiation on older compilers

* Alire.VSSs.Git: Fix unreferenced parameter

* Alire.Publish: fix reversed logic

* Code review fixes

Co-authored-by: GHA <actions@github.com>

New `alr get --dirname` switch (#1014)

* Alr.Commands.Get: New --dirname switch

This switch just shows in which folder the just downloaded crate can be found.

* Tests for `alr get --dirname`

Co-authored-by: GHA <actions@github.com>

Create zipball with full sources for releases (#1023)

* Create asset for full sources with submodules

* No need to run in multiple OSes

Co-authored-by: GHA <actions@github.com>

Don't detect external tools when they're not (#1018)

Properly detect domain in publishing assistant (#1020)

Fixes #1011

Co-authored-by: GHA <actions@github.com>

Load the index when dependencies are needed (#1019)

* Load the index when dependencies are needed

* Test for this fix

Co-authored-by: GHA <actions@github.com>

tests/crate_config/basic: fix arm64 expected host (#1015)

Co-authored-by: GHA <actions@github.com>

Update msys installer (#1017)

Co-authored-by: GHA <actions@github.com>

Show just the version with `alr --version` (#1013)

* Add a new --version standalone switch

* Add a couple of new tests

Bump index version (#1009)

* Alire.Index_On_Disk: Drop index cache after deletion

Also ensure that all index addition functions operate with fresh index
information

* Bump index version

* Allow disabling the "old compatible index" warning

Also use real old compatible version to not have to use a fake old compatible version

* Alire.Config.Edit: fix copypasta mistake

Co-authored-by: GHA <actions@github.com>

Alire.Index_On_Disk: Drop index cache after deletion (#1010)

Also ensure that all index addition functions operate with fresh index
information

Co-authored-by: GHA <actions@github.com>

Cache index detection and crate loading (#1008)

Implement load of individual crates from index (#1006)

* Make index set its own type

* Basics for individual crate loading in place

* Complete single crate loading and use in `show`

* Use Empty_Set instead of Empty for older compilers

Alr.Commands.Init: Create share folder for resources (#1003)

Note that gprinstall won't complain if this folder doesn't exists, so
users can decided to leave it empty or remove it in case they don't have
resources.

Alr.Commands.Init: change default version for new crates to 0.1.0-dev (#1004)

Update getting-started.md (#1000)

* Update getting-started.md

* Update getting-started.md

Alire.Properties.Configurations: revert forced mixed case (#998)

* Alire.Properties.Configurations: revert forced mixed case

Forcing mixed case for enum values breaks existing crates (atomic).

* Alire.Crate_Configuration: force build profiles to lower case

The default is upper case because values are generated from Enum'Img.

Refactor Alire.Features.Indes -> Alire.Index_On_Disk.Loading (#992)

The Alire.Features.* hierarchy was ill-conceived so getting rid of it by moving
a package around.

New `action` subcommand (#983)

* New 'action' subcommand, listing supported

* Alr.Commands.Action: Add execution of given action

* Add tests for action listing and triggering

* doc/user-changes.md: document new `alr action`

* Self-review fixes

Alire.Crate_Configuration: Fix pragma No_Elaboration_Code (#987)

pragma No_Elaboration_Code_All has an impact on implicitly or explicitly with’ed units:
https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/implementation_defined_pragmas.html

Alr.Command: fix gnatcov built-in alias (#986)

The first argument of gnatcov must be the action (`instrument`, `coverage`, etc.).

Alire.Utils.Switches: Disable contracts for Development profile (#979)

This was probably too aggressive as contracts severely impact performances.

Alr.Commands.Init: Fix missing config src dir (#981)

Reject manifest keys with underscores (#980)

These were slipping in before due to improper validation

Fix some rich output that eluded --no-color/--no-tty (#978)

* Fix some colored unicode not disabled by --no-tty

* Update manifest pin for clic to match submodule

* Bump clic submodule and pin

Use proper index versioning for backwards compatibility (#975)

* Use index versioning for backwards compatibility

* Improvements to wording of errors

* New tests for old-compatible and old-incompatible

* Tweaks to tests due to minor changes in output

* Clean up leftover comments

Co-authored-by: GHA <actions@github.com>

Alire.Manifest: Remove "Added by alr" comments (#977)

* Alire.Manifest: Remove "Added by alr" comments

* Bump clic dependency

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>

Update msys2 installer and allow user to set version (#970)

Remapping of ARM64 to AARCH64 (#968)

* Remapping of ARM64 to AARCH64

* Code review fix

Co-authored-by: GHA <actions@github.com>

Alire.Crate_Configuration: add built-in values for host OS, Arch and Distro (#961)

* Alire.Crate_Configuration: add built-in values for host OS, Arch and Distro

This will be very useful for platform specific code.

* Alire.Crate_Configuration: Tweak generated code

The Ada/GPR constant names, package names, and enum values are forced to mixed case.
The C constant names are forced to upper case.

* Alire.Platforms: Refactoring to fix elaboration

Msys2 install in Alire.Platforms.Init added elaboration issue for code using (e.g.) Current.Operating_System in elaboration.

Remove git --progress flag (fixes #966) (#967)

Silence git when not running in a tty (#963)

Alire.Crate_Configuration: Add a Crate_Name constant for all configs (#957)

* alire.toml: bump gnatcoll-slim commit to match git submodule

* Alire.Crate_Configuration: Add a Crate_Name constant for all configs

Just a convenient thing to have, for instance with the upcoming
Resources crate.

Alire.Environment: change _PREFIX to _ALIRE_PREFIX (#958)

* alire.toml: bump gnatcoll-slim commit to match git submodule

* Alire.Environment: change _PREFIX to _ALIRE_PREFIX

With just _PREFIX there is a high risk of conflicts with legitimate use
of environment variables.

alire.toml: bump gnatcoll-slim commit to match git submodule (#959)

Alr.Commands.Exec: -P switch to add project file on the command line (#956)

* Alr.Commands.Exec: -P switch to add project file on the command line

* Alr.Commands: Add built-in aliases for gnatcov and gnatprove

Change default GPRbuild switches (#955)

- Remove `-gnatwU` (Recompile if compiler switches have changed):
     It is a legacy from the time when the index was in Ada. Removal may
     trigger some issue on crates with warnings-as-error. But the longer
     we wait the bigger of a problem it will be.

 - Add `-s` (Recompile if compiler switches have changed):
     As discussed in #952, it makes sense to have this default for all
     builds.

Alire.Environment: export <CRATE_NAME>_PREFIX for all crates of solution (#954)

This is to be used for retrieval of crate resources, see #948.

Alire.Properties.Build_Switches: Add support for Ada version switches (#953)

New property for detected host architecture (#932)

* New property for detected host architecture

This will allow indexing the proper binaries for different host architectures.

* Don't use uname on Windows

Leftover comments from platform refactor (#950)

Remove pins from manifest during `alr publish` (#947)

* Remove pins from deployed sources and final manifest

* Bump toml_slicer pin in manifest

* Test for pin removal during `alr publish`

bugfix: emit all found executables (#946)

Support for publishing of crates in subdirectories of repositories (#939)

* Added require information to Origins

* Unique folder name for monorepos

* Use subdir all around, but for publishing

* Alire.Publish: detect and publish nested crates

* Alire.Roots: Properly deploy/use nested crates

* Test for basic publishing and using of monorepo

* Test for nesting beyond the top level

* Test no subdir accepted for non-repo origins

* user-changes.md: new monorepo feature

* Updates to various documentations

* Create info file for monorepo releases

This is an empty file in the dependencies folder that helps curious users to
understand where a particular release is coming from. For example:

dependencies
 +-- monorepo_adef1234
      +-- mycrate
 +-- mycrate_1.0.0_in_monorepo_adef1234

* Self-review fixes

* Fixes for Windows

Windows may return paths with either long or short names which complicate a bit
comparing two directories as we do to detect nested crates. To us, the problem
esteems from git returning different names than the Ada std lib.

* Alire.Releases: fix obsolete header box

Co-authored-by: Jesper Quorning <jesper.quorning@gmail.com>
* Test using crates from different monorepo commits

Co-authored-by: Jesper Quorning <jesper.quorning@gmail.com>

doc: Add an introduction and update getting-started.md (#899)

* doc: Add an introduction and update getting-started.md

* Review typo fixes

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>

Display pins in show/with commands (#940)

* Display pins in show/with commands

* Tweaks to testsuite for new output

alr.py: ensure baseline git configuration in tests (#936)

Log command line before parsing & execution (#938)

New config option to disable community index (#933)

* New config option to disable community index

This way we can ensure that no test in our testsuite is inadvertently using the
community index, as indeed it was happening.

* Code review

Refactor scattered platform code into Alire.Platforms.Current (#931)

* Refactor Alire.Platform into Alire.Platforms.Current [linux]

* Refactor Alire.Platform as Alire.Platforms.Current [macOS]

* Refactor Alire.Platform as Alire.Platforms.Current [Windows]

* Refactor Alr.Platform as Alire.Platforms.Current [Linux]

* Refactor Alr.Platform into Alire.Platforms.Current [macOS]

* Refactor Alr.Platform into Alire.Platforms.Current [Windows]

* Dummy files to keep some empty dirs for the future

* Ensure OS-specific init is performed at startup

* Alire.Root: remove no longer needed Env copy