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.
proper check of Linux version;
authorwenzelm
Tue, 10 Dec 2019 21:05:07 +0100
changeset 71268 e2fb60756fb8
parent 71267 d5751eb5cc57
child 71269 7df5c110a43c
proper check of Linux version;
src/Pure/System/linux.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/linux.scala	Tue Dec 10 20:57:54 2019 +0100
+++ b/src/Pure/System/linux.scala	Tue Dec 10 21:05:07 2019 +0100
@@ -50,6 +50,7 @@
     override def toString: String = description
 
     def is_ubuntu: Boolean = id == "Ubuntu"
+    def is_ubuntu_18_04: Boolean = is_ubuntu && release == "18.04"
   }
 
 
--- a/src/Pure/Tools/phabricator.scala	Tue Dec 10 20:57:54 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Dec 10 21:05:07 2019 +0100
@@ -453,6 +453,9 @@
 
       val progress = new Console_Progress
 
+      val release = Linux.Release()
+      if (!release.is_ubuntu_18_04) error("Bad Linux version: Ubuntu 18.04 LTS required")
+
       phabricator_setup(name = name, root = root, repo = repo,
         package_update = package_update, progress = progress)
     })
isabelle