src/Pure/Tools/phabricator.scala
changeset 81725 e620f6094b9e
parent 81724 ed5a05b06ee0
child 81727 4ab59fef89ea
equal deleted inserted replaced
81724:ed5a05b06ee0 81725:e620f6094b9e
    21   /* system packages */
    21   /* system packages */
    22 
    22 
    23   val packages_ubuntu_22_04: List[String] =
    23   val packages_ubuntu_22_04: List[String] =
    24     Docker_Build.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       // base packages
    27       "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli",
    27       "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli",
    28       "php-json", "php-mbstring",
    28       "php-json", "php-mbstring",
    29       // more packages
    29       // more packages
    30       "php-xml", "php-zip", "python3-pygments", "ssh", "subversion",
    30       "php-xml", "php-zip", "python3-pygments", "ssh", "subversion",
    31       // mercurial build packages
    31       // mercurial build packages
    32       "make", "gcc", "python3", "python3-dev", "python3-docutils")
    32       "make", "gcc", "python3", "python3-dev", "python3-docutils")
    33 
    33 
    34   val packages_ubuntu_24_04: List[String] =
    34   val packages_ubuntu_24_04: List[String] =
    35     Docker_Build.packages :::
    35     Docker_Build.packages :::
    36     List(
    36     List(
    37       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    37       // base packages
    38       "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli",
    38       "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli",
    39       "php-json", "php-mbstring",
    39       "php-json", "php-mbstring",
    40       // more packages
    40       // more packages
    41       "php-xml", "php-zip", "python3-pygments", "ssh", "subversion",
    41       "php-xml", "php-zip", "python3-pygments", "ssh", "subversion",
    42       // mercurial build packages
    42       // mercurial build packages