aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/arb/default.nix
diff options
context:
space:
mode:
authorMichael Raskin <7c6f434c@mail.ru>2016-10-10 20:01:44 +0200
committerMichael Raskin <7c6f434c@mail.ru>2016-10-26 11:06:35 +0200
commit9fe49b39fb96c3affc5ff4310edfa12c275b7a0b (patch)
tree27f1d3f4b2c43b2fb15771184062c7edda373dbd /pkgs/development/libraries/arb/default.nix
parent0337440ba3d97ea631a48edff24607d7cd3eed36 (diff)
arb: init at 2.8.1
Diffstat (limited to 'pkgs/development/libraries/arb/default.nix')
-rw-r--r--pkgs/development/libraries/arb/default.nix21
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/libraries/arb/default.nix b/pkgs/development/libraries/arb/default.nix
new file mode 100644
index 000000000000..c4b37ddb78fd
--- /dev/null
+++ b/pkgs/development/libraries/arb/default.nix
@@ -0,0 +1,21 @@
+{stdenv, fetchFromGitHub, mpir, gmp, mpfr, flint}:
+stdenv.mkDerivation rec {
+ name = "${pname}-${version}";
+ pname = "arb";
+ version = "2.8.1";
+ src = fetchFromGitHub {
+ owner = "fredrik-johansson";
+ repo = "${pname}";
+ rev = "${version}";
+ sha256 = "15phk71ci9rr32aqznpkd2b993wjahsgliilkg4mnxsr86nwdf6x";
+ };
+ buildInputs = [mpir gmp mpfr flint];
+ configureFlags = "--with-gmp=${gmp} --with-mpir=${mpir} --with-mpfr=${mpfr} --with-flint=${flint}";
+ meta = {
+ inherit version;
+ description = ''A library for arbitrary-precision interval arithmetic'';
+ license = stdenv.lib.licenses.lgpl21Plus;
+ maintainers = [stdenv.lib.maintainers.raskin];
+ platforms = stdenv.lib.platforms.linux;
+ };
+}