Merge pull request #303160 from someplaceguy/u/fix-flint

flint: remove mpir dependency
This commit is contained in:
7c6f434c 2024-04-12 04:38:46 +00:00 committed by GitHub
commit 1973d8420e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -2,7 +2,6 @@
, stdenv , stdenv
, fetchurl , fetchurl
, gmp , gmp
, mpir
, mpfr , mpfr
, ntl , ntl
, openblas ? null, blas, lapack , openblas ? null, blas, lapack
@ -22,7 +21,6 @@ stdenv.mkDerivation rec {
buildInputs = [ buildInputs = [
gmp gmp
mpir
mpfr mpfr
ntl ntl
] ++ lib.optionals withBlas [ ] ++ lib.optionals withBlas [
@ -35,7 +33,6 @@ stdenv.mkDerivation rec {
configureFlags = [ configureFlags = [
"--with-gmp=${gmp}" "--with-gmp=${gmp}"
"--with-mpir=${mpir}"
"--with-mpfr=${mpfr}" "--with-mpfr=${mpfr}"
"--with-ntl=${ntl}" "--with-ntl=${ntl}"
] ++ lib.optionals withBlas [ ] ++ lib.optionals withBlas [