diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2020-11-04 16:32:56 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2020-11-04 16:32:56 +0100 |
| commit | 8279979f386322bbba8504ac4dc9931dd5e90d34 (patch) | |
| tree | 389283a702881059c39963760f1e4dc63035311b /pkgs/applications/science/logic/lean | |
| parent | 81c5e310438d60e18f91540559f1584a560433bb (diff) | |
lean: build olean files
Diffstat (limited to 'pkgs/applications/science/logic/lean')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index eae2e384df408..749220382c64f 100644 --- 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 \ |