Commit b9a67f73 authored by Mario Rodas's avatar Mario Rodas
Browse files

lean4: fix build on darwin

parent ce956d54

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