diff options
author | Robert Scott <code@humanleg.org.uk> | 2023-11-23 23:41:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-23 23:41:07 +0000 |
commit | 17722110050cc3d663ef23e0ea64349ebae0f868 (patch) | |
tree | 9290ef8cadcc23d113c9574e847c3bb9de527ba3 /pkgs/applications | |
parent | ecbb7ad92a082f76b7004a8422bb9313dc0b658e (diff) | |
parent | b9a67f73176d44ff1b293a7ac9b241e919065b07 (diff) |
Merge pull request #269383 from marsam/fix-lean4-darwin
lean4: fix build on darwin
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/lean4/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/lean4/default.nix b/pkgs/applications/science/logic/lean4/default.nix index ecc929cb5f0e9..7cbedeef29a76 100644 --- a/pkgs/applications/science/logic/lean4/default.nix +++ b/pkgs/applications/science/logic/lean4/default.nix @@ -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/"; |