Unverified Commit 6f7cf3af authored by Robert Scott's avatar Robert Scott Committed by GitHub
Browse files

Merge pull request #269523 from NixOS/backport-269383-to-release-23.11 

[Backport release-23.11] lean4: fix build on darwin
parents 99df1cee 1c6a6469

pkgs/applications/science/logic/lean4/default.nix

+5 −0
Original line number Diff line number Diff line
@@ -48,6 +48,11 @@ stdenv.mkDerivation rec { 
    "-DUSE_GITHASH=OFF"

  ];



  # Work around https://github.com/NixOS/nixpkgs/issues/166205.

  env = lib.optionalAttrs stdenv.cc.isClang {

    NIX_LDFLAGS = "-l${stdenv.cc.libcxx.cxxabi.libName}";

  };



  meta = with lib; {

    description = "Automatic and interactive theorem prover";

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