# HG changeset patch
# User wenzelm
# Date 1706036212 -3600
# Node ID db2b5c04075d6144615cad4d783a2c6727a24c84
# Parent  627bb49a11118fcd1469a89499c6f21d93b85e35
proper packages for mercurial_setup on Ubuntu 22.04: building from source provides hgweb modules, and also provides a defined version (6.1.1 is also provided by Ubuntu 22.04);

diff -r 627bb49a1111 -r db2b5c04075d src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 19:39:49 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 19:56:52 2024 +0100
@@ -38,7 +38,9 @@
       "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli",
       "php-json", "php-mbstring",
       // more packages
-      "php-xml", "php-zip", "python3-pygments", "ssh", "subversion")
+      "php-xml", "php-zip", "python3-pygments", "ssh", "subversion",
+      // mercurial build packages
+      "make", "gcc", "python3", "python3-dev", "python3-docutils")
 
   def packages(webserver: Webserver): List[String] = {
     val release = Linux.Release()
@@ -202,7 +204,11 @@
   val alternative_system_port = 222
   val default_server_port = 2222
 
-  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
+  val standard_mercurial_source = {
+    val release = Linux.Release()
+    if (release.is_ubuntu_20_04) "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
+    else "https://www.mercurial-scm.org/release/mercurial-6.1.1.tar.gz"
+  }