diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-10 19:31:19 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:34 +0200 |
commit | 2bb5bdd12cb3c37a2d2a5893c0399ced308855e2 (patch) | |
tree | cd5498b77c7010b0c4976208f7bd3919d7752df1 /pkgs/development/libraries/flint | |
parent | 71f659d86d2dc3f42b797520d345ca2be3ef8d77 (diff) | |
download | nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar.gz nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar.bz2 nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar.lz nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar.xz nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.tar.zst nixpkgs-2bb5bdd12cb3c37a2d2a5893c0399ced308855e2.zip |
flint: init at 2.5.2
Diffstat (limited to 'pkgs/development/libraries/flint')
-rw-r--r-- | pkgs/development/libraries/flint/default.nix | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix new file mode 100644 index 00000000000..be158684b5b --- /dev/null +++ b/pkgs/development/libraries/flint/default.nix @@ -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; + }; +} |