src/Pure/Tools/phabricator.scala
changeset 77567 b975f5aaf6b8
parent 77369 df17355f1e2c
child 78602 92b6958e8787
equal deleted inserted replaced
77566:2a99fcb283ee 77567:b975f5aaf6b8
    19   /** defaults **/
    19   /** defaults **/
    20 
    20 
    21   /* required packages */
    21   /* required packages */
    22 
    22 
    23   val packages_ubuntu_20_04: List[String] =
    23   val packages_ubuntu_20_04: List[String] =
    24     Build_Docker.packages :::
    24     Docker_Build.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