diff options
| author | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-08-25 17:11:27 -0400 |
|---|---|---|
| committer | Jörg Thalheim <joerg@higgsboson.tk> | 2016-10-01 16:13:41 +0200 |
| commit | fcee1d0b28aa0f45f559d38659fd2a11cd34dafe (patch) | |
| tree | 809af78a8471b509b0e0516df1d2fbb5817a4b83 /pkgs/applications/science/logic/lean | |
| parent | 0e3e7a6bcd96405ddc257b93d57cda09b558cbdb (diff) | |
| download | nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar.gz nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar.bz2 nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar.lz nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar.xz nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.tar.zst nixlib-fcee1d0b28aa0f45f559d38659fd2a11cd34dafe.zip | |
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default. fixes #18000
Diffstat (limited to 'pkgs/applications/science/logic/lean')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 3bc1441212ee..e833b4afbbd2 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -20,8 +20,6 @@ stdenv.mkDerivation rec { cd src ''; - cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ]; - postInstall = '' wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin ''; |