diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-11-23 04:20:00 +0000 |
|---|---|---|
| committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-11-23 04:20:00 +0000 |
| commit | b9a67f73176d44ff1b293a7ac9b241e919065b07 (patch) | |
| tree | 5620052b89764a15a2c083d4809430653326fce5 | |
| parent | ce956d54ca67c693347c58a57ddb9cce199f71ee (diff) | |
| download | nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar.gz nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar.bz2 nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar.lz nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar.xz nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.tar.zst nixlib-b9a67f73176d44ff1b293a7ac9b241e919065b07.zip | |
lean4: fix build on darwin
| -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 ecc929cb5f0e..7cbedeef29a7 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/"; |