src/Pure/Tools/phabricator.scala
changeset 71265 6ca561001244
parent 71135 781b15f53098
child 71266 8451c86ffa85
equal deleted inserted replaced
71264:0c454a5d125d 71265:6ca561001244
    19   /** defaults **/
    19   /** defaults **/
    20 
    20 
    21   /* required packages */
    21   /* required packages */
    22 
    22 
    23   val packages: List[String] =
    23   val packages: List[String] =
    24     Build_Docker.packages :::
    24     Build_Docker.packages ::: Linux.packages :::
    25     List(
    25     List(
    26       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    26       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    27       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
    27       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
    28       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
    28       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
    29       // more packages
    29       // more packages