-
Pius Raeder authored
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
a29e518c
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