flint: init at 2.5.2

This commit is contained in:
Michael Raskin 2016-10-10 19:31:19 +02:00
parent 71f659d86d
commit 2bb5bdd12c
2 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,22 @@
{stdenv, fetchurl, gmp, mpir, mpfr, openblas, ntl}:
stdenv.mkDerivation rec {
name = "flint-${version}";
version = "2.5.2";
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
src = fetchurl {
url = "http://www.flintlib.org/flint-${version}.tar.gz";
sha256 = "11syazv1a8rrnac3wj3hnyhhflpqcmq02q8pqk2m6g2k6h0gxwfb";
};
buildInputs = [gmp mpir mpfr openblas ntl];
configureFlags = "--with-gmp=${gmp} --with-mpir=${mpir} --with-mpfr=${mpfr} --with-blas=${openblas} --with-ntl=${ntl}";
meta = {
inherit version;
description = ''Fast Library for Number Theory'';
license = stdenv.lib.licenses.gpl2Plus;
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux;
homepage = "http://www.flintlib.org/";
downloadPage = "http://www.flintlib.org/downloads.html";
updateWalker = true;
};
}

View File

@ -6876,6 +6876,8 @@ in
flann = callPackage ../development/libraries/flann { };
flint = callPackage ../development/libraries/flint { };
flite = callPackage ../development/libraries/flite { };
fltk13 = callPackage ../development/libraries/fltk { };