PageRenderTime 52ms CodeModel.GetById 23ms RepoModel.GetById 0ms app.codeStats 0ms

/build-support/trunk/ci/copy_properties.groovy

#
Groovy | 53 lines | 43 code | 4 blank | 6 comment | 3 complexity | b3deed8fac0f9a95d6390a87caec3837 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. #!/usr/bin/env groovy
    2. 

  2. /* This script copies properties provided as System properties in Hudson into actual properties files used by jEdit's
    3. 

  3.  * Build process.
    4. 

  4.  */
    5. 

  5.  
    6. 

  6. def props = System.properties
    7. 

  7. def env = System.env
    8. 

  8. 

  9. String workspace = props.get("user.dir")
    10. 

  10. String storeComment = "## THIS FILE IS GENERATED BASED ON SYSTEM PROPERTIES SUPPLIED TO HUDSON, AND IS USUALLY REPLACED ON EACH BUILD."
    11. 

  11. 

  12. println "Copying properties over to appropriate directories"
    13. 

  13. def coreProps = new Properties() 
    14. 

  14. def pluginProps = new Properties()
    15. 

  15. props.each { key, value ->
    16. 

  16.    if(key.startsWith("je.ci.")) {
    17. 

  17.       println "jEdit CI prop found - ${key}: ${value}"
    18. 

  18.       if(key.startsWith("je.ci.pl.")) {
    19. 

  19.          def cleanKey = key - 'je.ci.pl.'
    20. 

  20.          println "   clean key: ${cleanKey}"
    21. 

  21.          pluginProps.setProperty(cleanKey, value)
    22. 

  22.       } else {
    23. 

  23.          def cleanKey = key - 'je.ci.'
    24. 

  24.          println "   clean key: ${cleanKey}"
    25. 

  25.          coreProps.setProperty(cleanKey, value)
    26. 

  26.       }
    27. 

  27.    }
    28. 

  28. }
    29. 

  29. File corePropsFile = new File(workspace, "jedit/build.properties")
    30. 

  30. // make sure stuff exists.
    31. 

  31. corePropsFile.parentFile.exists() ?: corePropsFile.parentFile.mkdirs() ?: {
    32. 

  32.    System.err.println("'${corePropsFile.parentFile}' did not exist, and could not be created. Exiting.")
    33. 

  33.    System.exit(1)
    34. 

  34. }()
    35. 

  35. corePropsFile.exists() ?: corePropsFile.createNewFile() ?: {
    36. 

  36.    System.err.println("'${corePropsFile}' did not exist, and could not be created. Exiting.")
    37. 

  37.    System.exit(1)
    38. 

  38. }()
    39. 

  39. coreProps.store(corePropsFile.newWriter(), storeComment)
    40. 

  40. 

  41. File pluginPropsFile = new File(workspace, "jedit/jars/build.properties")
    42. 

  42. // make sure stuff exists.
    43. 

  43. pluginPropsFile.parentFile.exists() ?: pluginPropsFile.parentFile.mkdirs() ?: {
    44. 

  44.    System.err.println("'${pluginPropsFile.parentFile}' did not exist, and could not be created. Exiting.")
    45. 

  45.    System.exit(1)
    46. 

  46. }()
    47. 

  47. pluginPropsFile.exists() ?: pluginPropsFile.createNewFile() ?: {
    48. 

  48.    System.err.println("'${pluginPropsFile}' did not exist, and could not be created. Exiting.")
    49. 

  49.    System.exit(1)
    50. 

  50. }()
    51. 

  51. pluginProps.putAll(coreProps)
    52. 

  52. pluginProps.store(pluginPropsFile.newWriter(), storeComment)
    53. 

  53. /* ::mode=groovy:noTabs=true:maxLineLen=120:wrap=soft:: */
    54. 

  54.