--- a/src/Pure/System/isabelle_system.scala Mon Dec 28 22:58:25 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala Mon Dec 28 23:34:36 2009 +0100
@@ -22,8 +22,6 @@
{
/** Isabelle environment **/
- /* bash environment */
-
private val environment: Map[String, String] =
{
import scala.collection.jcl.Conversions._
@@ -61,6 +59,17 @@
}
+ /* external processes */
+
+ def execute(redirect: Boolean, args: String*): Process =
+ {
+ val cmdline =
+ if (Platform.is_windows) List(platform_root + "\\bin\\env.exe") ++ args
+ else args
+ Standard_System.raw_execute(environment, redirect, cmdline: _*)
+ }
+
+
/* getenv */
def getenv(name: String): String =
@@ -154,16 +163,6 @@
/** system tools **/
- /* external processes */
-
- def execute(redirect: Boolean, args: String*): Process =
- {
- val cmdline =
- if (Platform.is_windows) List(jvm_path("/bin/env")) ++ args
- else args
- Standard_System.raw_execute(environment, redirect, cmdline: _*)
- }
-
def system_out(script: String): (String, Int) =
{
Standard_System.with_tmp_file("isabelle_script") { script_file =>