Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib 2, stdenv 3, fetchFromGitHub 4, mpir 5, gmp 6, mpfr 7, flint 8}: 9 10stdenv.mkDerivation rec { 11 pname = "arb"; 12 version = "2.23.0"; 13 14 src = fetchFromGitHub { 15 owner = "fredrik-johansson"; 16 repo = pname; 17 rev = version; 18 sha256 = "sha256-dt9PZ3Xfn60rhmnxYo7CEzNTEUN/wMVAXe8U5PzUO9U="; 19 }; 20 21 buildInputs = [ mpir gmp mpfr flint ]; 22 23 configureFlags = [ 24 "--with-gmp=${gmp}" 25 "--with-mpir=${mpir}" 26 "--with-mpfr=${mpfr}" 27 "--with-flint=${flint}" 28 ]; 29 30 enableParallelBuilding = true; 31 32 doCheck = true; 33 34 meta = with lib; { 35 description = "A library for arbitrary-precision interval arithmetic"; 36 homepage = "https://arblib.org/"; 37 license = licenses.lgpl21Plus; 38 maintainers = teams.sage.members; 39 platforms = platforms.unix; 40 }; 41}