diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-07 17:42:46 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-07 17:42:46 +0000 |
| commit | b373c5b329230e517d0c5c92379e09b5e4566f9c (patch) | |
| tree | 51d57b3a08869f0313fb375518e5a2179def888c | |
| parent | ba59073c997a22a30676b4e900a732fc2ba03da2 (diff) | |
Makefile: revised install-coqide rule
Thanks Russel O'Connor for spotting this remaining use of $(COQIDEOPT)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15784 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.build | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/Makefile.build b/Makefile.build index f1278770d..2a9986d10 100644 --- a/Makefile.build +++ b/Makefile.build @@ -333,19 +333,15 @@ $(COQIDEBYTE): $(LINKIDE) | $(COQTOPBYTE) .PHONY: install-coqide install-ide-no install-ide-byte install-ide-opt .PHONY: install-ide-files install-ide-info install-im install-ide-devfiles -install-coqide:: install-ide-$(HASCOQIDE) install-ide-files install-ide-info install-ide-devfiles - -install-ide-no: - -install-ide-byte: - $(MKDIR) $(FULLBINDIR) - $(INSTALLBIN) $(COQIDEBYTE) $(FULLBINDIR) - cd $(FULLBINDIR); ln -sf coqide.byte$(EXE) coqide$(EXE) +ifeq ($(HASCOQIDE),no) +install-coqide: +else +install-coqide: install-ide-bin install-ide-files install-ide-info install-ide-devfiles +endif -install-ide-opt: +install-ide-bin: $(MKDIR) $(FULLBINDIR) - $(INSTALLBIN) $(COQIDEOPT) $(FULLBINDIR) - cd $(FULLBINDIR); ln -sf coqide.opt$(EXE) coqide$(EXE) + $(INSTALLBIN) $(COQIDE) $(FULLBINDIR) install-ide-devfiles: $(MKDIR) $(FULLCOQLIB) |