givaro: 4.2.0 -> 4.2.1
This commit is contained in:
parent
c31993cebe
commit
3ddeae3761
@ -2,7 +2,6 @@
|
||||
lib,
|
||||
stdenv,
|
||||
fetchFromGitHub,
|
||||
fetchpatch,
|
||||
automake,
|
||||
autoconf,
|
||||
libtool,
|
||||
@ -11,41 +10,16 @@
|
||||
}:
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "givaro";
|
||||
version = "4.2.0";
|
||||
version = "4.2.1";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "linbox-team";
|
||||
repo = "givaro";
|
||||
tag = "v${version}";
|
||||
sha256 = "sha256-KR0WJc0CSvaBnPRott4hQJhWNBb/Wi6MIhcTExtVobQ=";
|
||||
sha256 = "sha256-vSkWmKqpbVk1qdsqCU7qF7o+YgV5YRc9p4mlgl6yrto=";
|
||||
};
|
||||
|
||||
patches = [
|
||||
# Pull upstream fix for gcc-13:
|
||||
# https://github.com/linbox-team/givaro/pull/218
|
||||
(fetchpatch {
|
||||
name = "gcc-13.patch";
|
||||
url = "https://github.com/linbox-team/givaro/commit/c7744bb133496cd7ac04688f345646d505e1bf52.patch";
|
||||
hash = "sha256-aAA5o8Va10v0Pqgcpx7qM0TAZiNQgXoR6N9xecj7tDA=";
|
||||
})
|
||||
(fetchpatch {
|
||||
name = "clang-16.patch";
|
||||
url = "https://github.com/linbox-team/givaro/commit/a81d44b3b57c275bcb04ab00db79be02561deaa2.patch";
|
||||
hash = "sha256-sSk+VWffoEjZRTJcHRISLHPyW6yuvI1u8knBOfxNUIE=";
|
||||
})
|
||||
# https://github.com/linbox-team/givaro/issues/226
|
||||
(fetchpatch {
|
||||
name = "gcc-14.patch";
|
||||
url = "https://github.com/linbox-team/givaro/commit/b0cf33e1d4437530c7e4b3db90b6c80057a7f2f3.patch";
|
||||
includes = [ "src/kernel/integer/random-integer.h" ];
|
||||
hash = "sha256-b2Q8apP9ueEqIUtibTeP47x6TlroRzLgAxuv5ZM1EUw=";
|
||||
})
|
||||
# https://github.com/linbox-team/givaro/issues/232
|
||||
(fetchpatch {
|
||||
name = "clang-19.patch";
|
||||
url = "https://github.com/linbox-team/givaro/commit/a18baf5227d4f3e81a50850fe98e0d954eaa3ddb.patch";
|
||||
hash = "sha256-IR0IHhCqbxgtsST30vxM9ak1nGtt0apxcLUQ1kS1DHw=";
|
||||
})
|
||||
# skip gmp version check for cross-compiling, our version is new enough
|
||||
./skip-gmp-check.patch
|
||||
];
|
||||
|
Loading…
x
Reference in New Issue
Block a user