Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated Linux baseline to Ubuntu 18.04;
authorwenzelm
Sat, 14 Oct 2023 15:16:40 +0200
changeset 78773 9198e785d3d7
parent 78772 b8c0a45e3381
child 78774 99ff760cf63a
updated Linux baseline to Ubuntu 18.04;
Admin/components/PLATFORMS file | annotate | diff | comparison | revisions
src/Pure/System/executable.scala file | annotate | diff | comparison | revisions 
--- 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 (???)
--- 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
         }
isabelle