# HG changeset patch # User wenzelm # Date 1633642866 -7200 # Node ID 59ef23ac81abe859af5319d3ab44b82971de5bdf # Parent 122615955fc0f0f592b9ba3f24aef7006119a921 save 90 MB by excluding rlwrap and thus perl; diff -r 122615955fc0 -r 59ef23ac81ab src/Pure/Tools/build_docker.scala --- a/src/Pure/Tools/build_docker.scala Thu Oct 07 23:21:09 2021 +0200 +++ b/src/Pure/Tools/build_docker.scala Thu Oct 07 23:41:06 2021 +0200 @@ -15,7 +15,7 @@ private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r val packages: List[String] = - List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "rlwrap", "unzip") + List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "unzip") val package_collections: Map[String, List[String]] = Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),