diff options
author | someplaceguy <someplaceguy@wizy.org> | 2024-04-10 13:16:28 +0000 |
---|---|---|
committer | someplaceguy <someplaceguy@wizy.org> | 2024-04-11 11:16:11 +0100 |
commit | 403c17e488fd6570964d627fa055ba4186a89f80 (patch) | |
tree | 57d6b4b4f8e68fdd44e59a04ad9ee8452376d52c | |
parent | 997cc15602d75b2ce2be08694b8b37f9b0cfc1bc (diff) |
flint: remove mpir dependency
MPIR is no longer being maintained and its website no longer exists. Furthermore, flint can use GMP instead of MPIR.
-rw-r--r-- | pkgs/development/libraries/flint/default.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index eeb2cf1127e43..eeb928be8710d 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -2,7 +2,6 @@ , stdenv , fetchurl , gmp -, mpir , mpfr , ntl , openblas ? null, blas, lapack @@ -22,7 +21,6 @@ stdenv.mkDerivation rec { buildInputs = [ gmp - mpir mpfr ntl ] ++ lib.optionals withBlas [ @@ -35,7 +33,6 @@ stdenv.mkDerivation rec { configureFlags = [ "--with-gmp=${gmp}" - "--with-mpir=${mpir}" "--with-mpfr=${mpfr}" "--with-ntl=${ntl}" ] ++ lib.optionals withBlas [ |