Adapt CMAKE_OPTIONS environment variable when using configure script
Adapt CMAKE_OPTIONS environment variable when using configure script

j-o/cmake-init,hpicgs/cmake-init,hpicgs/cmake-init,j-o/cmake-init,hpicgs/cmake-init,j-o/cmake-init,cginternals/cmake-init,hpicgs/cmake-init,cginternals/cmake-init,j-o/cmake-init