products/Pygments.pyconf

   1 default :
   2 {
   3     name : "Pygments"
   4     build_source : "script"
   5     compil_script :  "pip_install" + $VARS.scriptExtension
   6     get_source : "archive"
   7     archive_info : {archive_prefix : "pygments"}
   8     system_info :
   9     {
  10         rpm : ["python3-pygments"]
  11         rpm_dev : []
  12         apt : ["python3-pygments"]
  13         apt_dev : []
  14     }
  15     environ :
  16     {
  17        env_script : $name + ".py"
  18     }
  19     depend : ["Python", "setuptools"]
  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        pip : "yes"
  26        incremental : "yes"
  27     }
  28 }
  29
  30 default_win :
  31 {
  32    compil_script :  'pip_install_whl' + $VARS.scriptExtension
  33    archive_info : {archive_name : "Pygments-" + $APPLICATION.products.Pygments + "_windows.tar.gz"}
  34 }
  35
  36 version_1_0_0_to_2_16_1 :
  37 {
  38     archive_info : {archive_prefix : "Pygments"}
  39 }