diff options
| author | Tethys Svensson <freaken@freaken.dk> | 2021-04-07 15:12:55 +0200 |
|---|---|---|
| committer | Tethys Svensson <freaken@freaken.dk> | 2021-04-07 16:10:59 +0200 |
| commit | 962cac656b1104f63a7d8cf99b90a0b27c16edde (patch) | |
| tree | f7535207cb778ea308f5da0b305ac5b27aea56ca /pkgs/development/libraries/flint | |
| parent | 3660d282acaf1e00aecdb38fa9a4d848f599b8ba (diff) | |
| download | nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar.gz nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar.bz2 nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar.lz nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar.xz nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.tar.zst nixpkgs-962cac656b1104f63a7d8cf99b90a0b27c16edde.zip | |
flint: 2.5.2 -> 2.7.1
Diffstat (limited to 'pkgs/development/libraries/flint')
| -rw-r--r-- | pkgs/development/libraries/flint/default.nix | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index 7bfa701db73..2c540d13008 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -1,6 +1,5 @@ { lib, stdenv , fetchurl -, fetchpatch , gmp , mpir , mpfr @@ -13,10 +12,10 @@ assert withBlas -> openblas != null && blas.implementation == "openblas" && lapa stdenv.mkDerivation rec { pname = "flint"; - version = "2.5.2"; # remove libflint.so.MAJOR patch when updating + version = "2.7.1"; src = fetchurl { url = "http://www.flintlib.org/flint-${version}.tar.gz"; - sha256 = "11syazv1a8rrnac3wj3hnyhhflpqcmq02q8pqk2m6g2k6h0gxwfb"; + sha256 = "07j8r96kdzp19cy3a5yvpjxf90mkd6103yr2n42qmpv7mgcjyvhq"; }; buildInputs = [ gmp @@ -41,14 +40,6 @@ stdenv.mkDerivation rec { # issues with ntl -- https://github.com/wbhart/flint2/issues/487 NIX_CXXSTDLIB_COMPILE = "-std=c++11"; - patches = [ - (fetchpatch { - # Always produce libflint.so.MAJOR; will be included in the next flint version - # See https://github.com/wbhart/flint2/pull/347 - url = "https://github.com/wbhart/flint2/commit/49fbcd8f736f847d3f9667f9f7d5567ef4550ecb.patch"; - sha256 = "09w09bpq85kjf752bd3y3i5lvy59b8xjiy7qmrcxzibx2a21pj73"; - }) - ]; doCheck = true; meta = { inherit version; |