diff options
| author | filliatr | 2003-02-24 16:52:14 +0000 |
|---|---|---|
| committer | filliatr | 2003-02-24 16:52:14 +0000 |
| commit | 3ae01fb7081658f9c2efaa24f4a7f69925dd6e95 (patch) | |
| tree | dc7732e22471a3dd4baf0335f96694a2a4350b24 /Makefile | |
| parent | edca82b2ff6721b69c49533c40aadf10e5987816 (diff) | |
aide contextuelle / menus compilation + print + export
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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) |