src/Pure/Tools/phabricator.scala
changeset 72523 0d3b623db61a
parent 72522 6e27af808c17
child 72763 3cc73d00553c
equal deleted inserted replaced
72522:6e27af808c17 72523:0d3b623db61a
    26     List(
    26     List(
    27       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    27       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
    28       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
    28       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
    29       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
    29       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
    30       // more packages
    30       // more packages
    31       "php-xml", "php-zip", "python-pygments", "ssh", "subversion",
    31       "php-xml", "php-zip", "python-pygments", "ssh", "subversion", "python-pygments",
    32       // mercurial build packages
    32       // mercurial build packages
    33       "make", "gcc", "python", "python-dev", "python-docutils", "python-pygments", "python-openssl")
    33       "make", "gcc", "python", "python-dev", "python-docutils", "python-openssl")
    34 
    34 
    35   val packages_ubuntu_20_04: List[String] =
    35   val packages_ubuntu_20_04: List[String] =
    36     packages_ubuntu_18_04.map((name: String) =>
    36     packages_ubuntu_18_04.map(
    37       if (name.startsWith("python")) name.replace("python", "python3") else name)
    37       {
       
    38         case "python-pygments" => "python3-pygments"
       
    39         case "python-dev" => "python2-dev"
       
    40         case name => name
       
    41       })
    38 
    42 
    39   def packages: List[String] =
    43   def packages: List[String] =
    40   {
    44   {
    41     val release = Linux.Release()
    45     val release = Linux.Release()
    42     if (release.is_ubuntu_18_04) packages_ubuntu_18_04
    46     if (release.is_ubuntu_18_04) packages_ubuntu_18_04