nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 20:33:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

ecl: patches to fix SIGFPEs and for unicode compatibility with maxima

Browse Source
This commit is contained in:
Mauricio Collares 2020-11-30 10:07:33 -03:00
parent e1998b1c5c
commit c46dcf470e
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkgs/development/compilers/ecl/default.nix
View File

@ -36,6 +36,38 @@ stdenv.mkDerivation {
};
patches = [
# https://trac.sagemath.org/ticket/22191#comment:237
(fetchurl {
name = "ECL_WITH_LISP_FPE.patch";
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ecl/patches/ECL_WITH_LISP_FPE.patch?h=9.2";
sha256 = "0b194613avcmzr1k9gq725z41wdkg5rsa0q21kdw050iqpprcj1c";
})
# https://gitlab.com/embeddable-common-lisp/ecl/-/merge_requests/1
(fetchurl {
name = "write_error.patch";
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ecl/patches/write_error.patch?h=9.2";
sha256 = "1lvdvh77blnxp0zbd27dsbq1ljkb5qblabf1illszn4j7qgq88fh";
})
# Three patches to fix ecl's unicode handling (https://trac.sagemath.org/ticket/30122)
(fetchurl {
name = "0001-unicode-fix-ecl_string_case-for-non-ascii-characters.patch";
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ecl/patches/0001-unicode-fix-ecl_string_case-for-non-ascii-characters.patch?h=9.2";
sha256 = "0z8pnhawivrrbg4vz144nr2sz64jxp7764hn6df13bgkz84iqbmk";
})
(fetchurl {
name = "0002-cosmetic-fix-some-compiler-warnings.patch";
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ecl/patches/0002-cosmetic-fix-some-compiler-warnings.patch?h=9.2";
sha256 = "0msx3say9igwr9z5ywnr3gs6vsndnzlx47fmzwzh4l0m274cnia8";
})
(fetchurl {
name = "0003-printer-fix-printing-of-symbols-with-non-ascii-names.patch";
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ecl/patches/0003-printer-fix-printing-of-symbols-with-non-ascii-names.patch?h=9.2";
sha256 = "0ln5dsx6p265fkph3bl5wblgfi3f7frb4jl6v473wz3ibvcx1x9a";
})
];
configureFlags = [