From 36cc8411d5d13cf52b478ca92213190a84d6561f Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Thu, 18 Sep 2008 12:25:16 +0000 Subject: [PATCH] Make the ghci scripts point to the versioned GHC program, not just "ghc" --- driver/ghci/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index 789aec0..4f5538b 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -21,7 +21,7 @@ GHCII_SCRIPT=$(DESTDIR)$(bindir)/ghcii.sh install:: $(RM) -f $(GHCII_SCRIPT) echo "#!$(SHELL)" >> $(GHCII_SCRIPT) - echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) + echo 'exec "$$0"/../ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT) chmod +x $(GHCII_SCRIPT) else LINK = ghci @@ -30,7 +30,7 @@ INSTALLED_SCRIPT=$(DESTDIR)$(bindir)/$(LINK_TARGET) install:: $(RM) -f $(INSTALLED_SCRIPT) echo "#!$(SHELL)" >> $(INSTALLED_SCRIPT) - echo 'exec $(bindir)/ghc --interactive $${1+"$$@"}' >> $(INSTALLED_SCRIPT) + echo 'exec $(bindir)/ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(INSTALLED_SCRIPT) $(EXECUTABLE_FILE) $(INSTALLED_SCRIPT) endif -- 1.7.10.4