Prefer usage of quantified expressions (#1238)

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

Merge pull request #1694 from yannickmoy/typos-in-doc

Fix typos and hyperlinks in doc

Fix typos and hyperlinks in doc

Merge branch 'release/2.0'

Fix monorepo bug wrt location of generated manifest (#1684)

* Fix monorepo bug wrt location of generated manifest

When deploying crates, to avoid confusion, we replace the packaged manifest (if
any) with the one from the index, which is the one used anyway. For monorepos,
the replacement was placed at the repo root instead of at the crate location.

* Use macOS 12 to avoid linking problems

* Self-review

Fix monorepo bug wrt location of generated manifest (#1684)

* Fix monorepo bug wrt location of generated manifest

When deploying crates, to avoid confusion, we replace the packaged manifest (if
any) with the one from the index, which is the one used anyway. For monorepos,
the replacement was placed at the repo root instead of at the crate location.

* Use macOS 12 to avoid linking problems

* Self-review

new dev/clean.sh (#1686)

Fix macOS workflows (user macos-12 runner) (#1685)

Fix non-ASCII char used when --no-color in effect (#1661)

Fix non-ASCII char used when --no-color in effect (#1661)

Use latest FSF GNAT for nightly alr builds (#1659)

Merge branch 'alire/release/2.0'

Use oldest Ubuntu LTS for releases (#1647)

Release 2.0.1 preparations (#1658)

Testsuite control condition for Unix-only (#1657)

* Test control condition for Unix-only

* Fix test post-merge

Fix completion script to avoid unwanted index updates (#1656)

Early error if toolchain unavailable for testsuite (#1655)

Merge branch 'release/2.0'

Fix installation of binary crates containing softlinks (#1653)

* Force creation of missing soft link

* More detailed test of softlink installation

dev/build.sh: control build jobs with $ALIRE_BUILD_JOBS (#1651)

This is just a minor quality-of-life improvement for packaging. Note
that this also quotes the argument to echo so that if (somehow)
$ALIRE_OS were set to a malicious value, no harm could be done.

Update msys2 installer (#1648)

* Update msys2 installer

* Ensure msys2 from commit is tested

Alire.Utils.Regex: initialize matches explicitly (#1637)

Fix installation of binary crates containing softlinks (#1653)

* Force creation of missing soft link

* More detailed test of softlink installation

Rename switch arguments to indicate expected type (#1650)

In commands with options that admit arguments, like '--prefix' in
'alr install', is useful to provide an argument name in the command
help that gives a hint of the expected type.

For example, 'alr install -h' shows the message:
====
OPTIONS
   --prefix=ARG   Override installation prefix (default is ...)
====

When changed to:
====
OPTIONS
   --prefix=DIR   Override installation prefix (default is ...)
====

the 'DIR' name of the argument immediately says what is expected in this
option. In cases where this is not so obvious, it helps even more.
For example, in 'alr build -h':
====
OPTIONS
   --profiles=LIST     Comma-separated list of <crate>=<profile> values (see description)
   --stop-after=STAGE  Build stage after which to stop (see description)
====

is a quick remainder of what is expected in that options.

Rename switch arguments to indicate expected type (#1650)

In commands with options that admit arguments, like '--prefix' in
'alr install', is useful to provide an argument name in the command
help that gives a hint of the expected type.

For example, 'alr install -h' shows the message:
====
OPTIONS
   --prefix=ARG   Override installation prefix (default is ...)
====

When changed to:
====
OPTIONS
   --prefix=DIR   Override installation prefix (default is ...)
====

the 'DIR' name of the argument immediately says what is expected in this
option. In cases where this is not so obvious, it helps even more.
For example, in 'alr build -h':
====
OPTIONS
   --profiles=LIST     Comma-separated list of <crate>=<profile> values (see description)
   --stop-after=STAGE  Build stage after which to stop (see description)
====

is a quick remainder of what is expected in that options.

Enforce usage of Sementic_Versioning when printing Alire/Alr version (#1643) (#1652)

* Enforce usage of Sementic_Versioning when printing Alire/Alr version

To ensure a consistent formatting whatever the version.
The version string is now private, only the semver type is visible.

* Enforce usage of Sementic_Versioning for index versions

dev/build.sh: control build jobs with $ALIRE_BUILD_JOBS (#1651)

This is just a minor quality-of-life improvement for packaging. Note
that this also quotes the argument to echo so that if (somehow)
$ALIRE_OS were set to a malicious value, no harm could be done.

Use oldest Ubuntu LTS for releases (#1647)

Update msys2 installer (#1648)

* Update msys2 installer

* Ensure msys2 from commit is tested

QR pointing to alire.ada.dev (#1649)

Move `upgrading.md` to `doc/` dir to make it available on the website (#1645)

Alire.Features: restore proper config deprecation (#1640)

Move `upgrading.md` to `doc/` dir to make it available on the website (#1645)

Enforce usage of Sementic_Versioning when printing Alire/Alr version (#1643)

* Enforce usage of Sementic_Versioning when printing Alire/Alr version

To ensure a consistent formatting whatever the version.
The version string is now private, only the semver type is visible.

* Enforce usage of Sementic_Versioning for index versions

Alire.Features: restore proper config deprecation (#1640)

Remove use of GNAT Community Edition (#1641)

setup-alire@v3 no longer uses GNAT CE so we can always test with GNAT FSF.

user-changes.md: remove -dev from the user changes section (#1644)

Remove unused entity (#1636)

Alire.Utils.Regex: initialize matches explicitly (#1637)

Updated BREAKING.md

Bump versions to 2.1-dev

Merge remote-tracking branch 'alire/master' into release/2.0

Bump version to 2.0

Don't say unknown crate for abstract crates in `alr get` (#1633)

* Inform about providers in `alr get`

* Test for the change

Classify builds by release milestone (#1632)

Remainders of the config --> settings refactor (#1631)

* Remainders of the config --> settings refactor

* Fix Windows-only builtins

Refactor `--config` as `--settings` (#1627)

* Refactor `ALR_CONFIG` to `ALIRE_SETTINGS`

* Replace --config with --settings

* Code review

* Post-merge fix

`config.toml` --> `settings.toml` (#1626)

* config.toml --> settings.toml

* Prepend comment in `config.toml` about migration

* Remove file touching

Refactor `ALR_CONFIG` to `ALIRE_SETTINGS_DIR` (#1625)

* Refactor `ALR_CONFIG` to `ALIRE_SETTINGS`

* Code review

More conventional location for settings in Windows (#1624)

To avoid mixing top levels, also nest the cache too.

Refactor `Alire.Config.*` as `Alire.Settings.*` (#1622)

* Refactor `Alire.Config.*` as `Alire.Settings.*`

* Refactor Windows-only files

Missing dependencies in testsuite documentation. (#1620)

* Missing dependencies in testsuite documentation.

Required package 'pexpect' is not installed as a dependency of
'e3-testsuite', so is has to be explicitly installed.

Neither 'e3-testsuite' nor 'e3-core' depend on it:

$ pip show e3-testsuite e3-core
Name: e3-testsuite
Version: 26.0
Summary: E3 testsuite
Home-page:
Author: AdaCore
Author-email: info@adacore.com
License: GPLv3
Location: /home/ada/opt/alire/venv/lib/python3.10/site-packages
Requires: e3-core
Required-by:
---
Name: e3-core
Version: 22.4.0
Summary: E3 core. Tools and library for building and testing software
Home-page: https://github.com/AdaCore/e3-core
Author: AdaCore
Author-email: info@adacore.com
License: GPLv3
Location: /home/ada/opt/alire/venv/lib/python3.10/site-packages
Requires: colorama, ld, packaging, psutil, python-dateutil, pyyaml, requests, requests-cache, requests-toolbelt, setuptools, stevedore, tqdm
Required-by: e3-testsuite
* Install pip dependencies using requirements.txt

Handle config switch missing argument exceptions (#1619)

Both 'alr -c' and 'alr --config' throw exceptions because a required
parameter is missing.

This fix handle missing parameter of config switch in the same way as, for
example, 'alr -C' and 'alr --chdir': an error message informs the user that a
required parameter is missing.

Clarify remark about `--force` in `alr install --help` (#1618)

Since it affects the place where the argument can be used, the user
has to be aware of that.

New `alr settings` command to replace `alr config` (#1617)

This change is introduced to tackle the confusion between the
configuration of the Alire commands and operations, and the
configuration of crates.

`alr config` is still available and should work as before with the
exception of a deprecation warning message.

Remove .md extension from internal documentation links (#893) (#1616)

Remove `toolchain --install/--uninstall/--install-dir` (#1614)

* Remove --[un]install, --install-dir

* Patch tests

* User changes

* review of --install et al. removal

* Fix test broken by new crate hash

Override distro via config key (#1610)

Don't try to obtain the parent dir of '/' in tmp cleanup (#1609)

Document more configuration details (#1611)

Version bumps for 2.0-rc1

Require explicit `binary=true` for all binary origins (#1598)

* Package to track future features

* Loading metadata and explicit binary

Bug box in case of Program_Error and related tweaks (#1595)

* bug box in case of Program_Error

* Fix optionally appearing address in error location

* alire-errors.ads: typo

Make msys live inside overridden config path by default (#1589)

* Don't run OS initialization during elaboration

As this makes impossible to tweak such initialization with `alr config`.

* Make msys live inside overriden config path by default

* Better explanation in alr.py

* Fix config loading before Windows builtins

Bump toml_slicer dependency (#1597)

Reinstate lost style checks (#1591)

* Reinstate lost style checks

* Explicit style checks and corresponding fixes

Relocate cache with config builtin `cache.dir` (#1593)

catalog spec: update supported `os` and `distribution` values (#1594)

* Update the supported values of the os and distribution parameters.

* Use new `distribution-unknown`

---------

Co-authored-by: John Serock <1468970+serock@users.noreply.github.com>

Platforms: `distribution-unknown` to better match... (#1590)

...its variable name which is `distribution`

Don't run OS initialization during elaboration (#1592)

As this makes impossible to tweak such initialization with `alr config`.

Interpret `environment` entries as path parts (#1483)

* Intepret environment values as paths

This is the likely intended behavior. Down the road we can have a way to have
literal values in these strings.

* Fixes for Windows brokenness

Ensure gh token is retrieved before submission steps (#1581)

System.Macports: Less breaking behavior... (#1583)

...on outdated port definitions

Printenv help: document --wincmd recipe (#1584)

Explain how to use printenv more safely (#1585)

New `alr edit --select-editor` (#1586)

Clearer identification of missing dependencies (#1588)

When a complete solution is printed (`alr show|with --solve`), the "external"
section is now named "missing" (which is what it actually meant).

When a diff is show that contains missing dependencies, a new section is
appended containing separately all missing dependencies, labeled as such:
```
$ alr -f with hello unobtanium
Requested changes:

   ✓ hello      ^1.0.2 (add)
   ✓ unobtanium *      (add)

Changes to dependency solution:

   New solution is incomplete.
   +        hello      1.0.2 (new)
   Missing:
   +❗      unobtanium *     (new,missing:unknown)
```

Make sure error messages from Finalization are displayed to the user (#1580)

New `build --stop-after` (#1573)

* Basis for `build --stop-after`

* Implement build stages

* Test for new feature

* User changes

* Remove `sudo` that isn't available on Windows

* Code review

* s/Build_Stages/Stop_Points/

Add support for index access through ssh  (#1571)

* Add support for ssh

* Test adding indices and pins using ssh

* On-line test for git-over-ssh indexes

---------

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

Alire.Index_On_Disk: improve error message (#1579)

Alr.Commands.Search: change default behavior to include properties (#1575)

* Alr.Commands.Search: change default behavior to include properties

This patch comes from a comment of a user looking for gnatpp in Alire.
gnatpp is part of the libabalang_tools crate and a 1.x `alr search gnatpp`
returns nothing. The reason that by default only the release name and
descriptions are searched. This is quite a bad user interaction.

Here we change the default behavior to search in all properties of a
release, including tags, executables, website, etc.

We also display the list of properties that match the pattern.

Searching in names and descriptions only is still possible with the
--crates switch.

* Alr.Commands.Search: use a set rather than a vector for matching props

Alr.Commands.Edit: user choice for multiple editors (#1577)

Part of #1137.

Improvements to messages during dependency updates (#1569)

* Fix bugs causing spurious diffs on update

Solutions were the same, but some types internally where using pointers instead
of pointed objects for comparison.

WIP

* Don't attempt redundant system package installation

* Inform of pin checkouts/updates as for regular crates

* Ensure created folders remain the same

* Fix testsuite index for deterministic make version

Attempt at working around flakiness in Windows workflow (#1570)

That mv operation fails from time to time for unknown reasons.

New workflow to check GNAT CE builds (#1566)

* New workflow to check GNAT CE builds

* Fix compilation with CE 2020

Minor clean-ups and clarifications (#1568)

Better documentation for binary origins (#1546)

* Document binary origins

* Test for explicit binary origin

Report detected system package manager in `alr version` (#1565)

* Report the system package manager in `alr version`

* Also report distro detection disabling

* Use a separate system deployer in unknown systems

Instead of defaulting to apt.

* Distinguish undetected exec from unknown exec name

Explicitly check GCC versions (#1562)

* Explicitly check all GCC versions we want

* Remove unneeded `aliased`

* Try to use safer reference

* Workaround for GNAT 13 troubles with expr. funcs.

* Fix test index to use deterministic external gnat version

Remove build warnings in si_units on Windows (#1564)

Test for full publishing workflow (#1538)

* Test for automated publishing

This test is dependent on a remote repo (`test-index`) on which a PR is opened
during testing, so we better run this one sporadically and locally, or in a
single selected CI configuration.

* Self-review

* Use `ALIRE_TESTSUITE_*` for testsuite env variables

Fix bugs related to tmp file creation in corner cases (#1561)

* fix: tmp dir being defined but not existing

* Improved log message for temp file creation

* Prevent deleting a tmp folder not created by us

Show default temp folder in `alr version` (#1560)

Add bug report template (#1559)

Refactor return expression causing trouble with GNAT 13 (#1557)

Remove blue background setting from Windows shortcut (#1555)

The shortcut from the Windows installer was setting a background color for PowerShell command prompt. The idea was to match the look of the PowerShell you would normally start, and avoid confusion with the CMD prompt which has a black background. But that didn't work very well as the background color just disappeared when running commands. Also it seems like Windows now uses a black background for the PowerShell anyway.

Fix bugs causing spurious diffs on updates without changes (#1550)

* Fix bugs causing spurious diffs on update

Solutions were the same, but some types internally where using pointers instead
of pointed objects for comparison.

WIP

* Separate style checking from experimental Ada switches

Bugfix: exception when trying to select a tool without the assistant while the configured one is missing (#1551)

* Fix exception when trying to select a toolchain

This problem arised only if trying to select a toolchain with --select <tool>
while the configured tool was missing on disk.

* Test for fix

Documentation about upgrading to alr 2.x (#1547)