diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-02-18 03:37:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-02-18 03:37:26 +0000 |
| commit | a415d56c7fe71b04b00c0bc0a78e256791b27cb9 (patch) | |
| tree | 8085f20256c11e0620ba477522d96b1c4dedbaf4 /Makefile.in | |
| parent | 406b6c0a38ee0e9ea1ba6657b76391f1c15f0b95 (diff) | |
| download | open-axiom-a415d56c7fe71b04b00c0bc0a78e256791b27cb9.tar.gz | |
* Makefile.pamphlet (install): Tidy.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 2a33363d..6a823af9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -96,12 +96,12 @@ $(axiom_build_bindir)/gcl$(EXEEXT): ./configure --prefix="$(axiom_abs_builddir)" ${GCLOPTS} && \ $(MAKE) && $(MAKE) install install: - @echo Installing OpenAxiom in $(prefix) + @echo Installing OpenAxiom in $(DESTDIR)$(prefix) @$(mkinstalldirs) "$(DESTDIR)$(open_axiom_installdir)" cp -pr "$(builddir)"/$(target)/* "$(DESTDIR)$(open_axiom_installdir)" - rm -f "$(bindir)"/open-axiom - @$(mkinstalldirs) "$(bindir)" - $(INSTALL_PROGRAM) src/driver/open-axiom$(EXEEXT) "$(bindir)" + rm -f "$(DESTDIR)$(bindir)"/open-axiom + @$(mkinstalldirs) "$(DESTDIR)$(bindir)" + $(INSTALL_PROGRAM) src/driver/open-axiom$(EXEEXT) "$(DESTDIR)$(bindir)" @echo OpenAxiom installation finished. .PHONY: check |