]> _ Git - alire.git/commit
New warning when external GNAT selected but another compiler version is needed (...
authorAlejandro R Mosteo <amosteo@unizar.es>
Wed, 15 Nov 2023 13:47:52 +0000 (14:47 +0100)
committerGitHub <noreply@github.com>
Wed, 15 Nov 2023 13:47:52 +0000 (14:47 +0100)
commit89ae47cb1a9e0ff884f633ab7f9e0776a4edade5
tree6edca75223b842cf54fc672a168f458b3a7dc924
parent6f1355d98f4816bc1440ed8a02da43426a2f420c
New warning when external GNAT selected but another compiler version is needed (#1500)

* New warning for externally selected gnat

* New test
src/alire/alire-solutions-diffs.adb
src/alire/alire-solver.adb
testsuite/fixtures/compiler_only_index/gp/gprbuild/gprbuild-external.toml [new file with mode: 0644]
testsuite/tests/solver/unsatisfying-external/test.py [new file with mode: 0644]
testsuite/tests/solver/unsatisfying-external/test.yaml [new file with mode: 0644]