conway_polynomials: use Python 3
This commit is contained in:
parent
2590fa7f26
commit
367eb04e2d
|
@ -1,14 +1,12 @@
|
||||||
{ lib, stdenv
|
{ lib, stdenv
|
||||||
, fetchurl
|
, fetchurl
|
||||||
, python2
|
, python3
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "conway_polynomials";
|
pname = "conway_polynomials";
|
||||||
version = "0.5";
|
version = "0.5";
|
||||||
|
|
||||||
pythonEnv = python2.withPackages (ps: with ps; [ six ]);
|
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://sageupstream/conway_polynomials/conway_polynomials-${version}.tar.bz2";
|
url = "mirror://sageupstream/conway_polynomials/conway_polynomials-${version}.tar.bz2";
|
||||||
sha256 = "05zb1ly9x2bbscqv0jgc45g48xx77mfs7qdbqhn4ihmihn57iwnq";
|
sha256 = "05zb1ly9x2bbscqv0jgc45g48xx77mfs7qdbqhn4ihmihn57iwnq";
|
||||||
|
@ -16,8 +14,8 @@ stdenv.mkDerivation rec {
|
||||||
|
|
||||||
# Script that creates the "database" (nested python array) and pickles it
|
# Script that creates the "database" (nested python array) and pickles it
|
||||||
spkg-install = fetchurl {
|
spkg-install = fetchurl {
|
||||||
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/conway_polynomials/spkg-install.py?id=07d6c37d18811e2b377a9689790a7c5e24da16ba";
|
url = "https://git.sagemath.org/sage.git/plain/build/pkgs/conway_polynomials/spkg-install.py?id=9.2";
|
||||||
sha256 = "0m12nfb37j3bn4bp06ddgnyp2d6z0hg5f83pbbjszxw7vxs33a82";
|
sha256 = "1bwnqasnyv793hxg29viing4dnliz29grkhldsirq19d509yk1fs";
|
||||||
};
|
};
|
||||||
|
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
|
@ -31,7 +29,7 @@ stdenv.mkDerivation rec {
|
||||||
export SAGE_SHARE="$out/share"
|
export SAGE_SHARE="$out/share"
|
||||||
export PYTHONPATH=$PWD
|
export PYTHONPATH=$PWD
|
||||||
|
|
||||||
${pythonEnv.interpreter} ${spkg-install}
|
${python3.interpreter} ${spkg-install}
|
||||||
'';
|
'';
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
|
Loading…
Reference in a new issue