Commit ed10debb authored by Archit Gupta's avatar Archit Gupta
Browse files

lean4: remove cadical copy 

By default, lean4's cmake copies the cadical binary from PATH to its
build output directory. Disabling this behavior does not keep Lean from
using cadical.
parent 8b1cf894

pkgs/by-name/le/lean4/package.nix

+1 −0
Original line number Diff line number Diff line
@@ -79,6 +79,7 @@ stdenv.mkDerivation (finalAttrs: { 
  cmakeFlags = [

    "-DUSE_GITHASH=OFF"

    "-DINSTALL_LICENSE=OFF"

    "-DINSTALL_CADICAL=OFF"

    "-DUSE_MIMALLOC=${if enableMimalloc then "ON" else "OFF"}"

  ];

pkgs/development/lean-modules/lean4/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -86,6 +86,7 @@ let 
    cmakeFlags = [

      "-DUSE_GITHASH=OFF"

      "-DINSTALL_LICENSE=OFF"

      "-DINSTALL_CADICAL=OFF"

      "-DUSE_MIMALLOC=ON"

    ];