diff options
| author | herbelin | 2000-12-22 10:03:37 +0000 |
|---|---|---|
| committer | herbelin | 2000-12-22 10:03:37 +0000 |
| commit | 87e4e5e4e7c2191fb84d42873137b5f6846d3b49 (patch) | |
| tree | 5f286478e6cb1653900dc2705ae7b7cf4dd97a8a | |
| parent | 9105bf817df13cc38a02b0097adbf3fa8604509f (diff) | |
Insertion COQPATHPREFIX pour isntallation locale
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1193 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 43 |
1 files changed, 26 insertions, 17 deletions
@@ -421,40 +421,49 @@ archclean:: # Installation ########################################################################### +COQINSTALLPREFIX= + # Can be changed for a local installation (to make packages). + # You must put a "/" at the end (Cygnus for win32 does not like "//"). + +FULLBINDIR=$(COQINSTALLPREFIX)$(BINDIR) +FULLCOQLIB=$(COQINSTALLPREFIX)$(COQLIB) +FULLMANDIR=$(COQINSTALLPREFIX)$(MANDIR) +FULLEMACSLIB=$(COQINSTALLPREFIX)$(EMACSLIB) + install: install-$(BEST) install-binaries install-library install-manpages install-byte: - $(MKDIR) $(BINDIR) - cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BINDIR) - cd $(BINDIR); ln -sf coqtop.byte coqtop + $(MKDIR) $(FULLBINDIR) + cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(FULLBINDIR) + cd $(FULLBINDIR); ln -sf coqtop.byte coqtop install-opt: - $(MKDIR) $(BINDIR) - cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(BINDIR) - cd $(BINDIR); ln -sf coqtop.opt coqtop + $(MKDIR) $(FULLBINDIR) + cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(FULLBINDIR) + cd $(FULLBINDIR); ln -sf coqtop.opt coqtop install-binaries: - $(MKDIR) $(BINDIR) - cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(BINDIR) + $(MKDIR) $(FULLBINDIR) + cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(FULLBINDIR) ALLVO=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO) install-library: - $(MKDIR) $(COQLIB) + $(MKDIR) $(FULLCOQLIB) for f in $(ALLVO); do \ - $(MKDIR) $(COQLIB)/`dirname $$f`; \ - cp $$f $(COQLIB)/`dirname $$f`; \ + $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \ + cp $$f $(FULLCOQLIB)/`dirname $$f`; \ done - $(MKDIR) $(COQLIB)/states - cp states/*.coq $(COQLIB)/states - $(MKDIR) $(EMACSLIB) - cp tools/coq.el tools/coq.elc $(EMACSLIB) + $(MKDIR) $(FULLCOQLIB)/states + cp states/*.coq $(FULLCOQLIB)/states + $(MKDIR) $(FULLEMACSLIB) + cp tools/coq.el tools/coq.elc $(FULLEMACSLIB) MANPAGES=tools/coq-tex.1 tools/coqdep.1 tools/gallina.1 install-manpages: - $(MKDIR) $(MANDIR)/man1 - cp $(MANPAGES) $(MANDIR)/man1 + $(MKDIR) $(FULLMANDIR)/man1 + cp $(MANPAGES) $(FULLMANDIR)/man1 ########################################################################### # Documentation |