From 29c33c1143635d89b82048835082c133439fffbd Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 29 Jan 2004 14:49:44 +0000
Subject: pour ide sous windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5267 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure       | 14 ++++++++------
 ide/ideutils.ml |  5 +++--
 2 files changed, 11 insertions(+), 8 deletions(-)

diff --git a/configure b/configure
index df49e5d122..689cd4804d 100755
--- a/configure
+++ b/configure
@@ -389,12 +389,14 @@ echo ""
 
 rm -f $COQTOP/config/Makefile
 
-#case $ARCH in
-#    win32)
-#	BINDIR=`echo $BINDIR |sed -e 's|\\\|/|g'`
-#	LIBDIR=`echo $LIBDIR |sed -e 's|\\\|/|g'`
-#	MANDIR=`echo $MANDIR |sed -e 's|\\\|/|g'`;;
-#esac
+case $ARCH in
+    win32)
+	BINDIR=`echo $BINDIR |sed -e 's|\\\|/|g'`
+	LIBDIR=`echo $LIBDIR |sed -e 's|\\\|/|g'`
+  	MANDIR=`echo $MANDIR |sed -e 's|\\\|/|g'`
+   	EMACSLIB=`echo $EMACSLIB |sed -e 's|\\\|/|g'`
+	;;
+esac
 
 sed -e "s|LOCALINSTALLATION|$local|" \
     -e "s|COQTOPDIRECTORY|$COQTOP|" \
diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index db0f82b163..19f5070b47 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -210,9 +210,10 @@ let find_tag_stop (tag :GText.tag) (it:GText.iter) =
 let find_tag_limits (tag :GText.tag) (it:GText.iter) = 
  (find_tag_start tag it , find_tag_stop tag it)
 
-let async = 
+let async =
+(* 
   if Sys.os_type <> "Unix" then GtkThread.async else (fun x -> x)
-
+*) fun x -> x
 
 let stock_to_widget ?(size=`DIALOG) s = 
   let img = GMisc.image () 
-- 
cgit v1.2.3