Commit 0f7d9922 authored by Mauricio Collares's avatar Mauricio Collares
Browse files

flint3: propagate mpfr

parent c1997f85
Loading
Loading
Loading
Loading
+5 −2
Original line number Diff line number Diff line
@@ -24,16 +24,19 @@ stdenv.mkDerivation rec {
    sha256 = "sha256-ezEaAFA6hjiB64F32+uEMi8pOZ89fXLzsaTJuh1XlLQ=";
  };

  propagatedBuildInputs = [
  nativeBuildInputs = [
    autoconf
    automake
    gettext
    libtool
  ];

  propagatedBuildInputs = [
    mpfr
  ];

  buildInputs = [
    gmp
    mpfr
  ] ++ lib.optionals withBlas [
    openblas
  ] ++ lib.optionals withNtl [