[coqdep] Remove deprecated -slash , unused, undocumented -mldep option.

1 files changed, 1 insertions, 26 deletions

diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml
index 775c528176..bd72a52adf 100644
--- a/tools/coqdep_common.ml
+++ b/tools/coqdep_common.ml
@@ -35,7 +35,6 @@ let option_c = ref false
 let option_noglob = ref false
 let option_dynlink = ref Both
 let option_boot = ref false
-let option_mldep = ref None
 
 let norec_dirs = ref StrSet.empty
 
@@ -246,26 +245,7 @@ let depend_ML str =
         (" "^mlifile^".cmi"," "^mlifile^".cmi")
     | None, None -> "", ""
 
-let soustraite_fichier_ML dep md ext =
-  try
-    let chan = open_process_in (dep^" -modules "^md^ext) in
-    let list = ocamldep_parse (Lexing.from_channel chan) in
-    let a_faire = ref "" in
-    let a_faire_opt = ref "" in
-    List.iter
-      (fun str ->
-         let byte,opt = depend_ML str in
-         a_faire := !a_faire ^ byte;
-         a_faire_opt := !a_faire_opt ^ opt)
-      (List.rev list);
-    (!a_faire, !a_faire_opt)
-  with
-    | Sys_error _ -> ("","")
-    | _ ->
-       Printf.eprintf "Coqdep: subprocess %s failed on file %s%s\n" dep md ext;
-       exit 1
-
-let autotraite_fichier_ML md ext =
+let traite_fichier_ML md ext =
   try
     let chan = open_in (md ^ ext) in
     let buf = Lexing.from_channel chan in
@@ -290,11 +270,6 @@ let autotraite_fichier_ML md ext =
     (!a_faire, !a_faire_opt)
   with Sys_error _ -> ("","")
 
-let traite_fichier_ML md ext =
-  match !option_mldep with
-    | Some dep -> soustraite_fichier_ML dep md ext
-    | None -> autotraite_fichier_ML md ext
-
 let traite_fichier_modules md ext =
   try
     let chan = open_in (md ^ ext) in