products/scotch.pyconf

   1 default :
   2 {
   3     name : "scotch"
   4     build_source : "script"
   5     compil_script :  $name + $VARS.scriptExtension
   6     get_source : "archive"
   7     system_info :
   8     {
   9         rpm : ["scotch"]
  10         rpm_dev : ["scotch-devel"]
  11         apt : []
  12         apt_dev : ["libscotch-dev"]
  13     }
  14     environ :
  15     {
  16        env_script : $name + ".py"
  17     }
  18     depend : []
  19     patches: []
  20     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  21     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  22     install_dir : 'base'
  23     properties :
  24     {
  25       incremental : "yes"
  26     }
  27 }
  28
  29 version_5_1_12b :
  30 {
  31     name : "scotch"
  32     build_source : "script"
  33     compil_script :  $name + "-5.1.12.sh"
  34     get_source : "archive"
  35     environ :
  36     {
  37        env_script : $name + ".py"
  38     }
  39     depend : []
  40     source_dir : $APPLICATION.workdir + $VARS.sep + 'SOURCES' + $VARS.sep + $name
  41     build_dir : $APPLICATION.workdir + $VARS.sep + 'BUILD' + $VARS.sep + $name
  42     install_dir : 'base'
  43 }
  44
  45 version_6_0_4 :
  46 {
  47     compil_script: "scotch-6.0.4.sh"
  48 }
  49
  50 version_6_0_4_MPI :
  51 {
  52     system_info :
  53     {
  54         rpm : ["ptscotch-openmpi"]
  55         rpm_dev : ["ptscotch-openmpi-devel"]
  56         apt : ["libptscotch"]
  57         apt_dev : ["libptscotch-dev"]
  58     }
  59     environ :
  60     {
  61        env_script : "scotch.py"
  62     }
  63     compil_script: "scotch-6.0.4.sh"
  64     depend: ['openmpi']
  65 }