diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-10-13 15:28:15 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-10-26 11:06:41 +0200 |
commit | 5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd (patch) | |
tree | 32d81d57776d009f6f089dde441c73380a5520b3 /pkgs/development/libraries/arb | |
parent | bdaff5f2566ae8f87b4626974d590a1c69979ac7 (diff) | |
download | nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar.gz nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar.bz2 nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar.lz nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar.xz nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.tar.zst nixlib-5bdd22bf4e2b2e86ae9aae4a2595d8e26c1d32dd.zip |
arb-git: init at 2.9.0pre20161013. This ARB version is less annoying to use with FLINT
Diffstat (limited to 'pkgs/development/libraries/arb')
-rw-r--r-- | pkgs/development/libraries/arb/git.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/libraries/arb/git.nix b/pkgs/development/libraries/arb/git.nix new file mode 100644 index 000000000000..87b884fece10 --- /dev/null +++ b/pkgs/development/libraries/arb/git.nix @@ -0,0 +1,21 @@ +{stdenv, fetchFromGitHub, mpir, gmp, mpfr, flint}: +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "arb"; + version = "2.9.0pre20161013"; + src = fetchFromGitHub { + owner = "fredrik-johansson"; + repo = "${pname}"; + rev = "10bc615ce5999caf4723444b2b1219b74781d8a4"; + sha256 = "1xb40x3hv9nh76aizhskj5gdhalgn7r95a7zji2nn4ih3lmh40hl"; + }; + 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; + }; +} |