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/applications/editors/emacs | |
| parent | d22ba0a2a71cb6136115ca91999409d6498c9936 (diff) | |
| download | nixlib-c02503b58237072965308415f87e709af128516c.tar nixlib-c02503b58237072965308415f87e709af128516c.tar.gz nixlib-c02503b58237072965308415f87e709af128516c.tar.bz2 nixlib-c02503b58237072965308415f87e709af128516c.tar.lz nixlib-c02503b58237072965308415f87e709af128516c.tar.xz nixlib-c02503b58237072965308415f87e709af128516c.tar.zst nixlib-c02503b58237072965308415f87e709af128516c.zip | |
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/applications/editors/emacs')
0 files changed, 0 insertions, 0 deletions