Use ninja instead of make by default if it is available [#CLICKHOUSE-2]

This commit is contained in:
Alexey Milovidov 2018-06-08 19:07:52 +03:00
parent 370545d6c2
commit 8a7103ca58

View File

@ -1,4 +1,11 @@
# Use Ninja instead of Unix Makefiles by default.
# https://stackoverflow.com/questions/11269833/cmake-selecting-a-generator-within-cmakelists-txt
#
# Reason: it have better startup time than make and it parallelize jobs more uniformly.
# (when comparing to make with Makefiles that was generated by CMake)
#
# How to install Ninja on Ubuntu:
# sudo apt-get install ninja-build
find_program(NINJA_PATH ninja)
if (NINJA_PATH)