Merge pull request #102774 from gebner/fix-lean-build

lean: build olean files
2020-11-04 17:12:42 +01:00 · 2020-11-04 17:12:42 +01:00 · 0aaf9d6143
parent 81c5e31043 8279979f38
commit 0aaf9d6143
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 \