diff options
| author | Lukas Werling <lukas.werling@gmail.com> | 2017-08-27 19:42:21 +0200 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2017-08-27 19:42:21 +0200 |
| commit | f0a1ab78b492015f8a60bb49065579195fe1dc86 (patch) | |
| tree | b6ab83e33ebded59238ab828f7f24d535e4df789 /pkgs/applications/science | |
| parent | cf7be87348667e92cc9d02da53628401c2f40cba (diff) | |
| download | nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar.gz nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar.bz2 nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar.lz nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar.xz nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.tar.zst nixlib-f0a1ab78b492015f8a60bb49065579195fe1dc86.zip | |
meson/ninja: add setup hooks (#28444)
* Add setupHook for meson/ninja build * libhttpseverywhere: Use meson/ninja setupHooks * jamomacore: Remove superfluous ninja buildInput * Remove obsolete ninja buildPhases These are all handled by ninja's setup hook. * lean2, xcbuild: fix build with ninja setup hook Ninja is a runtime dependency here. However, cmake can generate Ninja build files as well to satisfy the setup hook. * qtwebengine: fix build with ninja setup hook
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/lean2/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/lean2/default.nix b/pkgs/applications/science/logic/lean2/default.nix index f45f65e90826..2b861b6d06d9 100644 --- a/pkgs/applications/science/logic/lean2/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -20,6 +20,8 @@ stdenv.mkDerivation rec { cd src ''; + cmakeFlags = [ "-GNinja" ]; + postInstall = '' wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin ''; |