Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper File.platform_path for Windows;
authorwenzelm
Mon, 23 Dec 2019 19:27:37 +0100
changeset 71340 6d9dd5309b85
parent 71339 05400628c56b
child 71341 dfc52eb97ff4
proper File.platform_path for Windows;
src/HOL/Library/Sum_of_Squares/sos_wrapper.ML file | annotate | diff | comparison | revisions 
--- 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 ""
isabelle