diff options
| author | notin | 2007-03-14 15:40:13 +0000 |
|---|---|---|
| committer | notin | 2007-03-14 15:40:13 +0000 |
| commit | 9d135f6bca625074d1344515d34016baa6ee8b61 (patch) | |
| tree | d1fcd6ca67c2e06729d2998f905a30e627f7e6da | |
| parent | a305642ea1bd5389b08f7a1d29d55a1587919bbd (diff) | |
Bug dans Makefile (COQINSTALLPREFIX)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9702 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -494,7 +494,7 @@ $(COQC): $(ORDER_ONLY_SEP) $(BESTCOQC) clean:: - rm -f scripts/tolink.ml + rm -f scripts/tolink.ml $(COQCOPT) $(COQMKTOPOPT) archclean:: rm -f $(COQTOPBYTE) $(COQTOPOPT) $(BESTCOQTOP) $(COQC) $(COQMKTOP) @@ -1255,14 +1255,16 @@ archclean:: ########################################################################### COQINSTALLPREFIX= +OLDROOT= + # Can be changed for a local installation (to make packages). # You must NOT put a "/" at the end (Cygnus for win32 does not like "//"). -FULLBINDIR=$(BINDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%) -FULLCOQLIB=$(COQLIB:'$(OLDROOT)%='$(COQINSTALLPREFIX)%) -FULLMANDIR=$(MANDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%) -FULLEMACSLIB=$(EMACSLIB:'$(OLDROOT)%='$(COQINSTALLPREFIX)%) -FULLCOQDOCDIR=$(COQDOCDIR:'$(OLDROOT)%='$(COQINSTALLPREFIX)%) +FULLBINDIR=$(BINDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%) +FULLCOQLIB=$(COQLIB:"$(OLDROOT)%="$(COQINSTALLPREFIX)%) +FULLMANDIR=$(MANDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%) +FULLEMACSLIB=$(EMACSLIB:"$(OLDROOT)%="$(COQINSTALLPREFIX)%) +FULLCOQDOCDIR=$(COQDOCDIR:"$(OLDROOT)%="$(COQINSTALLPREFIX)%) install-coq: install-binaries install-library install-coq-info install-coqlight: install-binaries install-library-light |