src/Pure/Admin/build_docker.scala
changeset 64897 c3320dc731c7
parent 64896 6d709a78e269
child 64899 749d3a86c6a3
equal deleted inserted replaced
64896:6d709a78e269 64897:c3320dc731c7
    10 object Build_Docker
    10 object Build_Docker
    11 {
    11 {
    12   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
    12   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
    13 
    13 
    14   private val standard_packages =
    14   private val standard_packages =
    15     List("less", "lib32stdc++6", "libwww-perl", "rlwrap", "unzip")
    15     List("less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip")
    16 
    16 
    17   private val package_collections =
    17   private val package_collections =
    18     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
    18     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
    19       "latex" -> List("texlive-fonts-extra", "texlive-latex-extra", "texlive-math-extra"))
    19       "latex" -> List("texlive-fonts-extra", "texlive-latex-extra", "texlive-math-extra"))
    20 
    20