src/HOL/Library/code_test.ML
changeset 62549 9498623b27f0
parent 61077 06cca32aa519
child 63157 65a81a4ef7f8
     1.1 --- a/src/HOL/Library/code_test.ML	Mon Mar 07 20:44:47 2016 +0100
     1.2 +++ b/src/HOL/Library/code_test.ML	Mon Mar 07 21:09:28 2016 +0100
     1.3 @@ -382,9 +382,9 @@
     1.4        driverN
     1.5  
     1.6      val compile_cmd =
     1.7 -      File.shell_path (Path.variable ISABELLE_MLTON) ^
     1.8 -      " -default-type intinf " ^ File.shell_path ml_basis_path
     1.9 -    val run_cmd = File.shell_path (Path.append path (Path.basic projectN))
    1.10 +      File.bash_path (Path.variable ISABELLE_MLTON) ^
    1.11 +      " -default-type intinf " ^ File.bash_path ml_basis_path
    1.12 +    val run_cmd = File.bash_path (Path.append path (Path.basic projectN))
    1.13    in
    1.14      {files = [(driver_path, driver), (ml_basis_path, ml_basis)],
    1.15       compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path}
    1.16 @@ -464,7 +464,7 @@
    1.17        " -I " ^ Path.implode path ^
    1.18        " nums.cma " ^ Path.implode code_path ^ " " ^ Path.implode driver_path
    1.19  
    1.20 -    val run_cmd = File.shell_path compiled_path
    1.21 +    val run_cmd = File.bash_path compiled_path
    1.22    in
    1.23      {files = [(driver_path, driver)],
    1.24       compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path}
    1.25 @@ -509,7 +509,7 @@
    1.26        Config.get ctxt ghc_options ^ " -o " ^ Path.implode compiled_path ^ " " ^
    1.27        Path.implode driver_path ^ " -i" ^ Path.implode path
    1.28  
    1.29 -    val run_cmd = File.shell_path compiled_path
    1.30 +    val run_cmd = File.bash_path compiled_path
    1.31    in
    1.32      {files = [(driver_path, driver)],
    1.33       compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = mk_code_file}
    1.34 @@ -551,12 +551,12 @@
    1.35  
    1.36      val compile_cmd =
    1.37        Path.implode (Path.append (Path.variable ISABELLE_SCALA) (Path.basic "scalac")) ^
    1.38 -      " -d " ^ File.shell_path path ^ " -classpath " ^ File.shell_path path ^ " " ^
    1.39 -      File.shell_path code_path ^ " " ^ File.shell_path driver_path
    1.40 +      " -d " ^ File.bash_path path ^ " -classpath " ^ File.bash_path path ^ " " ^
    1.41 +      File.bash_path code_path ^ " " ^ File.bash_path driver_path
    1.42  
    1.43      val run_cmd =
    1.44        Path.implode (Path.append (Path.variable ISABELLE_SCALA) (Path.basic "scala")) ^
    1.45 -      " -cp " ^ File.shell_path path ^ " Test"
    1.46 +      " -cp " ^ File.bash_path path ^ " Test"
    1.47    in
    1.48      {files = [(driver_path, driver)],
    1.49       compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path}