pyrox.dev
drat-trim: fix `gcc-14` build
Without the change the build on `gcc-14` fails as:
drat-trim.c: In function 'read_lit':
drat-trim.c:989:10: error: implicit declaration of function 'getc_unlocked' [-Wimplicit-function-declaration]
989 | lc = getc_unlocked (S->proofFile);
| ^~~~~~~~~~~~
+10
pkgs/by-name/dr/drat-trim/package.nix
+10
pkgs/by-name/dr/drat-trim/package.nix
···
2
2
lib,
3
3
stdenv,
4
4
fetchFromGitHub,
5
+
fetchpatch,
5
6
}:
6
7
7
8
stdenv.mkDerivation {
···
14
15
tag = "v05.22.2023";
15
16
hash = "sha256-sV3A0f1TLSaTIdAtT6y8rU3ZS2UqEePJYSf3UySOlSA=";
16
17
};
18
+
19
+
patches = [
20
+
# gcc-14 build fix: https://github.com/marijnheule/drat-trim/pull/40
21
+
(fetchpatch {
22
+
name = "gcc-14-fix.patch";
23
+
url = "https://github.com/marijnheule/drat-trim/commit/8186a7dc083a3951ba87e5ff35d36f1ea2c03f0d.patch";
24
+
hash = "sha256-jgsOYcRYD2VGdOrXW9D8Jh80Nqd+Kp3d2IU+bNK1yGg=";
25
+
})
26
+
];
17
27
18
28
postPatch = ''
19
29
substituteInPlace Makefile --replace gcc cc