eclib: 20160720 -> 20171002
This commit is contained in:
parent
3aea9a4c2c
commit
a055816743
@ -1,21 +1,44 @@
|
|||||||
{stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext, autoreconfHook
|
{ stdenv
|
||||||
, pari, ntl, gmp}:
|
, 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 {
|
stdenv.mkDerivation rec {
|
||||||
name = "${pname}-${version}";
|
name = "${pname}-${version}";
|
||||||
pname = "eclib";
|
pname = "eclib";
|
||||||
version = "20160720";
|
version = "20171002";
|
||||||
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "JohnCremona";
|
owner = "JohnCremona";
|
||||||
repo = "${pname}";
|
repo = "${pname}";
|
||||||
rev = "${version}";
|
rev = "v${version}";
|
||||||
sha256 = "0qrcd5c8cqhw9f14my6k6013w8li5vdigrjvchkr19n2l8g75j0h";
|
sha256 = "092an90405q9da0k0z5jfp5rng9jl0mqbvsbv4fx6jc9ykfcahsj";
|
||||||
};
|
};
|
||||||
buildInputs = [pari ntl gmp];
|
buildInputs = [
|
||||||
nativeBuildInputs = [autoconf automake libtool gettext autoreconfHook];
|
pari
|
||||||
|
ntl
|
||||||
|
gmp
|
||||||
|
] ++ stdenv.lib.optionals withFlint [
|
||||||
|
flint
|
||||||
|
];
|
||||||
|
nativeBuildInputs = [
|
||||||
|
autoreconfHook
|
||||||
|
];
|
||||||
|
doCheck = true;
|
||||||
meta = {
|
meta = {
|
||||||
inherit version;
|
inherit version;
|
||||||
description = ''Elliptic curve tools'';
|
description = ''Elliptic curve tools'';
|
||||||
|
homepage = https://github.com/JohnCremona/eclib;
|
||||||
license = stdenv.lib.licenses.gpl2Plus;
|
license = stdenv.lib.licenses.gpl2Plus;
|
||||||
maintainers = [stdenv.lib.maintainers.raskin];
|
maintainers = [stdenv.lib.maintainers.raskin];
|
||||||
platforms = stdenv.lib.platforms.linux;
|
platforms = stdenv.lib.platforms.linux;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user