Commit 432dfda0fb1b93fe52a13f33319eac350423e445

Patrick Steinhardt 2018-03-22T09:32:28

README.md: detail how to list all build options We do not list all build options inside of the README.md, and we definitly shouldn't do so. But in order to help people discover what can be configured, add instructions on how to have CMake generate the list of all knobs together with their current value.