From ff05f4ed59b3b77e6d77ae9b0cd0785f46c971a6 Mon Sep 17 00:00:00 2001
From: monate
Date: Thu, 6 Mar 2003 19:16:31 +0000
Subject: coqide: fenetre de cmmandes . undo correct

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 999320dffb..ad5f5a59fd 100644
--- a/Makefile
+++ b/Makefile
@@ -445,9 +445,10 @@ COQIDECMO=ide/utils/okey.cmo ide/utils/uoptions.cmo \
 	  ide/utils/configwin_keys.cmo ide/utils/configwin_types.cmo \
 	  ide/utils/configwin_messages.cmo ide/utils/configwin_ihm.cmo \
 	  ide/utils/configwin.cmo ide/config_lexer.cmo ide/preferences.cmo \
-	  ide/ideutils.cmo ide/undo.cmo ide/find_phrase.cmo \
+	  ide/ideutils.cmo ide/undo.cmo \
+	  ide/find_phrase.cmo \
           ide/highlight.cmo ide/coq.cmo ide/coq_commands.cmo \
-	  ide/coq_tactics.cmo ide/coqide.cmo
+	  ide/coq_tactics.cmo  ide/command_windows.cmo ide/coqide.cmo
 
 COQIDECMX=$(COQIDECMO:.cmo=.cmx)
 COQIDEFLAGS=-I +lablgtk2
@@ -466,19 +467,19 @@ $(COQIDEBYTE): $(COQMKTOP) $(CMO) $(USERTACCMO) $(COQIDECMO)
 	$(COQMKTOP) -g -ide -top $(COQIDEFLAGS) lablgtk.cma $(LOCALINCLUDES) $(CAMLDEBUG) -o $@ $(COQIDECMO)
 
 ide/%.cmo: ide/%.ml
-	$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
+	$(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
 
 ide/%.cmi: ide/%.mli
-	$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
+	$(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
 
 ide/%.cmx: ide/%.ml
 	$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $<
 
 ide/utils/%.cmo: ide/%.ml
-	$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
+	$(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
 
 ide/utils/%.cmi: ide/%.mli
-	$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
+	$(OCAMLC) -g $(COQIDEFLAGS) $(BYTEFLAGS) -c $<
 
 ide/utils/%.cmx: ide/%.ml
 	$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -c $<
-- 
cgit v1.2.3