Made the debugger work again:

- call to open_process_full from Envars.camlp4lib was apparently
  disturbing stdin/stdout/stderr and precipitating coqtop.byte death
  in ocamldebug; renounced to add camlp4 to the ml path (why was it useful?)
  which was the reason for calling camlp4lib (seems like camlp4lib
  is now useless),
- Envars was needing str.cma which was missing when calling printers.cma;
  renounced to use str.cma since its only use was for an elementary 
  split function.


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

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/util.mli b/lib/util.mli
index 49e1fb4bd..b6403fd73 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -77,6 +77,7 @@ val string_index_from : string -> int -> string -> int
 val string_string_contains : where:string -> what:string -> bool
 val plural : int -> string -> string
 val ordinal : int -> string
+val split_string_at : char -> string -> string list
 
 val parse_loadpath : string -> string list