# HG changeset patch
# User wenzelm
# Date 1697289400 -7200
# Node ID 9198e785d3d70f9d2a6e977f60787fe668b1f6ed
# Parent  b8c0a45e3381d07be4297562cd1979ad2d83a457
updated Linux baseline to Ubuntu 18.04;

diff -r b8c0a45e3381 -r 9198e785d3d7 Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Sat Oct 14 15:09:20 2023 +0200
+++ b/Admin/components/PLATFORMS	Sat Oct 14 15:16:40 2023 +0200
@@ -33,7 +33,7 @@
 
 Official platforms:
 
-  x86_64-linux      Ubuntu 16.04 LTS
+  x86_64-linux      Ubuntu 18.04 LTS
 
   x86_64-darwin     macOS 10.13 High Sierra (lapbroy68 MacBookPro11,2)
                     macOS 10.14 Mojave (???)
diff -r b8c0a45e3381 -r 9198e785d3d7 src/Pure/System/executable.scala
--- a/src/Pure/System/executable.scala	Sat Oct 14 15:09:20 2023 +0200
+++ b/src/Pure/System/executable.scala	Sat Oct 14 15:16:40 2023 +0200
@@ -51,7 +51,7 @@
 
       if (Platform.is_linux) {
         if (patchelf) {
-          // requires e.g. Ubuntu 16.04 LTS
+          // requires e.g. Ubuntu 18.04 LTS
           Isabelle_System.require_command("patchelf")
           Isabelle_System.bash("patchelf --force-rpath --set-rpath '$ORIGIN' " + File.bash_path(exe_path)).check
         }