products/patches/geom-doc-gui.patch

   1 --- GEOM_ref/doc/salome/gui/GEOM/CMakeLists.txt
   2 +++ GEOM/doc/salome/gui/GEOM/CMakeLists.txt
   3 @@ -32,6 +32,11 @@
   4  SALOME_ACCUMULATE_ENVIRONMENT(GEOM_PluginsList NOCHECK ${DOC_GEOM_PluginsList})
   5  SET(geom_file "${CMAKE_CURRENT_SOURCE_DIR}/collect_geom_methods.py")
   6  SET(plugins_cmd_options ${geom_file} -o tmp1/geomBuilder.py ${DOC_GEOM_PluginsList})
   7 +IF(WIN32)
   8 +  MESSAGE(STATUS "Environment variable SALOME_HAS_GLOBAL_ENV is set to: $ENV{SALOME_HAS_GLOBAL_ENV}")
   9 +  set(ENV{SALOME_HAS_GLOBAL_ENV} "0")
  10 +  MESSAGE(STATUS "Environment variable SALOME_HAS_GLOBAL_ENV is NOW set to: $ENV{SALOME_HAS_GLOBAL_ENV}")
  11 +ENDIF(WIN32)
  12  SALOME_GENERATE_ENVIRONMENT_SCRIPT(plugins_cmd env_script "${PYTHON_EXECUTABLE}" "${plugins_cmd_options}")
  13  # Install a script
  14  SALOME_INSTALL_SCRIPTS(collect_geom_methods.py ${SALOME_INSTALL_BINS})