Unverified Commit f6c5b2b7 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

lean4: from rev to tag (#379518)

parents 1da52dd4 2a1698f8

pkgs/by-name/le/lean4/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -18,13 +18,13 @@ stdenv.mkDerivation (finalAttrs: { 
  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

    rev = "v${finalAttrs.version}";

    tag = "v${finalAttrs.version}";

    hash = "sha256-RdFTxLk0Yahwhu/oQeTappvWnUtnim63dxN7gmU8Jt8=";

  };



  postPatch = ''

    substituteInPlace src/CMakeLists.txt \

      --replace-fail 'set(GIT_SHA1 "")' 'set(GIT_SHA1 "${finalAttrs.src.rev}")'

      --replace-fail 'set(GIT_SHA1 "")' 'set(GIT_SHA1 "${finalAttrs.src.tag}")'



    # Remove tests that fails in sandbox.

    # It expects `sourceRoot` to be a git repository.
@@ -65,7 +65,7 @@ stdenv.mkDerivation (finalAttrs: { 
  meta = with lib; {

    description = "Automatic and interactive theorem prover";

    homepage = "https://leanprover.github.io/";

    changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.rev}/RELEASES.md";

    changelog = "https://github.com/leanprover/lean4/blob/${finalAttrs.src.tag}/RELEASES.md";

    license = licenses.asl20;

    platforms = platforms.all;

    maintainers = with maintainers; [