nixpkgs/pkgs/applications/science/logic/lean
Aneesh Agrawal fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.

fixes #18000
2016-10-01 16:13:41 +02:00
..
default.nix Remove redundant -DCMAKE_BUILD_TYPE=Release flags 2016-10-01 16:13:41 +02:00