cmake HAS_STDCPP0X examples

Gecode/gecode CMakeLists.txt :65

check_cxx_compiler_flag(-std=c++0x HAS_STDCPP0X)