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

Merge pull request #269383 from marsam/fix-lean4-darwin 

lean4: fix build on darwin
parents ecbb7ad9 b9a67f73

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/";