From 713a53132e1332afeb32ec8eadf68ac5a1624951 Mon Sep 17 00:00:00 2001
From: monate
Date: Wed, 9 Apr 2003 12:48:11 +0000
Subject: Coqide : introduction des coprocessus. CoqIde est maintenant
 interruptible

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3887 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 8746003111..92bfd10900 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -76,7 +76,7 @@ let includes () =
     (fun d l -> "-I" :: List.fold_left Filename.concat !src_coqtop d :: l)
     (src_dirs ())
     (["-I"; Coq_config.camlp4lib] @ 
-     (if !coqide then ["-I"; "+lablgtk2"] else []))
+     (if !coqide then ["-thread"; "-I"; "+lablgtk2"] else []))
 
 (* Transform bytecode object file names in native object file names *)
 let native_suffix f =
@@ -100,7 +100,10 @@ let files_to_link userfiles =
   let command_objs = if !searchisos then coqsearch else [] in
   let toplevel_objs =
     if !top then topobjs else if !opt then notopobjs else [] in
-  let ide_objs = if !coqide then "lablgtk.cma" :: ide else [] in
+  let ide_objs = if !coqide then 
+    "threads.cma"::"lablgtk.cma"::"gtkThread.cmo"::ide 
+  else [] 
+  in
   let parsobjs = if !newsyntax then highparsingnew else highparsing in
   let objs = 
     core_objs @ dyn_objs @ toplevel @ parsobjs @ 
-- 
cgit v1.2.3