diff options
author | Thomas Heijligen <src@posteo.de> | 2024-02-21 21:20:59 +0000 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
commit | c02503b58237072965308415f87e709af128516c (patch) | |
tree | 540b883a59bf16fe6fc8825092ed92e6eb030b04 /pkgs/top-level/ada-packages.nix | |
parent | d22ba0a2a71cb6136115ca91999409d6498c9936 (diff) |
gnatprove: Expose SPARKlib through gpr
SPARKlib is shipped with gnatprove / spark2014 but the gpr files are in lib/gnat/. Nix gprbuild cant pick them up there. Link them to a location where gprbuild can find them.
Diffstat (limited to 'pkgs/top-level/ada-packages.nix')
0 files changed, 0 insertions, 0 deletions