Salome HOME
merge from master
[tools/sat_salome.git] / products / CONFIGURATION.pyconf
1 default :
2 {
3     name : "CONFIGURATION"
4     get_source : "git"
5     git_info:
6     {
7         repo : $PROJECTS.projects.salome.git_info.default_git_server + "tools/configuration.git"
8         repo_dev : $PROJECTS.projects.salome.git_info.default_git_server_dev + "configuration.git"
9     }
10     depend : [ ]
11     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
12     properties :
13     {
14         compilation : "no"
15         configure_dependency : "yes"  # the source of this module is required for the configuration of salome
16         is_SALOME_module : "yes"
17         sources_in_package : "yes"
18     }
19
20     patches : []
21 }