Unverified Commit 95536e30 authored by Ramses's avatar Ramses Committed by GitHub
Browse files

lean4: remove cadical copy (#513024)

parents ef56d563 ed10debb

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"

    ];