# HG changeset patch
# User wenzelm
# Date 1495455324 -7200
# Node ID d82d1a2e8a4b698de23f9b0f3abbc5b4a5c800d8
# Parent  ab7d8c999531d5c2d2614888606c6d3e79a2edc8
proper File.platform_path for scala on Windows;

diff -r ab7d8c999531 -r d82d1a2e8a4b src/HOL/Library/code_test.ML
--- a/src/HOL/Library/code_test.ML	Mon May 22 14:08:22 2017 +0200
+++ b/src/HOL/Library/code_test.ML	Mon May 22 14:15:24 2017 +0200
@@ -552,11 +552,12 @@
       "}\n"
 
     val compile_cmd =
-      "isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d " ^ File.bash_path path ^
-      " -classpath " ^ File.bash_path path ^ " " ^
-      File.bash_path code_path ^ " " ^ File.bash_path driver_path
+      "isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d " ^ Bash.string (File.platform_path path) ^
+      " -classpath " ^ Bash.string (File.platform_path path) ^ " " ^
+      Bash.string (File.platform_path code_path) ^ " " ^
+      Bash.string (File.platform_path driver_path)
 
-    val run_cmd = "isabelle_scala scala -cp " ^ File.bash_path path ^ " Test"
+    val run_cmd = "isabelle_scala scala -cp " ^ Bash.string (File.platform_path path) ^ " Test"
   in
     {files = [(driver_path, driver)],
      compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path}