mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 23:03:40 +01:00
Merge pull request #39347 from timokau/eclib-20171002
eclib: 20160720 -> 20171002
This commit is contained in:
commit
12e3beac7e
1 changed files with 31 additions and 8 deletions
|
@ -1,21 +1,44 @@
|
|||
{stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook
|
||||
, pari, ntl, gmp}:
|
||||
{ stdenv
|
||||
, fetchFromGitHub
|
||||
, autoreconfHook
|
||||
, libtool
|
||||
, gettext
|
||||
, pari
|
||||
, ntl
|
||||
, gmp
|
||||
# "FLINT is optional and only used for one part of sparse matrix reduction,
|
||||
# which is used in the modular symbol code but not mwrank or other elliptic
|
||||
# curve programs." -- https://github.com/JohnCremona/eclib/blob/master/README
|
||||
, withFlint ? false, flint ? null
|
||||
}:
|
||||
|
||||
assert withFlint -> flint != null;
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "${pname}-${version}";
|
||||
pname = "eclib";
|
||||
version = "20160720";
|
||||
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
|
||||
version = "20171002";
|
||||
src = fetchFromGitHub {
|
||||
owner = "JohnCremona";
|
||||
repo = "${pname}";
|
||||
rev = "${version}";
|
||||
sha256 = "0qrcd5c8cqhw9f14my6k6013w8li5vdigrjvchkr19n2l8g75j0h";
|
||||
rev = "v${version}";
|
||||
sha256 = "092an90405q9da0k0z5jfp5rng9jl0mqbvsbv4fx6jc9ykfcahsj";
|
||||
};
|
||||
buildInputs = [pari ntl gmp];
|
||||
nativeBuildInputs = [autoconf automake libtool gettext autoreconfHook];
|
||||
buildInputs = [
|
||||
pari
|
||||
ntl
|
||||
gmp
|
||||
] ++ stdenv.lib.optionals withFlint [
|
||||
flint
|
||||
];
|
||||
nativeBuildInputs = [
|
||||
autoreconfHook
|
||||
];
|
||||
doCheck = true;
|
||||
meta = {
|
||||
inherit version;
|
||||
description = ''Elliptic curve tools'';
|
||||
homepage = https://github.com/JohnCremona/eclib;
|
||||
license = stdenv.lib.licenses.gpl2Plus;
|
||||
maintainers = [stdenv.lib.maintainers.raskin];
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
|
|
Loading…
Reference in a new issue