diff options
| author | Thomas Heijligen <src@posteo.de> | 2024-02-19 20:03:13 +0000 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
| commit | d22ba0a2a71cb6136115ca91999409d6498c9936 (patch) | |
| tree | 861bcd7b8cee04f52cd38b8509461f3b075cbe5d /pkgs/top-level/ada-packages.nix | |
| parent | c1b5933e79e45dd7f75075075f6248af8362da08 (diff) | |
gnatprove: Make src dependend on gcc version
Gnatprove is tightly bound to a specific gcc version. Use the gcc input version to determin which gnatprove/spark2014 sources should be used. For now gcc 12 is the only working option. gcc 13 will work as soon as all ada buildInputs can be provided as gcc 13 build.
Diffstat (limited to 'pkgs/top-level/ada-packages.nix')
0 files changed, 0 insertions, 0 deletions