aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/arb/default.nix
diff options
context:
space:
mode:
authorTimo Kaufmann <timokau@zoho.com>2018-04-22 23:13:05 +0200
committerTimo Kaufmann <timokau@zoho.com>2018-04-22 23:42:26 +0200
commit1dbdffa0994d00d2b10485b40eb355cc28e96cc1 (patch)
tree1d60dc15a780acf3f5903c638f6d7bb01d7d9942 /pkgs/development/libraries/arb/default.nix
parent3aea9a4c2cd5824dcd02ea96729dc34cb97121ac (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.nix12
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'';