commit
5f6eccb822
@ -0,0 +1,46 @@ |
||||
{ lib, stdenv, fetchpatch, fetchFromGitHub, cmake, gmp, mpfr, python3 |
||||
, jemalloc, ninja, makeWrapper }: |
||||
|
||||
stdenv.mkDerivation { |
||||
pname = "lean2"; |
||||
version = "2018-10-01"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "leanprover"; |
||||
repo = "lean2"; |
||||
rev = "8072fdf9a0b31abb9d43ab894d7a858639e20ed7"; |
||||
sha256 = "12bscgihdgvaq5xi0hqf5r4w386zxm3nkx1n150lv5smhg8ga3gg"; |
||||
}; |
||||
|
||||
patches = [ |
||||
# https://github.com/leanprover/lean2/pull/13 |
||||
(fetchpatch { |
||||
name = "lean2-fix-compilation-error.patch"; |
||||
url = "https://github.com/collares/lean2/commit/09b316ce75fd330b3b140d138bcdae2b0e909234.patch"; |
||||
sha256 = "060mvqn9y8lsn4l20q9rhamkymzsgh0r1vzkjw78gnj8kjw67jl5"; |
||||
}) |
||||
]; |
||||
nativeBuildInputs = [ cmake makeWrapper ninja ]; |
||||
buildInputs = [ gmp mpfr python3 jemalloc ]; |
||||
|
||||
preConfigure = '' |
||||
patchShebangs bin/leantags |
||||
cd src |
||||
''; |
||||
|
||||
cmakeFlags = [ "-GNinja" ]; |
||||
|
||||
postInstall = '' |
||||
wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin |
||||
''; |
||||
|
||||
meta = with lib; { |
||||
description = "Automatic and interactive theorem prover (version with HoTT support)"; |
||||
homepage = "http://leanprover.github.io"; |
||||
license = licenses.asl20; |
||||
platforms = platforms.unix; |
||||
maintainers = with maintainers; [ thoughtpolice gebner ]; |
||||
broken = stdenv.isAarch64; |
||||
mainProgram = "lean"; |
||||
}; |
||||
} |
@ -1,50 +0,0 @@ |
||||
{ lib, buildGoPackage, fetchFromGitHub, curl, ncurses, pkg-config, readline |
||||
, cmake }: |
||||
let |
||||
version = "0.3.2"; |
||||
in |
||||
buildGoPackage { |
||||
pname = "grv"; |
||||
inherit version; |
||||
|
||||
buildInputs = [ ncurses readline curl ]; |
||||
nativeBuildInputs = [ pkg-config cmake ]; |
||||
|
||||
goPackagePath = "github.com/rgburke/grv"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "rgburke"; |
||||
repo = "grv"; |
||||
rev = "v${version}"; |
||||
sha256 = "0bpjsk35rlp56z8149z890adnhmxyh743vsls3q86j4682b83kyf"; |
||||
fetchSubmodules = true; |
||||
}; |
||||
|
||||
postPatch = '' |
||||
rm util/update_latest_release.go |
||||
''; |
||||
|
||||
postConfigure = '' |
||||
cd $NIX_BUILD_TOP/go/src/$goPackagePath |
||||
''; |
||||
|
||||
buildPhase = '' |
||||
runHook preBuild |
||||
make build-only |
||||
runHook postBuild |
||||
''; |
||||
|
||||
installPhase = '' |
||||
runHook preInstall |
||||
install -D grv $out/bin/grv |
||||
runHook postInstall |
||||
''; |
||||
|
||||
meta = with lib; { |
||||
description = "GRV is a terminal interface for viewing Git repositories"; |
||||
homepage = "https://github.com/rgburke/grv"; |
||||
license = licenses.gpl3; |
||||
platforms = platforms.unix; |
||||
maintainers = with maintainers; [ ]; |
||||
}; |
||||
} |
@ -1,17 +0,0 @@ |
||||
{ buildGoPackage, fetchFromGitHub }: |
||||
|
||||
buildGoPackage { |
||||
pname = "kexpand"; |
||||
version = "unstable-2017-05-12"; |
||||
|
||||
goPackagePath = "github.com/kopeio/kexpand"; |
||||
|
||||
subPackages = [ "." ]; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "kopeio"; |
||||
repo = "kexpand"; |
||||
rev = "c508a43a4e84410dfd30827603e902148c5c1f3c"; |
||||
sha256 = "0946h74lsqnr1106j7i2w2a5jg2bbk831d7prlws4bb2kigfm38p"; |
||||
}; |
||||
} |
@ -0,0 +1,16 @@ |
||||
Shrink closure size by avoiding paths embedded from configure call.
|
||||
|
||||
https://github.com/NixOS/nixpkgs/issues/175693
|
||||
--- a/daemon/buildinfo.c
|
||||
+++ b/daemon/buildinfo.c
|
||||
@@ -248,7 +248,9 @@ void print_build_info(void) {
|
||||
char *prebuilt_distro = NULL;
|
||||
get_install_type(&install_type, &prebuilt_arch, &prebuilt_distro);
|
||||
|
||||
- printf("Configure options: %s\n", CONFIGURE_COMMAND);
|
||||
+ // To minimize closure size do not persist configure options
|
||||
+ // with build-time inputs.
|
||||
+ printf("Configure options: REMOVED\n");
|
||||
|
||||
if (install_type == NULL) {
|
||||
printf("Install type: unknown\n");
|
Loading…
Reference in new issue