Pius Raeder a29e518cfe Disable building benchmarks by default ...

Building the benchmarks requires google-benchmark to be installed which is
not the case for most of the build systems. The option now has a tiny
hint what the requirement is and where to get it.

closes #975

2019-01-23 10:03:03 +01:00

4.9 KiB

Raw Blame History

View Raw