Add variables for configured options to CMake config files

12 jobs for cmake-update in 12 minutes and 54 seconds (queued for 1 second)