nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

python.pkgs.sympy: 1.4 -> 1.5

Browse Source 
Sage needs some doctest changes. The patch was included upstream.
Modelled after https://trac.sagemath.org/ticket/28911.
This commit is contained in:
Timo Kaufmann 2019-12-26 11:46:42 +01:00
parent 54184dfc7e
commit 8ac53ed0b1
2 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/math/sage/sage-src.nix
View File

@ -118,6 +118,13 @@ stdenv.mkDerivation rec {
url = "https://git.sagemath.org/sage.git/patch?id=fcc11d6effa39f375bc5f4ea5831fb7a2f2767da";
sha256 = "0hnmc8ld3bblks0hcjvjjaydkgwdr1cs3dbl2ys4gfq964pjgqwc";
})
# https://trac.sagemath.org/ticket/28911
(fetchpatch {
name = "sympy-1.5.patch";
url = "https://git.sagemath.org/sage.git/patch/?h=c6d0308db15efd611211d26cfcbefbd180fc0831";
sha256 = "0nwai2jr22h49km4hx3kwafs3mzsc5kwsv7mqwjf6ibwfx2bbgyq";
})
];
patches = nixPatches ++ bugfixPatches ++ packageUpgradePatches;

12
pkgs/development/python-modules/sympy/default.nix
View File

@ -8,11 +8,11 @@
buildPythonPackage rec {
pname = "sympy";
version = "1.4"; # Upgrades may break sage. Please test or ping @timokau.
version = "1.5"; # Upgrades may break sage. Please test or ping @timokau.
src = fetchPypi {
inherit pname version;
sha256 = "1q937csy8rd18pk2fz1ssj7jyj7l3rjx4nzbiz5vcymfhrb1x8bi";
sha256 = "1s4w7q8gndim2ky825a84jmwcf7ryfn10wm8yxz9dw5z2307smii";
};
checkInputs = [ glibcLocales ];
@ -22,14 +22,6 @@ buildPythonPackage rec {
# tests take ~1h
doCheck = false;
patches = [
# to be fixed by https://github.com/sympy/sympy/pull/13476
(fetchpatch {
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/sympy/patches/03_undeffun_sage.patch?id=3277ba76d0ba7174608a31a0c6623e9210c63e3d";
sha256 = "0xcp1qafvqnivvvi0byh51mbgqicjhmswwvqvamjz9rxfzm5f7d7";
})
];
preCheck = ''
export LANG="en_US.UTF-8"
'';