Frans de Jonge 9eca893ceb [build] Bump base to make ninja the default CMake generator when available (#4808) ... The difference for builds from scratch is negligible, but for rebuilds (i.e., for us hackers & the CI here in front) it should bring a speed improvement. Automatic fallback to Make when Ninja is not available, or override with `USE_MAKE=1`. You can (theoretically) choose your own generator with a sensible combination of `CMAKE_FLAGS` and `CMAKE_MAKE_PROGRAM`. I also added `MAKE_FLAGS` and `NINJA_FLAGS`. That way you can easily pass `MAKE_FLAGS=-n` or `NINJA_FLAGS=-n` for a dry run, for example. To switch you might have to run something like `make dist-clean USE_MAKE=1`. Cf. https://github.com/koreader/koreader-base/pull/861, https://github.com/koreader/koreader-base/pull/862 and https://github.com/koreader/virdevenv/pull/34/files		2019-03-16 10:48:53 +01:00
..
config.yml	[build] Bump base to make ninja the default CMake generator when available (#4808)	2019-03-16 10:48:53 +01:00