]> _ Git - alire.git/commit
Alr.Commands.Exec: -P switch to add project file on the command line (#956)
authorFabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Tue, 29 Mar 2022 09:58:19 +0000 (11:58 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 09:58:19 +0000 (11:58 +0200)
commit56a9051bd40241ff76c633c5d450f1b9d5097ab7
tree6b8bb2f5348c81625d737b65b189442f3c39050f
parentf960ec090daaa8b728b8f30060b713f270244a38
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
src/alr/alr-commands-exec.adb
src/alr/alr-commands-exec.ads
src/alr/alr-commands.adb
testsuite/tests/exec/with_project/test.py [new file with mode: 0644]
testsuite/tests/exec/with_project/test.yaml [new file with mode: 0644]