proper File.platform_path for Windows;
authorwenzelm
Mon, 23 Dec 2019 19:27:37 +0100
changeset 71549 6d9dd5309b85
parent 71548 05400628c56b
child 71550 dfc52eb97ff4
proper File.platform_path for Windows;
src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
--- a/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML	Mon Dec 23 19:07:25 2019 +0100
+++ b/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML	Mon Dec 23 19:27:37 2019 +0100
@@ -40,7 +40,9 @@
 
         val (output, rc) =
           Isabelle_System.bash_output
-            ("\"$ISABELLE_CSDP\" " ^ File.bash_path in_path ^ " " ^ File.bash_path out_path)
+            ("\"$ISABELLE_CSDP\" " ^
+              Bash.string (File.platform_path in_path) ^ " " ^
+              Bash.string (File.platform_path out_path));
         val _ = Sum_of_Squares.debug_message ctxt (fn () => "Solver output:\n" ^ output)
 
         val result = if File.exists out_path then File.read out_path else ""