From 7e0edc16cd7beeff5c569fd0df531cb975642415 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 2 Jan 2009 17:19:41 +0000
Subject: 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
---
 toplevel/coqinit.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index a21e33c876..90a36620ab 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -98,7 +98,6 @@ let init_load_path () =
   let coqlib = Envars.coqlib () in
   let user_contrib = coqlib/"user-contrib" in
   let dirs = "states" :: ["contrib"] in
-  let camlp4 = Envars.camlp4lib () in
     (* first user-contrib *)
     if Sys.file_exists user_contrib then 
       Mltop.add_rec_path user_contrib Nameops.default_root_prefix;
@@ -110,8 +109,6 @@ let init_load_path () =
     List.iter 
       (fun (s,alias) -> Mltop.add_rec_path (coqlib/s) (Names.make_dirpath [Names.id_of_string alias; Nameops.coq_root])) 
       theories_dirs_map;
-    (* then camlp4lib *)
-    add_ml_include camlp4;
     (* then current directory *)
     Mltop.add_path "." Nameops.default_root_prefix;
     (* additional loadpath, given with -I -include -R options *)
-- 
cgit v1.2.3