Commit 891d1931 authored by Weijia Wang's avatar Weijia Wang
Browse files

flint: 2.9.0 -> 3.1.2

parent 6e1e59fa
Loading
Loading
Loading
Loading
+0 −63
Original line number Diff line number Diff line
{
  lib,
  stdenv,
  fetchurl,
  gmp,
  mpfr,
  ntl,
  openblas ? null,
  blas,
  lapack,
  withBlas ? true,
}:

assert
  withBlas
  -> openblas != null && blas.implementation == "openblas" && lapack.implementation == "openblas";

stdenv.mkDerivation rec {
  pname = "flint";
  version = "2.9.0";

  src = fetchurl {
    url = "https://www.flintlib.org/flint-${version}.tar.gz";
    sha256 = "sha256-L8CQ1RAzyTII5sENQGOXpTyYOuU0O5WOsl9ypXpM52o=";
  };

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

  propagatedBuildInputs = [
    mpfr # flint.h includes mpfr.h
  ];

  configureFlags =
    [
      "--with-gmp=${gmp}"
      "--with-mpfr=${mpfr}"
      "--with-ntl=${ntl}"
    ]
    ++ lib.optionals withBlas [
      "--with-blas=${openblas}"
    ];

  enableParallelBuilding = true;

  doCheck = true;

  meta = with lib; {
    description = "Fast Library for Number Theory";
    license = licenses.gpl2Plus;
    maintainers = teams.sage.members;
    platforms = platforms.unix;
    homepage = "https://www.flintlib.org/";
    downloadPage = "https://www.flintlib.org/downloads.html";
  };
}
+1 −1
Original line number Diff line number Diff line
@@ -8496,7 +8496,7 @@ with pkgs;
  };
  fftwMpi = fftw.override { enableMpi = true; };
  flint = callPackage ../development/libraries/flint { };
  flint = flint3;
  flint3 = callPackage ../development/libraries/flint/3.nix { };