src/Pure/System/isabelle_system.scala
changeset 73906 9ce115baaa4f
parent 73880 f033d4f661e9
child 73907 4fbbf421c376
equal deleted inserted replaced
73905:029de1598940 73906:9ce115baaa4f
   541 
   541 
   542     if (gnutar_check) bash("tar " + options + args, redirect = redirect)
   542     if (gnutar_check) bash("tar " + options + args, redirect = redirect)
   543     else error("Expected to find GNU tar executable")
   543     else error("Expected to find GNU tar executable")
   544   }
   544   }
   545 
   545 
   546   def require_command(cmds: String*): Unit =
   546   def require_command(cmd: String, test: String = "--version"): Unit =
   547   {
   547   {
   548     for (cmd <- cmds) {
   548     if (!bash(Bash.string(cmd) + " " + test).ok) error("Missing system command: " + quote(cmd))
   549       if (!bash(Bash.string(cmd) + " --version").ok) error("Missing system command: " + quote(cmd))
       
   550     }
       
   551   }
   549   }
   552 
   550 
   553   def hostname(): String = bash("hostname -s").check.out
   551   def hostname(): String = bash("hostname -s").check.out
   554 
   552 
   555   def open(arg: String): Unit =
   553   def open(arg: String): Unit =