nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-21 16:11:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

gnat16Packages.gnatcoll-core: fix build

Browse Source 
b266466e0a
(cherry picked from commit 9c940973d4)
This commit is contained in:
Tom Hunze
2026-05-22 20:17:21 +02:00
committed by github-actions[bot]
parent 4481e80f31
commit dbfdf9cd0c
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/ada-modules/gnatcoll/core.nix
View File

@@ -36,6 +36,12 @@ stdenv.mkDerivation rec {
url = "https://github.com/AdaCore/gnatcoll-core/commit/515db1c9f1eea8095f2d9ff9570159a78c981ec6.patch";
sha256 = "1ghnkhp5fncb7qcmf59kyqvy0sd0pzf1phnr2z7b4ljwlkbmcp36";
})
# Fix compilation with GNAT 16
(fetchpatch2 {
name = "gnatcoll-core-gnat-16.patch";
url = "https://github.com/AdaCore/gnatcoll-core/commit/b266466e0a05b30615ec43d72782c345470455b9.patch?full_index=1";
hash = "sha256-rG0D1y2dbXA2M2Arnto+f7iAhg3yCfTPDbDRN+pMJKQ=";
})
];
postPatch = ''