diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-10 20:01:44 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:35 +0200 |
commit | 9fe49b39fb96c3affc5ff4310edfa12c275b7a0b (patch) | |
tree | 27f1d3f4b2c43b2fb15771184062c7edda373dbd /pkgs/development/libraries/arb | |
parent | 0337440ba3d97ea631a48edff24607d7cd3eed36 (diff) | |
download | nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar.gz nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar.bz2 nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar.lz nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar.xz nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.tar.zst nixpkgs-9fe49b39fb96c3affc5ff4310edfa12c275b7a0b.zip |
arb: init at 2.8.1
Diffstat (limited to 'pkgs/development/libraries/arb')
-rw-r--r-- | pkgs/development/libraries/arb/default.nix | 21 |
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 00000000000..c4b37ddb78f --- /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; + }; +} |