--- a/src/Pure/System/linux.scala Sat Oct 17 18:36:08 2020 +0100
+++ b/src/Pure/System/linux.scala Sun Oct 18 13:10:09 2020 +0200
@@ -12,11 +12,6 @@
object Linux
{
- /* required packages */
-
- val packages: List[String] = List("pwgen")
-
-
/* check system */
def check_system(): Unit =
--- a/src/Pure/Tools/build_docker.scala Sat Oct 17 18:36:08 2020 +0100
+++ b/src/Pure/Tools/build_docker.scala Sun Oct 18 13:10:09 2020 +0200
@@ -15,7 +15,7 @@
private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r
val packages: List[String] =
- List("curl", "less", "libfontconfig1", "libgomp1", "libwww-perl", "rlwrap", "unzip")
+ List("curl", "less", "libfontconfig1", "libgomp1", "libwww-perl", "pwgen", "rlwrap", "unzip")
val package_collections: Map[String, List[String]] =
Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
--- a/src/Pure/Tools/phabricator.scala Sat Oct 17 18:36:08 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala Sun Oct 18 13:10:09 2020 +0200
@@ -22,7 +22,7 @@
/* required packages */
val packages: List[String] =
- Build_Docker.packages ::: Linux.packages :::
+ Build_Docker.packages :::
List(
// https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
"git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",