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.
clarified packages (for z3);
authorwenzelm
Sun, 15 Jan 2017 12:59:40 +0100
changeset 64897 c3320dc731c7
parent 64896 6d709a78e269
child 64898 49aa13b1b592
clarified packages (for z3);
src/Pure/Admin/build_docker.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_docker.scala	Sun Jan 15 12:46:09 2017 +0100
+++ b/src/Pure/Admin/build_docker.scala	Sun Jan 15 12:59:40 2017 +0100
@@ -12,7 +12,7 @@
   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
 
   private val standard_packages =
-    List("less", "lib32stdc++6", "libwww-perl", "rlwrap", "unzip")
+    List("less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip")
 
   private val package_collections =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
isabelle