|
|
|
@ -1,17 +1,17 @@ |
|
|
|
|
{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, gperftools }: |
|
|
|
|
{ stdenv, fetchFromGitHub, cmake, gmp }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
name = "lean-${version}"; |
|
|
|
|
version = "3.0.0"; |
|
|
|
|
version = "3.1.0"; |
|
|
|
|
|
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
owner = "leanprover"; |
|
|
|
|
repo = "lean"; |
|
|
|
|
rev = "v${version}"; |
|
|
|
|
sha256 = "1ds25213vir8llans7na3laqs8rgr06clgp9xzq8akiwfy87b74i"; |
|
|
|
|
sha256 = "0w4cdai6mzx4wr7gscv4sl5q4mxx1agjbpp4smvrslav7gpbz025"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
buildInputs = [ gmp mpfr cmake gperftools ]; |
|
|
|
|
buildInputs = [ gmp cmake ]; |
|
|
|
|
enableParallelBuilding = true; |
|
|
|
|
|
|
|
|
|
preConfigure = '' |
|
|
|
|