2010/6/19 KTP <kermitpumpkin at gmail.com>: > I was also using the cmake GUI instead of the command line. That shouldn't matter. All of the options you pass in the CLI are also configurable in the CMake GUI, but you might have to tell it to show you advanced options.