diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-08-28 20:51:19 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-08-28 20:51:19 +0000 |
| commit | 7ef211e8d6aed14f77b344d976e207bc77e365a7 (patch) | |
| tree | 7b29ed82074889590e974fc0c0ff26a0a149c372 /driver | |
| parent | 21afd63e4f61184acfc7e196f123861fa591df59 (diff) | |
| download | haskell-7ef211e8d6aed14f77b344d976e207bc77e365a7.tar.gz | |
Use DESTDIR when installing
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghc/Makefile | 2 | ||||
| -rw-r--r-- | driver/ghci/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/driver/ghc/Makefile b/driver/ghc/Makefile index 3b481ec44a..66a8d2ba10 100644 --- a/driver/ghc/Makefile +++ b/driver/ghc/Makefile @@ -11,7 +11,7 @@ include $(TOP)/mk/boilerplate.mk ifneq "$(HOSTPLATFORM)" "i386-unknown-mingw32" LINK = ghc LINK_TARGET = $(LINK)-$(ProjectVersion) -INSTALLED_SCRIPT=$(bindir)/$(LINK_TARGET) +INSTALLED_SCRIPT=$(DESTDIR)$(bindir)/$(LINK_TARGET) install:: $(RM) -f $(INSTALLED_SCRIPT) echo "#!$(SHELL)" >> $(INSTALLED_SCRIPT) diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index ac6d3834fc..c3fad1541b 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -25,7 +25,7 @@ install:: else LINK = ghci LINK_TARGET = $(LINK)-$(ProjectVersion) -INSTALLED_SCRIPT=$(bindir)/$(LINK_TARGET) +INSTALLED_SCRIPT=$(DESTDIR)$(bindir)/$(LINK_TARGET) install:: $(RM) -f $(INSTALLED_SCRIPT) echo "#!$(SHELL)" >> $(INSTALLED_SCRIPT) |