src/Pure/Tools/phabricator.scala
changeset 70970 80dfc9a2f9c8
parent 70969 a48112873f81
child 71047 87c132cf5860
equal deleted inserted replaced
70969:a48112873f81 70970:80dfc9a2f9c8
    26   def default_repo(options: Options, name: String): Path =
    26   def default_repo(options: Options, name: String): Path =
    27     default_root(options, name) + Path.basic("repo")
    27     default_root(options, name) + Path.basic("repo")
    28 
    28 
    29   val packages: List[String] =
    29   val packages: List[String] =
    30     Build_Docker.packages :::
    30     Build_Docker.packages :::
    31     // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    31     List(
    32     List("git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
    32       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    33       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring")
    33       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
       
    34       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
       
    35       // more packages
       
    36       "php-zip", "python-pygments")
    34 
    37 
    35 
    38 
    36 
    39 
    37   /** global configuration **/
    40   /** global configuration **/
    38 
    41