Remove unused functions run_sdpa

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12928 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 42 deletions

diff --git a/plugins/micromega/sos.ml b/plugins/micromega/sos.ml
index 4994f46c9..3029496bc 100644
--- a/plugins/micromega/sos.ml
+++ b/plugins/micromega/sos.ml
@@ -582,30 +582,7 @@ printlevel=1
 let csdp_params = csdp_default_parameters;;
 
 (* ------------------------------------------------------------------------- *)
-(* Now call SDPA on a problem and parse back the output.                     *)
-(* ------------------------------------------------------------------------- *)
-
-let run_sdpa dbg obj mats =
-  let input_file = Filename.temp_file "sos" ".dat-s" in
-  let output_file =
-    String.sub input_file 0 (String.length input_file - 6) ^ ".out"
-  and params_file = Filename.concat (!temp_path) "param.sdpa" in
-  file_of_string input_file (sdpa_of_problem "" obj mats);
-  file_of_string params_file sdpa_params;
-  ignore (Sys.command("cd "^ !temp_path ^
-              "; sdpa "^input_file ^ " " ^ output_file ^
-              (if dbg then "" else "> /dev/null")));
-  let op = string_of_file output_file in
-  if not(sdpa_run_succeeded op) then failwith "sdpa: call failed" else
-  let res = parse_sdpaoutput op in
-  ((if dbg then ()
-   else (Sys.remove input_file; Sys.remove output_file));
-   res);;
-
-let sdpa obj mats = run_sdpa (!debugging) obj mats;;
-
-(* ------------------------------------------------------------------------- *)
-(* The same thing with CSDP.                                                 *)
+(* Now call CSDP on a problem and parse back the output.                     *)
 (* ------------------------------------------------------------------------- *)
 
 let run_csdp dbg obj mats =
@@ -1445,24 +1422,6 @@ let sdpa_of_problem comment obj mats =
   itlist2 (fun k m a -> sdpa_of_matrix (k - 1) m ^ a)
           (1--length mats) mats "";;
 
-let run_sdpa dbg obj mats =
-  let input_file = Filename.temp_file "sos" ".dat-s" in
-  let output_file =
-    String.sub input_file 0 (String.length input_file - 6) ^ ".out"
-  and params_file = Filename.concat (!temp_path) "param.sdpa" in
-  file_of_string input_file (sdpa_of_problem "" obj mats);
-  file_of_string params_file sdpa_params;
-  ignore (Sys.command("cd "^(!temp_path)^"; sdpa "^input_file ^ " " ^
-              output_file ^(if dbg then "" else "> /dev/null")));
-  let op = string_of_file output_file in
-  if not(sdpa_run_succeeded op) then failwith "sdpa: call failed" else
-  let res = parse_sdpaoutput op in
-  ((if dbg then ()
-   else (Sys.remove input_file; Sys.remove output_file));
-   res);;
-
-let sdpa obj mats = run_sdpa (!debugging) obj mats;;
-
 let run_csdp dbg obj mats =
   let input_file = Filename.temp_file "sos" ".dat-s" in
   let output_file =