lean: build olean files

2020-11-04 16:32:56 +01:00 · 2020-11-04 16:32:56 +01:00 · 8279979f38
commit 8279979f38
parent 81c5e31043
1 changed files with 7 additions and 3 deletions
--- a/pkgs/applications/science/logic/lean/default.nix
+++ b/pkgs/applications/science/logic/lean/default.nix
@ -15,9 +15,13 @@ stdenv.mkDerivation rec {
  buildInputs = [ gmp ];
  enableParallelBuilding = true;

-  preConfigure = ''
-    cd src
-  '';
+  cmakeDir = "../src";
+
+  # Running the tests is required to build the *.olean files for the core
+  # library.
+  doCheck = true;
+
+  postPatch = "patchShebangs .";

  postInstall = stdenv.lib.optionalString stdenv.isDarwin ''
    substituteInPlace $out/bin/leanpkg \