f887c1da04
gebner has been an amazing maintainer, but appears to have moved on: the last commit on nixpkgs appears to have been in Feb 2023, and they have not been responding to pings (e.g. https://github.com/NixOS/nixpkgs/issues/347764). They also approved https://github.com/NixOS/nixpkgs/pull/337292 before, but that PR had some additional changes and was closed without merging. This PR is in no way intended to diminuish Gabriel's accomplishments, and they're welcome to just say so if they'd prefer this PR not to be merged. Also, even if it's merged, of course they're always welcome to return to activity and be added back. The intent of this PR is to give more realistic expectations around the maintainership of these packages, and to invite others to step up for maintainership if they rely on those packages. This seems in line with https://github.com/NixOS/nixpkgs/tree/master/maintainers#how-to-lose-maintainer-status
69 lines
1.4 KiB
Nix
69 lines
1.4 KiB
Nix
{
|
|
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
|
|
];
|
|
broken = stdenv.hostPlatform.isAarch64;
|
|
mainProgram = "lean";
|
|
};
|
|
}
|