talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

singular: add patch for flint 3.3.0

Browse Source
This commit is contained in:
Weijia Wang 2025-06-14 23:00:57 +02:00
parent 7bdbd1bda4
commit 93decf37a1
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/by-name/si/singular/package.nix
View File

@ -1,6 +1,7 @@
{
stdenv,
fetchFromGitHub,
fetchpatch,
gmp,
bison,
perl,
@ -70,6 +71,18 @@ stdenv.mkDerivation rec {
patchShebangs .
'';
# Use fq_nmod_mat_entry instead of row pointer (removed in flint 3.3.0)
patches = [
(fetchpatch {
url = "https://github.com/Singular/Singular/commit/05f5116e13c8a4f5f820c78c35944dd6d197d442.patch";
hash = "sha256-4l7JaCCFzE+xINU+E92eBN5CJKIdtQHly4Ed3ZwbKTA=";
})
(fetchpatch {
url = "https://github.com/Singular/Singular/commit/595d7167e6e019d45d9a4f1e18ae741df1f3c41d.patch";
hash = "sha256-hpTZy/eAiHAaleasWPAenxM35aqeNAZ//o6OqqdGOJ4=";
})
];
# For reference (last checked on commit 75f460d):
# https://github.com/Singular/Singular/blob/spielwiese/doc/Building-Singular-from-source.md
# https://github.com/Singular/Singular/blob/spielwiese/doc/external-packages-dynamic-modules.md