Merge pull request #169598 from armeenm/bump-zn_poly
zn_poly: 0.9.1 -> 0.9.2
This commit is contained in:
commit
d50fc14d2a
|
@ -3,12 +3,12 @@
|
||||||
, fetchFromGitLab
|
, fetchFromGitLab
|
||||||
, fetchpatch
|
, fetchpatch
|
||||||
, gmp
|
, gmp
|
||||||
, python2
|
, python3
|
||||||
, tune ? false # tune to hardware, impure
|
, tune ? false # tune to hardware, impure
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
version = "0.9.1";
|
version = "0.9.2";
|
||||||
pname = "zn_poly";
|
pname = "zn_poly";
|
||||||
|
|
||||||
# sage has picked up the maintenance (bug fixes and building, not development)
|
# sage has picked up the maintenance (bug fixes and building, not development)
|
||||||
|
@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
|
||||||
owner = "sagemath";
|
owner = "sagemath";
|
||||||
repo = "zn_poly";
|
repo = "zn_poly";
|
||||||
rev = version;
|
rev = version;
|
||||||
sha256 = "0ra5vy585bqq7g3317iw6fp44iqgqvds3j0l1va6mswimypq4vxb";
|
hash = "sha256-QBItcrrpOGj22/ShTDdfZjm63bGW2xY4c71R1q8abPE=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [
|
buildInputs = [
|
||||||
|
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
|
||||||
];
|
];
|
||||||
|
|
||||||
nativeBuildInputs = [
|
nativeBuildInputs = [
|
||||||
python2 # needed by ./configure to create the makefile
|
python3 # needed by ./configure to create the makefile
|
||||||
];
|
];
|
||||||
|
|
||||||
# name of library file ("libzn_poly.so")
|
# name of library file ("libzn_poly.so")
|
||||||
|
@ -44,16 +44,6 @@ stdenv.mkDerivation rec {
|
||||||
"--disable-tuning"
|
"--disable-tuning"
|
||||||
];
|
];
|
||||||
|
|
||||||
patches = [
|
|
||||||
# fix format-security by not passing variables directly to printf
|
|
||||||
# https://gitlab.com/sagemath/zn_poly/merge_requests/1
|
|
||||||
(fetchpatch {
|
|
||||||
name = "format-security.patch";
|
|
||||||
url = "https://gitlab.com/timokau/zn_poly/commit/1950900a80ec898d342b8bcafa148c8027649766.patch";
|
|
||||||
sha256 = "1gks9chvsfpc6sg5h3nqqfia4cgvph7jmj9dw67k7dk7kv9y0rk1";
|
|
||||||
})
|
|
||||||
];
|
|
||||||
|
|
||||||
# `make install` fails to install some header files and the lib file.
|
# `make install` fails to install some header files and the lib file.
|
||||||
installPhase = ''
|
installPhase = ''
|
||||||
mkdir -p "$out/include/zn_poly"
|
mkdir -p "$out/include/zn_poly"
|
||||||
|
|
Loading…
Reference in a new issue