From 8102db86e35f66a31e874225024c8965f1f041fe Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Mon, 19 Mar 2001 18:15:59 +0000
Subject: [PATCH] [project @ 2001-03-19 18:15:59 by sewardj] Basic support for
 the simplified installation story.

---
 ghc/driver/Makefile |   14 ++++++++++++--
 ghc/driver/ghc5.sh  |    2 ++
 2 files changed, 14 insertions(+), 2 deletions(-)
 create mode 100644 ghc/driver/ghc5.sh

diff --git a/ghc/driver/Makefile b/ghc/driver/Makefile
index d57ff69..5066d64 100644
--- a/ghc/driver/Makefile
+++ b/ghc/driver/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.55 2001/03/15 15:54:35 simonmar Exp $
+# $Id: Makefile,v 1.56 2001/03/19 18:15:59 sewardj Exp $
 #
 
 TOP=..
@@ -90,7 +90,7 @@ INPLACE_SCRIPT_PROG    = ghci-inplace
 SCRIPT_OBJS	  = ghci.sh
 INTERP		  = $(SHELL)
 SCRIPT_SUBST_VARS = GHCBIN TOPDIROPT
-INSTALL_SCRIPTS  += $(SCRIPT_PROG)
+INSTALL_SCRIPTS  += $(SCRIPT_PROG) ghc5
 
 ifeq "$(INSTALLING)" "1"
 SCRIPT_PROG 	=  $(INSTALLED_SCRIPT_PROG)
@@ -114,6 +114,16 @@ endif
 override datadir=$(libdir)
 INSTALL_DATAS += ghc-usage.txt
 
+ghc5 :
+	rm -f ghc5
+	echo "#!/bin/sh" > ghc5
+	echo "# You (the user) need to set GHC_TOPDIR to make it work!" >> ghc5
+	echo "GHC_TOPDIR=/path/to/root/of/ghc/installation/tree" >> ghc5
+	echo "GHC_PLATFORM=$(TARGETPLATFORM)" >> ghc5
+	cat ghc5.sh >> ghc5
+
+
+
 # -----------------------------------------------------------------------------
 
 include $(TOP)/mk/target.mk
diff --git a/ghc/driver/ghc5.sh b/ghc/driver/ghc5.sh
new file mode 100644
index 0000000..ae7b981
--- /dev/null
+++ b/ghc/driver/ghc5.sh
@@ -0,0 +1,2 @@
+# generic driver for ghc-5.X
+exec $GHC_TOPDIR/bin/$GHC_PLATFORM/ghc-4.11 -B$GHC_TOPDIR/lib/$GHC_PLATFORM "$@"
-- 
1.7.10.4