updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
authorwenzelm
Sat Mar 23 17:10:53 2019 +0100 (2 months ago)
changeset 69957e3217c6d6467
parent 69956 800ec9074701
child 69958 70dc3c4e9469
updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
src/Pure/Tools/build_docker.scala
     1.1 --- a/src/Pure/Tools/build_docker.scala	Sat Mar 23 17:00:44 2019 +0100
     1.2 +++ b/src/Pure/Tools/build_docker.scala	Sat Mar 23 17:10:53 2019 +0100
     1.3 @@ -12,10 +12,10 @@
     1.4    private val default_base = "ubuntu"
     1.5    private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
     1.6  
     1.7 -  private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_(?:app|linux)\.tar\.gz$""".r
     1.8 +  private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r
     1.9  
    1.10    val packages: List[String] =
    1.11 -    List("curl", "less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip")
    1.12 +    List("curl", "less", "libfontconfig1", "libgomp1", "libwww-perl", "rlwrap", "unzip")
    1.13  
    1.14    val package_collections: Map[String, List[String]] =
    1.15      Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
    1.16 @@ -129,9 +129,9 @@
    1.17  
    1.18    Examples:
    1.19  
    1.20 -    isabelle build_docker -E -t test/isabelle:Isabelle2018 Isabelle2018_app.tar.gz
    1.21 +    isabelle build_docker -E -t test/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz
    1.22  
    1.23 -    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2018_app.tar.gz
    1.24 +    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2019_linux.tar.gz
    1.25  
    1.26  """,
    1.27            "B:" -> (arg => base = arg),