equal
deleted
inserted
replaced
13 private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
13 private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
14 |
14 |
15 private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r |
15 private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r |
16 |
16 |
17 val packages: List[String] = |
17 val packages: List[String] = |
18 List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen", "rsync") |
18 List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen") |
19 |
19 |
20 val package_collections: Map[String, List[String]] = |
20 val package_collections: Map[String, List[String]] = |
21 Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"), |
21 Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"), |
22 "latex" -> |
22 "latex" -> |
23 List( |
23 List( |