diff options
| author | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-07-26 00:59:36 +0200 |
|---|---|---|
| committer | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-07-26 00:59:36 +0200 |
| commit | 0834491cb742c7a8b95b90e5754b6e7d01cb55ca (patch) | |
| tree | e40835c1318113fe7ee622aff50082c38b79391d /pkgs | |
| parent | 8c90a87418911db52935344e8e79d089ddbca190 (diff) | |
| download | nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar.gz nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar.bz2 nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar.lz nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar.xz nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.tar.zst nixpkgs-0834491cb742c7a8b95b90e5754b6e7d01cb55ca.zip | |
flint: cleanup
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/libraries/flint/default.nix | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index e9470986c73..548f561f25a 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -1,4 +1,5 @@ -{ lib, stdenv +{ lib +, stdenv , fetchurl , gmp , mpir @@ -15,7 +16,7 @@ stdenv.mkDerivation rec { version = "2.8.0"; src = fetchurl { - url = "http://www.flintlib.org/flint-${version}.tar.gz"; + url = "https://www.flintlib.org/flint-${version}.tar.gz"; sha256 = "sha256-WEI1zcOdd52ZIOrvFv4ITzwm/+7qADo//2SiCg8zRJ4="; }; @@ -27,9 +28,11 @@ stdenv.mkDerivation rec { ] ++ lib.optionals withBlas [ openblas ]; + propagatedBuildInputs = [ mpfr # flint.h includes mpfr.h ]; + configureFlags = [ "--with-gmp=${gmp}" "--with-mpir=${mpir}" @@ -40,13 +43,14 @@ stdenv.mkDerivation rec { ]; doCheck = true; - meta = { + + meta = with lib; { description = "Fast Library for Number Theory"; - license = lib.licenses.gpl2Plus; - maintainers = lib.teams.sage.members; - platforms = lib.platforms.unix; - homepage = "http://www.flintlib.org/"; - downloadPage = "http://www.flintlib.org/downloads.html"; + license = licenses.gpl2Plus; + maintainers = teams.sage.members; + platforms = platforms.unix; + homepage = "https://www.flintlib.org/"; + downloadPage = "https://www.flintlib.org/downloads.html"; updateWalker = true; }; } |