Gix the ghcii script
authorIan Lynagh <igloo@earth.li>
Fri, 19 Sep 2008 17:46:51 +0000 (17:46 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 19 Sep 2008 17:46:51 +0000 (17:46 +0000)
The ghc executable name doesn't have a version number on Windows, so
don't put one in the script.

driver/ghci/Makefile

index 4f5538b..54bd246 100644 (file)
@@ -21,7 +21,7 @@ GHCII_SCRIPT=$(DESTDIR)$(bindir)/ghcii.sh
 install::
        $(RM) -f $(GHCII_SCRIPT)
        echo "#!$(SHELL)"                                  >> $(GHCII_SCRIPT)
-       echo 'exec "$$0"/../ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT)
+       echo 'exec "$$0"/../ghc --interactive $${1+"$$@"}' >> $(GHCII_SCRIPT)
        chmod +x $(GHCII_SCRIPT)
 else
 LINK = ghci