From 3ae01fb7081658f9c2efaa24f4a7f69925dd6e95 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 24 Feb 2003 16:52:14 +0000
Subject: aide contextuelle / menus compilation + print + export

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b0be198ef2..4ec92ca607 100644
--- a/Makefile
+++ b/Makefile
@@ -422,11 +422,16 @@ COQIDEBYTE=bin/coqide.byte$(EXE)
 COQIDEOPT=bin/coqide.opt$(EXE)
 COQIDE=bin/coqide.$(BEST)$(EXE)
 
-COQIDECMO=ide/ideutils.cmo ide/find_phrase.cmo ide/highlight.cmo ide/coq.cmo ide/coqide.cmo
+COQIDECMO=ide/preferences.cmo \
+	  ide/ideutils.cmo ide/find_phrase.cmo \
+          ide/highlight.cmo ide/coq.cmo ide/coqide.cmo
 COQIDECMX=$(COQIDECMO:.cmo=.cmx)
 COQIDEFLAGS=-I +lablgtk2
 beforedepend:: ide/find_phrase.ml ide/highlight.ml
 
+FULLIDELIB=$(FULLCOQLIB)/ide
+IDEFILES=ide/coq.gif ide/.coqiderc
+
 ide: $(COQIDE)
 
 $(COQIDEOPT): $(COQMKTOP) $(CMX) $(USERTACCMX) $(COQIDECMX)
@@ -900,6 +905,8 @@ install-library:
 	cp states/*.coq $(FULLCOQLIB)/states
 	$(MKDIR) $(FULLEMACSLIB)
 	cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
+	$(MKDIR) $(FULLIDELIB)
+	cp $(IDEFILES) $(FULLIDELIB)
 
 install-library-light:
 	$(MKDIR) $(FULLCOQLIB)
-- 
cgit v1.2.3