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\.tar\.gz$""".r |
15 private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r |
16 |
16 |
17 val packages: List[String] = |
17 val packages: List[String] = |
18 List("curl", "less", "libfontconfig1", "libgomp1", "perl", "pwgen", "rlwrap", "unzip") |
18 List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "rlwrap", "unzip") |
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("texlive-fonts-extra", "texlive-font-utils", "texlive-latex-extra", "texlive-science")) |
23 List("texlive-fonts-extra", "texlive-font-utils", "texlive-latex-extra", "texlive-science")) |