|
/* Title: Pure/System/cygwin.scala
Author: Makarius
Cygwin as POSIX emulation on Windows.
*/
package isabelle
import java.io.{File => JFile}
import java.nio.file.Files
import scala.annotation.tailrec
object Cygwin
{
/* init (e.g. after extraction via 7zip) */
def init(isabelle_root: String, cygwin_root: String)
{
require(Platform.is_windows, "Windows platform expected")
def exec(cmdline: String*)
{
val cwd = new JFile(isabelle_root)
val env = sys.env + ("CYGWIN" -> "nodosfilewarning")
val proc = Isabelle_System.process(cmdline.toList, cwd = cwd, env = env, redirect = true)
val (output, rc) = Isabelle_System.process_output(proc)
if (rc != 0) error(output)
}
val uninitialized_file = new JFile(cygwin_root, "isabelle\\uninitialized")
val uninitialized = uninitialized_file.isFile && uninitialized_file.delete
if (uninitialized) {
val symlinks =
{
val path = (new JFile(cygwin_root + "\\isabelle\\symlinks")).toPath
Files.readAllLines(path, UTF8.charset).toArray.toList.asInstanceOf[List[String]]
}
@tailrec def recover_symlinks(list: List[String]): Unit =
{
list match {
case Nil | List("") =>
case target :: content :: rest =>
link(content, new JFile(isabelle_root, target))
recover_symlinks(rest)
case _ => error("Unbalanced symlinks list")
}
}
recover_symlinks(symlinks)
exec(cygwin_root + "\\bin\\dash.exe", "/isabelle/rebaseall")
exec(cygwin_root + "\\bin\\bash.exe", "/isabelle/postinstall")
}
}
def link(content: String, target: JFile)
{
val target_path = target.toPath
using(Files.newBufferedWriter(target_path, UTF8.charset))(
_.write("!" + content + "\u0000"))
Files.setAttribute(target_path, "dos:system", true)
}
}
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
