Rename `alr list` to `alr crates` (#671)

* Rename `alr list` to `alr crates`

This way there is less confusion about the purposes of `alr crates` and `alr
search`; the former operates on crates and the latter on releases.

* Fix bash completion

* Document user-visible changes

* Remove `crates` command, move to `search --crates`

* Update bash completion for new situation

* Update user-facing document

* Updated testsuite

Clarify current behavior of actions (#672)

* Remove old references to [general] section

* Clarify running moments of actions

Separate non-preelaborable parts of Config (#670)

* Separate non-preelaborable parts of Config

These parts are now in Alire.Config.Edit

* Fixes for Windows-specific sources

Narrow check for deprecated Alire metadata (#668)

This should exclude false positives for actual alire sources in a child folder.

Remove use of build/clean relocations (#667)

* Remove use of build/clean relocations

* Document user-facing visible changes

alr-commands-init.adb: fix generated gpr file (#665)

#664

Alire.Properties.Licenses: Add support of SPDX expression  (#629)

* Alire.Properties.Licenses: Add support of SPDX expression

The legacy license support is still available but will trigger warning
messages.

* Update catalog-format-spec.md

* Add support for custom license ID

* Update catalog-format-spec.md

* Update alire.toml

* tests/index/bad-license-too-long: fix index version

Allow unknown enum values in index manifests and new `index --check` (#656)

* Detect wrong enum values only in local manifests

This allows backwards compatibility for the index, but catches user mistakes.

* New `alr index --check`, check unknown enum values

* Testsuite: proper behavior of enum checks

* Document user-facing changes

Add handling of CentOS, Fedora, Red Hat and their package manager (#20) (#601)

* Add handling of CentOS, Fedora, Red Hat and their package manager (#20)

* Transform Redhat version scheme into semver one (#20)

* RPM: Take epochs into account for versions

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

Updated dependencies for Windows publishing (#655)

pacman: Remove unneeded -e flag (#654)

This flag filters out packages installed indirectly (as dependencies), causing
our detection of such a package to fail. -Q by design already only works on
installed packages, so that's all we need.

alr init: disable warnings for No_Exception_Propagation (#649)

For embedded ZFP run-time this warning will pop everywhere.

Fix pacman pkg version detection to consider epochs (#652)

* Fix pacman pkg detection to consider epochs

* Relaxed parsing for Pacman versions

Bump index version to devel-0.5 (#651)

* Bump index version to devel-0.5

The addition of more enum values to support other distributions is a
breaking change. This raises the question of whether we should simply drop
unknown enum values, as this could well work. But then, using an improper value
would silently fail. Perhaps the warning could be disabled for normal use and
re-enabled for publish?

* Fix python formatting (missing empty lines)

Alr.Commands.Withing: Be able to compose paths with nested components (#637)

* Alr.Commands.Withing: Be able to compose paths

* Testsuite: test for the bugfix

Enable verbose spawn only if -v is in effect (#648)

Enable fedora-latest docker image for testing (#619)

Better feedback on malformed hash in index (#636)

* Better feedback on malformed hash in index

Fix .gitignore so only the root /alire is ignored

* Fix for breaking change in used action

Separate workflow to test unsupported package manager platform (#623)

* Workflow to test with unsupported package manager

* Add config option to disable distro detection

With test

* Fixes for circular elaboration

* Fix test for slight change in behavior

Before the last changes to break circularities, we tried to load the manifest
as part of the config loading process. Now we are satisfied with finding a
properly named file at the expected place. This causes one test to not detect
invalid TOML, since the manifest contents aren't really needed for the test.

Solver: Speed-up for impossible dependencies (#620)

* Solver: Speed-up for impossible dependencies

Whenever a solution is incomplete we keep looking for solutions. But if the
reason for incompleteness is an impossible request (non-existent crate or
version), this resulted on finding all combinations for the rest of crates that
do have satisfiable dependencies.

With this patch, impossible situations are considered part of the "complete"
solution (as there cannot be a more complete one), which allows the solver to
use complete the search much more quickly, as no pointless attempts for more
solutions are made.

* Fixes for problems caught by the test suite

The optimization was too aggressive, as it took place before detecting
externals. Also, it should only apply to direct unavoidable dependencies, as
indirect impossibilities can be avoided by other solutions.

Do not raise if /etc/os-release doesn't exist (#621)

Simply return distro unknown

ci-windows.yml: replace add-path command (#622)

* ci-windows.yml: replace add-path command

see https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/

* ci-windows,yml: use bash shell

Feedback line when non-empty alire.lock created (#617)

Otherwise the changes are listed without context and it's a bit confusing.

Fix: on `publish --tar`, allow git without remote (#614)

If we are only using git to generate the archive, we do not need the remote as
it won't be referenced by the origin.

Add handling of Arch and Arch-based distributions (#600)

* Add handling of arch and arch based distributions

* Update src/alire/os_linux/alire-platform.adb

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
* Improve former Arch based Linux distributions detection (#600)

* Check first id then id_like key (#600)

* Update alire-platform.adb

Add a debug trace when falling back to id_like key

* Fix line too long style error (#600)

* Handle the case when id_like is a space separated items list (#600)

* More robust regular expression (#600)

* Simplify processing of id and id_key values (#600)

* Easy_Graph is not available in Official Arch repositories (#600)

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

Added alire.toml so alr can build/edit itself (#575)

* Added alire.toml so alr can build/edit itself

Also bumped the patch number, as code changes from now own should appear in a
future release, and 0.7-dev means pre-0.7 according to semantic versioning.

* Code review fixes

* New workflow to check that `alr build` succeeds

Add arch-rolling docker image to CI (#613)

Alr.Commands.Edit: add support for custom editor (#611)

* Alr.Commands.Edit: add support for custom editor

The editor can be changed with:
$ alr config --set --global editor.cmd "emacs ${GPR_FILE}

* Update user-changes.md

* Typo

* Typo

Bump version on master branch to 0.8.0-dev (#564)

Refactor update logic from Alr into Alire (#609)

Also add and use a flag to prevent autoupdates.

Alire.Environment: load env context from the platform  (#608)

* Alire.Environment: sort env list for predictable output

* Alire.Environment: load env context from the platform

For the moment this is only used on Windows for msys2. Before this patch the msys2 env was not included in `alr print` which means that the context was not complete.

* Alr.Platforms.Windows: do not install msys2 if pacman already in PATH

This makes alr usable when the user is already in an msys2 context.
And it alse makes possible to have an alire package in msys2.

Alire.Utils.Yaml: fix string escape (#604)

We use double-quote strings so single-quotes should not be escaped.

Report underlying error during publishing for an unloadable manifest (#602)

* Publish: report error causing unloadable manifest

* Testsuite: add test checking proper error output

Avoid unneeded requests to approve changes after editing the manifest (#591)

* Avoid unneeded requests to update when no changes

Changes in solutions were being spuriously detected, in situations in which
there were no changes. Also, when manual changes didn't affect dependencies,
the situation was not corrected either by manual update or automatic check.

* New test to check the bugfix

Alr.Commands.Init: warnings instead of fails for existing files (#599)

To make this command more usable when converting an existing Ada project
to Alire, existing source or gpr files are now reported as a warning
instead of an error.

policies.md: add best practices (#597)

* policies.md: add best practices

* Update policies.md

Migration of an existing Ada/SPARK project to Alire (#598)

* Update getting-started.md

* Update getting-started.md

* Typo

Git: Use remote branch when checking remote status (#596)

Otherwise it seems git defaults to the main branch, which manifested as
spurious "ahead" status, or ambiguous references in local remotes.

Publish: Detect missing manifest in remote sources (#595)

This could escape our checks when the alire.toml file was in .gitignore, for
example, so we didn't detect the discrepancy between local and remote sources.

Change Windows installer icon (#589)

This new version has a white layer for dark background desktop.

Do not show an error when no command is given (#588)

Fix typo when asking for sudo authorization (#586)

Fixes #582

More informative error for missing gprbuild (#583)

Fix the `depends-on` example in the catalog spec (#581)

It was using the old table notation.

Environment: allow to set var twice to the same value (#580)

This was already intended to work like this, but was buggy.

doc/getting-started.md: replace "setenv" with "printenv" (#576)

Update after #534

Added paragraph about adding an ALR badge (#574)

* Added paragraph about adding an ALR badge

* Incorporated review comments

* Clarified that the website is updated once daily
* Use 'crate' instead of 'project' where appropriate to avoid confusion
* Minor wording changes.

Saner defaults for the dependency solver (#573)

We were needlessly exploring the whole solution space, even when the best
complete solution had been already found.

catalog-format-spec.md: fix gpr-set-externals description (#572)

It should not be used to specify default values.

ci-windows.yml: fix zip release (#567)

Update ci-linux.yml (#563)

* Update ci-linux.yml

Switch Linux CI to GitHub Ubuntu-18.04

* Update ci-linux.yml

* Update ci-linux.yml

Going back to GNAT community as GNAT-7 on Ubuntu-18.04 is not working.

Move docker CI tests to its own workflow (#565)

Also remove obsolete env. var. BRANCH no longer needed as we no longer test the
old installer in this workflow.

Switch from devel- to stable- index branch (#566)

reviewed for English grammar, spelling, etc. (#561)

Spelling fixes and README update (#559)

* Getting started: spelling fixes

* README: add beta info and build instructions

Update getting-started with install from binary distribution (#558)

Use GitHub API for basic checks/info during publishing (#554)

* Use GitHub API for basic checks/info during publish

* Code review fix

* Fix: new config values unavailable during same run

New config entries were stored on disk but not added to the memory map. As the
Config.Set subprogram isn't aware of the level of configuration being set,
there is no direct way to both store to disk and to memory; instead the
solution is that the configuration is reloaded every time. This is a bit of
overkill and a candidate for later optimization.

Fix `alr test` help info on default docker (#557)

Alr.Platforms.Windows: download msys2 from GitHub releases (#556)

* Alr.Platforms.Windows: download msys2 from GitHub releases

With the hope that GitHub servers are more reliable.

* Fix style

Create and upload assets to alr releases (#551)

* Upload artifacts as assets to releases

* Remove obsolete workflow attempt

Create binary artifact on Linux/macOS (#549)

Gather user info during `alr init` for manifest creation (#548)

* Init: fill defaults with user-provided info

* Code review fixes

Add default executable property in `alr init --bin` (#547)

Alire.Utils.User_Input: add function to query user's name, email and GitHub login (#461)

* Alire.Utils.User_Input: add function to query user's name, email and github login

* Break circular elaboration issue

Since Config uses Utils.User_Input indirectly via Deplyers.System, a
possibility is to move new User_Input functions that need Config into a new
package.

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

Remove linux installer script (#546)

Alr.Commands: new Edit command (#545)

* Alr.Commands: new Edit command

For the moment it opens GNATstudio within the Alire context.

* Alr.Commands.Init: add Create_Missing_Dirs

So the build won't fail if -p is not used with gprbuild.

* Fix test description

* testsuite/tests/workflows/edit: fix test when GNATstudio not in PATH

Alr.Commands.Init: add or append to .gitignore (#544)

Create tarball from Alire workspace (#529)

* Create tarball from alire workspace

* Tests for tarball creation

* Code review fixes

* Workaround for macOS BSD tar

* Document `alr publish --tar` changes.

* Fix tar regular expr and improve related test

It seems GNAT's Normalize_Arguments does its own escaping, so we do not need to
do it ourselves. Also, the test checks that indeed the `alire` folder is
excluded when tar'ing manually.

Alire.Release: print crate name in loading error messages (#541)

Bump ada-toml to v0.2 (#539)

This release includes various parser fixes.

actions: rename post-compile into post-build and add pre-build (#537)

Tool and library version number (#536)

* Tool and library version number

* Bump version to 0.7.0

Fix bug in external detection from version (#535)

We failed if the executable was not found, but this is expected and simply
means the external is not available.

alr init usability tweaks (#533)

* Alr.Commands.Init: usability tweaks

This change makes the alr init --in-place generate a project skeleton.

This is to support the workflow:
 - Create repo on GitHub
 - Clone repo
 - cd repo
 - alr init --bin --in-place my_project

 Which was impossible to do before.

* Alr.Commands.Init: remove superfluous code

* Alr.Commands.Init: --in-place doesn't imply --no-skel

Alr.Commands: rename setenv into printenv (#534)

The command is actually not setting the environment but printing it.

Tweaks for detection of git URLs (#530)

* Transform private repo URL into public one

For fetching from github, it is safe to do this transformation, whereas users
working with the repo may find more convenient the use of private git@ URLs.

* Detect github URLs missing a trailing ".git"

* Testsuite: more cases for git remotes

* Allow controlling the git@ -> https:// transformation

* Generalize checks beyond github

* Unit test for Alire.VCSs.Git.Transform_To_Public

alr init: add compiler option controls to template project (#523)

* alr init: add compiler option controls to template project

User can control compile checks, run-time checks, contracts, style
checks.

* Testsuite: fix Ada coding style in tests

* Alr.Commands.Init: use UNIX line ending on all generated source code

To pass default GNAT style checks.

* Update alr-commands-init.adb

Alr.Commands.Init: fix line ending by using file IO binary mode

* Alr.Commands.Init: rever line ending changes and just remove the check

Git is messing with line ending on Windows so trying to produce UNIX files is more difficult than planned.

Instead the DOS line terminator style check is disabled.

Publish tweaks (#528)

* Alire.Publish: use error message similar to the git messages

* Alire.Publish: Do not print repo path if using CWD

* Alire.VCSs.Git: change status detection

Untracked files are ignored like git does.

* Alr.Commands.Publish: remove --prepare switch

Since there is no other publish mode.

* testsuite/tests/publish/local-repo: update expected output

Merge publishing assistant PRs into master (#527)

Merge publishing assistant PRs into master

Updated documentation for new `alr publish` (#524)

* Document the new `alr publish` workflow

* Review changes

Added `user-changes.md` log for new `publish` feat

And spellcheck fixes

--skip-build switch to skip the publish build check (#526)

Use local repository as reference for publishing (#519)

* Publish using local repo and revision as reference

We still require the remote is ready (in essence, that the local repo is not
ahead of the remote), but now it is simply a matter of issuing `alr publish` or
`alr publish <commit|tag|branch>`, and the corresponding commit will be used.

* Refactor long function name to more sensible one

* Fix comments due to bad refactoring

* Test for publishing from inside a repo

* Fixes uncovered by testsuite

Adding defaults for <URL> <commit> complicates things somewhat as we use local
paths for testing that would otherwise be rejected, so a few corner cases have
to be explicitly considered now.

Test build the publishing release (#517)

* Test build the release

* Test that failing build is reported

* Fix zipping helper in testsuite

The extra indirection level was not required, as os.walk already gives us the
proper paths we need. This wasn't detected until we tried to build an unzipped
release zipped by ourselves.

Show release information for user review (#516)

* Show release information for user review

We also point out any recommended optional properties that are not informed.
Checks on completeness are also performed.

* Test missing/optional properties during publish

Also refactor some bulky code in a test to reusable drivers.helpers.py

Add switch to print the list of trusted git sites (#525)

* Add switch to print the list of trusted git sites

Initial list of trusted code hosts (#514)

* Initial list of trusted code hosts

* Test that an unknown domain is rejected

* Fixes for testsuited-detected problems on Windows

Minimal publishing assistant (#512)

* Suppress warnings on unused package at top level

* First complete minimal publishing workflow

Only for repositories, many checks still missing, like: whitelist, version
conflict, buildability...

* Also working with source archives

* Deprecate --hash, --commit

Instead, the commit is simply a second optional argument

* Give upload URL for the PR and place manifest in ...

...alire/releases

* Check if in workspace for proper file placement

and also discourage publishing a crate within an unrelated workspace.

* Disable --hash test

* Tests for publishing and fixes for detected errors

To test without resorting to actual remote sources, we use --force which allows
local (file:) URLs.

* Workaround for Windows temporary failed deletion

Something about a git repository makes Ada.Directories.Delete_Tree to fail (my
guess that this is git related).

Fix test that inadvertently fetched community (#520)

Editorial change: correcting command-line option (--use) (#521)

Fix compilation warnings with current versions of GNAT (#518)

Dim output of spawned subprocesses (#513)

* Dim output of spawned subprocesses

* Code review

Accept whole answers in interactice questions (#511)

Fixes #509

Fix title of user change (#507)

Merge AEP-2 related PRs (#505)

Merge AEP-2-derived changes to manifests into master

Warn of obsolete metadata and provide some guidance (#506)

* Warn the user if old manifest detected

Minimal information is shown to reset a workspace; for more details a wiki on
the project repo link is printed.

* Improve the formatting of outdated index

* Don't consider `config.toml` for detection

AEP for developer/packager workflow supporting changes (#466)

* Add Alire Enhancement Proposal skeleton

* First draft of proposal #2

* Update proposal to reflect discussions

Instead of having an extra file, we rely on a private part within the manifest.

* Final version reflecting the implemented changes

Bump index version to v0.4 (per-release manifests) (#503)

Store backed up files inside `alire` folder (#500)

Instead of creating the ".prev" backup files in place, we move them into the alire folder so they don't pollute the user workspace.

Alire.Config: s/config/config.toml/ (#504)

After fixing the manifest file name to `alire.toml`, there is no possible
confusion with other toml files in the same directory, so we can explicitly
give .toml extension to config files.