diff options
author | Timo Kaufmann <timokau@zoho.com> | 2018-04-22 23:13:05 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2018-04-22 23:42:26 +0200 |
commit | 1dbdffa0994d00d2b10485b40eb355cc28e96cc1 (patch) | |
tree | 1d60dc15a780acf3f5903c638f6d7bb01d7d9942 /pkgs/development/libraries/arb/default.nix | |
parent | 3aea9a4c2cd5824dcd02ea96729dc34cb97121ac (diff) |
arb: 2.8.1 -> 2.13.0
Diffstat (limited to 'pkgs/development/libraries/arb/default.nix')
-rw-r--r-- | pkgs/development/libraries/arb/default.nix | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/pkgs/development/libraries/arb/default.nix b/pkgs/development/libraries/arb/default.nix index c4b37ddb78fd..a59641e99d39 100644 --- a/pkgs/development/libraries/arb/default.nix +++ b/pkgs/development/libraries/arb/default.nix @@ -2,15 +2,21 @@ stdenv.mkDerivation rec { name = "${pname}-${version}"; pname = "arb"; - version = "2.8.1"; + version = "2.13.0"; src = fetchFromGitHub { owner = "fredrik-johansson"; repo = "${pname}"; rev = "${version}"; - sha256 = "15phk71ci9rr32aqznpkd2b993wjahsgliilkg4mnxsr86nwdf6x"; + sha256 = "1fl9gmxf6c1cphk5r8jbys5pywj2rfm705kv0055i0aqc6hrv303"; }; buildInputs = [mpir gmp mpfr flint]; - configureFlags = "--with-gmp=${gmp} --with-mpir=${mpir} --with-mpfr=${mpfr} --with-flint=${flint}"; + configureFlags = [ + "--with-gmp=${gmp}" + "--with-mpir=${mpir}" + "--with-mpfr=${mpfr}" + "--with-flint=${flint}" + ]; + doCheck = true; meta = { inherit version; description = ''A library for arbitrary-precision interval arithmetic''; |