[project @ 2006-01-06 16:30:17 by simonmar]
[ghc-hetmet.git] / ghc / compiler / Makefile
index 7b83cfb..2b5252a 100644 (file)
 # -----------------------------------------------------------------------------
+# Main ghc/compiler Makefile
+
+# Targets:
+#
+#      all     builds stage1 compiler
+#
+#      boot stage=N   generate build dirs and dependencies for stage N.
+#                     NB. Must be done before 'make stageN'.
+#                     NB. Cannot 'make boot stage=2' until stage1 has
+#                         been built (similarly for stage3).
+#
+#      stage1  (or stage=1) builds stage1 compiler
+#      stage2  (or stage=2) builds stage2 compiler
+#      stage3  (or stage=3) builds stage3 compiler
+#
 
 TOP = ..
+
+# Use GHC for compiling C bits (NB. must be before boilerplate include)
+#
+UseGhcForCc = YES
+
 include $(TOP)/mk/boilerplate.mk
 
 #-----------------------------------------------------------------------------
-# Building hsc different ways (default is just `normal' sequential)
-override WAYS=$(GhcCompilerWays)
+# Counting source code lines
+
+USER_SRCS = $(filter-out $(DERIVED_SRCS),$(SRCS))
+count :
+       ./count_lines $(USER_SRCS)
 
 #-----------------------------------------------------------------------------
-#              Set SUBDIRS
+# Building ghc different ways (default is just `normal' sequential)
 
-ifeq ($(IncludeTestDirsInBuild),YES)
-  SUBDIRS = tests
-endif
+WAYS=$(GhcCompilerWays)
 
 # -----------------------------------------------------------------------------
-#              Set HS_PROG, LIBRARY
-# Setting HS_PROG and LIBRARY causes all targets in target.mk
-# (included below) to kick in.
+# Bootstrapping
+
+# The stage1/stage2/stage3 business is quite delicate.  Here's how it works:
+# 
+#  - the variable $(stage) holds the current stage number.  To build a 
+#    particular stage, you say 'make stage=N' where N is 1, 2, or 3.
+#    N defaults to 1.
+#
+#  - for stage N, object files and .hi files are placed inside 
+#    the directory stageN, in subdirectories as per the sources.
+#
+#  - .hi-boot files are *linked* into the stageN tree, because in GHC 5.05+
+#    the .hi-boot file must reside in the same place as the .hi file.
+#
+#  - we use explicit -o and -ohi options to direct the output from C & 
+#    Haskell compilations.
+#
+#  - we generate a different .depend file for each build.  They need to be
+#    different, because each stage might include different files: stage1
+#    might not include GHCi, for example.  For each stage, a normal .depend
+#    file is generated, and then post-processed to add the correct stageN/
+#    prefix to each object and .hi filename.  The resulting .depend file
+#    is named .depend-$(stage).  See the end of this Makefile for details.
+#
+#  - normal implicit rules don't work any more, because they're of the form
+#
+#        %.o : %.hs 
+#
+#    whereas we really need 
+#
+#       stageN/%.o : %.hs
+#
+#    so suffix.mk now defines the appropriate suffix rules when
+#    $(odir) is set to a non-empty value.  Here we set $(odir) to
+#    stage1, stage2, or stage3.
+#
+#  There are other plausible designs that might work, but each has different
+#  problems:
+#
+#  - using -odir and -hidir: GHC <= 4.08 doesn't support -hidir, and
+#    anyway -odir puts all the objects in one directory (strips off the
+#    subdirectory part), which eventually forces us to use VPATH to find
+#    the sources.  I have a really bad feeling about VPATH.
+#
+#  - invoke make in the stageN subdirectory.  This probably requires VPATH
+#    too.
+#
+#  - create a link tree.  The problem with requiring link trees is that 
+#    Windows doesn't support symbolic links.
+
+ifeq "$(stage)" ""
+stage=1
+endif
 
-LIBRARY=libhsp.a
+.DUMMY: stage_dir
+stage_dirs :
+       $(MKDIRHIER) stage$(stage)
+       for i in $(ALL_DIRS); do \
+           $(MKDIRHIER) stage$(stage)/$$i; \
+       done
+
+ifeq "$(stage) $(ghc_ge_603)" "1 YES"
+UsingHsBoot = YES
+else
+ifneq "$(findstring $(stage), 2 3)" ""
+UsingHsBoot = YES
+else
+UsingHsBoot = NO
+endif
+endif
 
+boot :: stage_dirs
+# On Windows, we can't use symbolic links for the -hi-boot files
+# because GHC itself is a Mingw program and does not understand
+# symbolic links.  So we have to copy the files instead of link them.
+# That means that if you modify a .hi-boot file in Windows, you
+# have to to say 'make boot' again.
 #
+# PS: 'ln -s foo baz' takes 'foo' relative to the path to 'baz'
+#     whereas 'cp foo baz' treats the two paths independently.
+#     Hence the "../.." in the ln command line
+ifeq "$(UsingHsBoot)" "NO"
+ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
+       for i in */*hi-boot*; do \
+           cp -u -f $$i stage$(stage)/$$i; \
+       done
+else
+       for i in */*hi-boot*; do \
+           $(LN_S) -f ../../$$i stage$(stage)/$$i || true ; \
+       done
+endif
+endif
+
+ifeq "$(stage)" "1"
+HC=$(GHC)
+endif
+
+ifeq "$(stage)" "2"
+HC=$(GHC_STAGE1)
+endif
+
+ifeq "$(stage)" "3"
+HC=$(GHC_STAGE2)
+endif
+
+stage1 ::
+       $(MAKE) stage=1
+
+stage2 ::
+       $(MAKE) stage=2
+
+stage3 ::
+       $(MAKE) stage=3
+
+odir=stage$(stage)
+
+SRC_HC_OPTS += $(patsubst %, -i$(odir)/%, $(ALL_DIRS))
+
+HS_OBJS = $(patsubst %, $(odir)/%, $(addsuffix .$(way_)o,$(basename $(HS_SRCS))))
+C_OBJS = $(patsubst %, $(odir)/%, $(addsuffix .$(way_)o,$(basename $(C_SRCS))))
+
+# Our standard cleaning rules don't know that we're doing our output
+# into $(odir), so we have to augment CLEAN_FILES appropriateliy.
+
+CLEAN_FILES += $(odir)/*/*.hi $(odir)/*/*.hi-boot $(odir)/*/*.o-boot
+
+ifeq "$(UsingHsBoot)" "YES"
+CLEAN_FILES += $(odir)/*/*.hi-boot $(odir)/*/*.o-boot
+endif
+
+ifeq "$(stage)" "1"
+mostlyclean clean distclean maintainer-clean ::
+       $(MAKE) $@ stage=2
+       $(MAKE) $@ stage=3
+endif
+
+# -----------------------------------------------------------------------------
+#              Set HS_PROG
+
 # Note: there have been reports of people running up against the ARG_MAX limit
-# when linking hsc with all its constituent object files. The likely source of 
+# when linking ghc with all its constituent object files. The likely source of 
 # the problem is that the environment is a bit too big, so a workaround could
-# be to do ` env PATH=$(PATH) make hsc 'to minimise the environment. (or the
+# be to do `env PATH=$(PATH) make ghc' to minimise the environment. (or the
 # equivalent of `env' if it doesn't exist locally).
 #
-HS_PROG=hsc
-
+ifneq "$(way)" "dll"
+ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+HS_PROG=$(odir)/ghc$(_way)-$(ProjectVersion)
+else
+HS_PROG=$(odir)/ghc$(_way)
+endif
+else
+HS_PROG=$(odir)/ghc-$(ProjectVersion)
+endif
 
 # -----------------------------------------------------------------------------
-#              Set SRCS, LOOPS, HCS, OBJS
+# Create compiler configuration
 #
-# First figure out DIRS, the source sub-directories
-# Then derive SRCS by looking in them
+# The 'echo' commands simply spit the values of various make variables
+# into Config.hs, whence they can be compiled and used by GHC itself
+
+CONFIG_HS      = main/Config.hs
+boot :: $(CONFIG_HS)
+
+$(CONFIG_HS) : $(FPTOOLS_TOP)/mk/config.mk Makefile
+       @$(RM) -f $(CONFIG_HS)
+       @echo "Creating $(CONFIG_HS) ... "
+       @echo "module Config where" >>$(CONFIG_HS)
+       @echo "cProjectName          = \"$(ProjectName)\"" >> $(CONFIG_HS)
+       @echo "cProjectVersion       = \"$(ProjectVersion)\"" >> $(CONFIG_HS)
+       @echo "cProjectVersionInt    = \"$(ProjectVersionInt)\"" >> $(CONFIG_HS)
+       @echo "cProjectPatchLevel    = \"$(ProjectPatchLevel)\"" >> $(CONFIG_HS)
+       @echo "cBooterVersion        = \"$(GhcVersion)\"" >> $(CONFIG_HS)
+       @echo "cHscIfaceFileVersion  = \"$(HscIfaceFileVersion)\"" >> $(CONFIG_HS)
+       @echo "cGhcWithNativeCodeGen = \"$(GhcWithNativeCodeGen)\"" >> $(CONFIG_HS)
+       @echo "cGhcUnregisterised    = \"$(GhcUnregisterised)\"" >> $(CONFIG_HS)
+       @echo "cLeadingUnderscore    = \"$(LeadingUnderscore)\"" >> $(CONFIG_HS)
+       @echo "cRAWCPP_FLAGS         = \"$(RAWCPP_FLAGS)\"" >> $(CONFIG_HS)
+       @echo "cGCC                  = \"$(WhatGccIsCalled)\"" >> $(CONFIG_HS)
+       @echo "cMKDLL                = \"$(BLD_DLL)\"" >> $(CONFIG_HS)
+       @echo "cPROJECT_DIR          = \"$(PROJECT_DIR)\"" >> $(CONFIG_HS)
+       @echo "cGHC_DRIVER_DIR_REL   = \"$(GHC_DRIVER_DIR_REL)\"" >> $(CONFIG_HS)
+       @echo "cGHC_TOUCHY_PGM       = \"$(GHC_TOUCHY_PGM)\"" >> $(CONFIG_HS)
+       @echo "cGHC_TOUCHY_DIR_REL   = \"$(GHC_TOUCHY_DIR_REL)\"" >> $(CONFIG_HS)
+       @echo "cGHC_UNLIT_PGM        = \"$(GHC_UNLIT_PGM)\"" >> $(CONFIG_HS)
+       @echo "cGHC_UNLIT_DIR_REL    = \"$(GHC_UNLIT_DIR_REL)\"" >> $(CONFIG_HS)
+       @echo "cGHC_MANGLER_PGM      = \"$(GHC_MANGLER_PGM)\"" >> $(CONFIG_HS)
+       @echo "cGHC_MANGLER_DIR_REL  = \"$(GHC_MANGLER_DIR_REL)\"" >> $(CONFIG_HS)
+       @echo "cGHC_SPLIT_PGM        = \"$(GHC_SPLIT_PGM)\"" >> $(CONFIG_HS)
+       @echo "cGHC_SPLIT_DIR_REL    = \"$(GHC_SPLIT_DIR_REL)\"" >> $(CONFIG_HS)
+       @echo "cGHC_SYSMAN_PGM       = \"$(GHC_SYSMAN)\"" >> $(CONFIG_HS)
+       @echo "cGHC_SYSMAN_DIR_REL   = \"$(GHC_SYSMAN_DIR)\"" >> $(CONFIG_HS)
+       @echo "cGHC_CP               = \"$(GHC_CP)\"" >> $(CONFIG_HS)
+       @echo "cGHC_PERL             = \"$(GHC_PERL)\"" >> $(CONFIG_HS)
+ifeq ($(GhcWithIlx),YES)
+       @echo "cILX2IL               = \"$(ILX2IL)\"" >> $(CONFIG_HS)
+       @echo "cILASM                = \"$(ILASM)\"" >> $(CONFIG_HS)
+endif
+       @echo "cEnableWin32DLLs      = \"$(EnableWin32DLLs)\"" >> $(CONFIG_HS)
+       @echo "cCONTEXT_DIFF         = \"$(CONTEXT_DIFF)\"" >> $(CONFIG_HS)
+       @echo "cUSER_WAY_NAMES       = \"$(USER_WAY_NAMES)\"" >> $(CONFIG_HS)
+       @echo "cUSER_WAY_OPTS        = \"$(USER_WAY_OPTS)\"" >> $(CONFIG_HS)
+       @echo "cDEFAULT_TMPDIR       = \"$(DEFAULT_TMPDIR)\"" >> $(CONFIG_HS)
+       @echo done.
+
+CLEAN_FILES += $(CONFIG_HS)
+
+# -----------------------------------------------------------------------------
+# Create platform includes
+
+# Here we generate a little header file containing CPP symbols that GHC
+# uses to determine which platform it is building on/for.  The platforms
+# can differ between stage1 and stage2 if we're cross-compiling, so we
+# need one of these header files per stage.
+
+PLATFORM_H = ghc_boot_platform.h
+
+stage1/$(PLATFORM_H) : stage_dirs $(FPTOOLS_TOP)/mk/config.mk Makefile
+       @echo "Creating $@..."
+       @$(RM) $@
+       @echo "#ifndef __PLATFORM_H__"  >$@
+       @echo "#define __PLATFORM_H__" >>$@
+       @echo >> $@
+       @echo "#define BuildPlatform_TYPE  $(BuildPlatform_CPP)" >> $@
+       @echo "#define HostPlatform_TYPE   $(HostPlatform_CPP)" >> $@
+       @echo "#define TargetPlatform_TYPE $(TargetPlatform_CPP)" >> $@
+       @echo >> $@
+       @echo "#define $(BuildPlatform_CPP)_BUILD       1" >> $@
+       @echo "#define $(HostPlatform_CPP)_HOST         1" >> $@
+       @echo "#define $(TargetPlatform_CPP)_TARGET     1" >> $@
+       @echo >> $@
+       @echo "#define $(BuildArch_CPP)_BUILD_ARCH      1" >> $@
+       @echo "#define $(HostArch_CPP)_HOST_ARCH        1" >> $@
+       @echo "#define $(TargetArch_CPP)_TARGET_ARCH    1" >> $@
+       @echo "#define BUILD_ARCH \"$(BuildArch_CPP)\"" >> $@
+       @echo "#define HOST_ARCH \"$(HostArch_CPP)\"" >> $@
+       @echo "#define TARGET_ARCH \"$(TargetArch_CPP)\"" >> $@
+       @echo >> $@
+       @echo "#define $(BuildOS_CPP)_BUILD_OS          1" >> $@
+       @echo "#define $(HostOS_CPP)_HOST_OS            1" >> $@
+       @echo "#define $(TargetOS_CPP)_TARGET_OS        1" >> $@  
+       @echo "#define BUILD_OS \"$(BuildOS_CPP)\"" >> $@
+       @echo "#define HOST_OS \"$(HostOS_CPP)\"" >> $@
+       @echo "#define TARGET_OS \"$(TargetOS_CPP)\"" >> $@
+ifeq "$(HostOS_CPP)" "irix"
+       @echo "#ifndef $(IRIX_MAJOR)_TARGET_OS           " >> $@  
+       @echo "#define $(IRIX_MAJOR)_TARGET_OS          1" >> $@  
+       @echo "#endif                                    " >> $@  
+endif
+       @echo >> $@
+       @echo "#define $(BuildVendor_CPP)_BUILD_VENDOR  1" >> $@
+       @echo "#define $(HostVendor_CPP)_HOST_VENDOR    1" >> $@
+       @echo "#define $(TargetVendor_CPP)_TARGET_VENDOR  1" >> $@
+       @echo "#define BUILD_VENDOR \"$(BuildVendor_CPP)\"" >> $@
+       @echo "#define HOST_VENDOR \"$(HostVendor_CPP)\"" >> $@
+       @echo "#define TARGET_VENDOR \"$(TargetVendor_CPP)\"" >> $@
+       @echo >> $@
+       @echo "#endif /* __PLATFORM_H__ */"          >> $@
+       @echo "Done."
+
+# For stage2 and above, the BUILD platform is the HOST of stage1, and
+# the HOST platform is the TARGET of stage1.  The TARGET remains the same
+# (stage1 is the cross-compiler, not stage2).
+stage2/$(PLATFORM_H) : stage_dirs $(FPTOOLS_TOP)/mk/config.mk Makefile
+       @echo "Creating $@..."
+       @$(RM) $@
+       @echo "#ifndef __PLATFORM_H__"  >$@
+       @echo "#define __PLATFORM_H__" >>$@
+       @echo >> $@
+       @echo "#define BuildPlatform_TYPE  $(HostPlatform_CPP)" >> $@
+       @echo "#define HostPlatform_TYPE   $(TargetPlatform_CPP)" >> $@
+       @echo "#define TargetPlatform_TYPE $(TargetPlatform_CPP)" >> $@
+       @echo >> $@
+       @echo "#define $(HostPlatform_CPP)_BUILD        1" >> $@
+       @echo "#define $(TargetPlatform_CPP)_HOST               1" >> $@
+       @echo "#define $(TargetPlatform_CPP)_TARGET     1" >> $@
+       @echo >> $@
+       @echo "#define $(HostArch_CPP)_BUILD_ARCH       1" >> $@
+       @echo "#define $(TargetArch_CPP)_HOST_ARCH      1" >> $@
+       @echo "#define $(TargetArch_CPP)_TARGET_ARCH    1" >> $@
+       @echo "#define BUILD_ARCH \"$(HostArch_CPP)\"" >> $@
+       @echo "#define HOST_ARCH \"$(TargetArch_CPP)\"" >> $@
+       @echo "#define TARGET_ARCH \"$(TargetArch_CPP)\"" >> $@
+       @echo >> $@
+       @echo "#define $(HostOS_CPP)_BUILD_OS           1" >> $@
+       @echo "#define $(TargetOS_CPP)_HOST_OS          1" >> $@
+       @echo "#define $(TargetOS_CPP)_TARGET_OS        1" >> $@  
+       @echo "#define BUILD_OS \"$(HostOS_CPP)\"" >> $@
+       @echo "#define HOST_OS \"$(TargetOS_CPP)\"" >> $@
+       @echo "#define TARGET_OS \"$(TargetOS_CPP)\"" >> $@
+ifeq "$(HostOS_CPP)" "irix"
+       @echo "#ifndef $(IRIX_MAJOR)_TARGET_OS           " >> $@  
+       @echo "#define $(IRIX_MAJOR)_TARGET_OS          1" >> $@  
+       @echo "#endif                                    " >> $@  
+endif
+       @echo >> $@
+       @echo "#define $(HostVendor_CPP)_BUILD_VENDOR   1" >> $@
+       @echo "#define $(TargetVendor_CPP)_HOST_VENDOR  1" >> $@
+       @echo "#define $(TargetVendor_CPP)_TARGET_VENDOR  1" >> $@
+       @echo "#define BUILD_VENDOR \"$(HostVendor_CPP)\"" >> $@
+       @echo "#define HOST_VENDOR \"$(TargetVendor_CPP)\"" >> $@
+       @echo "#define TARGET_VENDOR \"$(TargetVendor_CPP)\"" >> $@
+       @echo >> $@
+       @echo "#endif /* __PLATFORM_H__ */"          >> $@
+       @echo "Done."
+
+stage3/$(PLATFORM_H) : stage_dirs stage2/$(PLATFORM_H)
+       $(CP) stage2/$(PLATFORM_H) stage3/$(PLATFORM_H)
+
+STAGE_PLATFORM_H = stage$(stage)/$(PLATFORM_H)
+
+boot :: $(STAGE_PLATFORM_H)
+
+SRC_HC_OPTS += -Istage$(stage)
+
+# -----------------------------------------------------------------------------
+# Set SRCS etc.
 #
+# First figure out ALL_DIRS, the source sub-directories
 
-DIRS = \
+ALL_DIRS = \
   utils basicTypes types hsSyn prelude rename typecheck deSugar coreSyn \
-  specialise simplCore stranal stgSyn simplStg codeGen absCSyn main \
-  reader profiling parser
+  specialise simplCore stranal stgSyn simplStg codeGen main \
+  profiling parser cprAnalysis ndpFlatten iface cmm
 
+# Make sure we include Config.hs even if it doesn't exist yet...
+ALL_SRCS += $(CONFIG_HS)
 
-ifeq ($(GhcWithDeforester),YES)
-  DIRS += deforest
-endif
+# HsGeneric.hs is not used just now
+EXCLUDED_SRCS += hsSyn/HsGeneric.hs
 
 ifeq ($(GhcWithNativeCodeGen),YES)
-  ifeq ($(GhcWithHscBuiltViaC),YES)
-    # If building via C, we *assume* that it is the distributed C files,
-    # which do not have a native-code generator in them
-    SRC_MKDEPENDHS_OPTS += -DOMIT_NATIVE_CODEGEN
-  else
-    DIRS += nativeGen
-  endif
+ALL_DIRS += nativeGen
 else
 SRC_HC_OPTS += -DOMIT_NATIVE_CODEGEN
 endif
 
+ifeq ($(GhcWithIlx),YES)
+ALL_DIRS += ilxGen
+SRC_HC_OPTS += -DILX
+endif
 
-HS_SRCS = $(SRCS_UGNHS) \
-          $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
-         rename/ParseIface.hs rename/ParseType.hs rename/ParseUnfolding.hs \
-         main/LoopHack.hc 
+ifeq ($(GhcWithJavaGen),YES)
+ALL_DIRS += javaGen
+SRC_HC_OPTS += -DJAVA
+endif
 
-# NB: it's no good to include *.hs in the top-line wildcard, because the .hs files
-#     in parser/ may not have been created at that point.
+ifeq "$(BootingFromHc)" "YES"
+# HC files are always from a self-booted compiler
+bootstrapped = YES
+else
+ifneq "$(findstring $(stage), 2 3)" ""
+bootstrapped = YES
+else
+bootstrapped = $(shell if (test $(GhcCanonVersion) -eq $(ProjectVersionInt) -a $(GhcPatchLevel) -eq $(ProjectPatchLevel)); then echo YES; else echo NO; fi)
+endif
+endif
 
+# -----------------------------------------------------------------------------
+# Building a compiler with interpreter support
+#
+# The interpreter, GHCi interface, and Template Haskell are only
+# enabled when we are bootstrapping with the same version of GHC, and
+# the interpreter is supported on this platform.
 
-HCS      = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
+ifeq "$(GhcWithInterpreter) $(bootstrapped)" "YES YES"
 
-#
-# When booting using a ghc-2.xx compiler, the loop breakers are actually written in
-# Haskell, source stubs just re-exporting info from the various .hi-boot files.
-# (Reason: we don't want to fiddle with the imports in the sources). We give them
-# the suffix .hs, since they're special and don't fall under the umbrella of $(HS_SRCS)
-# always (only when $(Ghc2_0) is equal to YES)
-ifeq "$(Ghc2_0)" "YES"
-#OLD:LOOPS_HS  = $(wildcard */*Loop*.hs)
-MKDEPENDHS_SRCS = $(HS_SRCS)
-#HS_SRCS  += $(LOOPS_HS)
-else
-LOOPS   = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
-endif
-HS_OBJS  = \
-  $(patsubst %.hc, %.o, $(HCS)) \
-  parser/hsclink.o parser/hschooks.o libhsp.a
+# Yes, include the interepreter, readline, and Template Haskell extensions
+SRC_HC_OPTS += -DGHCI -package template-haskell
+PKG_DEPENDS += template-haskell
 
+# Use threaded RTS with GHCi, so threads don't get blocked at the prompt.
+# SRC_HC_OPTS += -threaded
 
-DESTDIR         = $(INSTALL_LIBRARY_DIR_GHC)
+ALL_DIRS += ghci
 
-SRCS_UGN      = $(wildcard parser/*.ugn)
-SRCS_UGNC     = $(patsubst %.ugn, %.c, $(SRCS_UGN))
-SRCS_UGNH     = $(patsubst %.ugn, %.h, $(SRCS_UGN))
-SRCS_UGNHS    = $(patsubst parser/%.ugn, parser/U_%.hs, $(SRCS_UGN))
-SRCS_UGN_OBJS = $(patsubst %.c, %.o, $(SRCS_UGNC))
+# If we are going to use dynamic libraries instead of .o files for ghci,
+# we will need to always retain CAFs in the compiler.
+# ghci/keepCAFsForGHCi contains a GNU C __attribute__((constructor))
+# function which sets the keepCAFs flag for the RTS before any Haskell
+# code is run.
+ifeq "$(GhcBuildDylibs)" "YES"
+else
+EXCLUDED_SRCS += ghci/keepCAFsForGHCi.c
+endif
 
+# Enable readline if either:
+#   - we're building stage 1 and $(GhcHasReadline)="YES"
+#   - we're building stage 2/3, and we have built the readline package
 #
-# Add the generated C files to the C_SRCS, so as to let `depend'
-# generate correct dependencies for them.
+# But we don't enable readline on Windows, because readline is fairly
+# broken there.
 #
-C_SRCS += $(SRCS_UGNC)
+ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+ifeq "$(stage)" "1"
+ifeq "$(GhcHasReadline)" "YES"
+SRC_HC_OPTS += -package readline -DUSE_READLINE
+PKG_DEPENDS += readline
+endif
+else
+ifeq "$(GhcLibsWithReadline)" "YES"
+SRC_HC_OPTS += -package readline -DUSE_READLINE
+PKG_DEPENDS += readline
+endif
+endif # stage=1
+endif # not windows
 
-LIBOBJS = \
-  $(SRCS_UGN_OBJS) parser/hslexer.o parser/hsparser.tab.o \
-  parser/id.o parser/infix.o parser/syntax.o parser/type2context.o \
-  parser/util.o
+else
+
+# No interpreter, so exclude Template Haskell modules
+EXCLUDED_SRCS += deSugar/DsMeta.hs typecheck/TcSplice.lhs hsSyn/Convert.lhs
+
+endif # bootstrapped with interpreter
 
+# -----------------------------------------------
+# mkdependC stuff
 #
-# stuff you get for free in a source distribution
+# Big Fudge to get around inherent problem that Makefile setup
+# has got with 'mkdependC'.
 # 
-SRC_DIST_FILES += rename/ParseIface.hs \
- rename/ParseType.hs rename/ParseUnfolding.hs \
- parser/U_tree.c parser/tree.h parser/tree.c \
- parser/hsparser.tab.c parser/hsparser.tab.h \
- parser/hslexer.c
+SRC_MKDEPENDC_OPTS += -D__GLASGOW_HASKELL__=$(ProjectVersionInt)
+
+# XXX not really correct, hschooks.c actually gets include files like
+# RtsFlags.c from the installed GHC, but we can't tell mkdependC about that.
+SRC_MKDEPENDC_OPTS += -I$(GHC_INCLUDE_DIR)
 
 # -----------------------------------------------------------------------------
 #              Haskell compilations
 
-# Compiler to use for building hsc
-#
-HC=$(WithGhcHc)
-
 SRC_HC_OPTS += \
-  -cpp -fhaskell-1.3 \
-  -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
-  -InativeGen -Iparser $(foreach dir,$(DIRS),-i$(dir))
-
-# -syslib ghc just needed for use of PackedString.hPutPS
-
-
-SRC_CC_OPTS += -Iparser -I. -I$(TOP)/includes
-
-ifeq "$(Ghc2_0)" "NO"
-SRC_HC_OPTS += -fomit-derived-read -fomit-reexported-instances
+  -cpp -fglasgow-exts -fno-generics -Rghc-timing \
+  -I. -IcodeGen -InativeGen -Iparser
+
+# Omitted:     -I$(GHC_INCLUDE_DIR)
+# We should have -I$(GHC_INCLUDE_DIR) in SRC_HC_OPTS, 
+# to avoid the use of an explicit path in GHC source files
+#      (include "../includes/config.h"
+# But alas GHC 4.08 (and others for all I know) uses this very
+# same include path when compiling the .hc files it generates.
+# Disaster!  Then the hc file sees the GHC 5.02 (or whatever)
+# include files.   For the moment we've reverted to using
+# an explicit path in the .hs sources
+#
+# For the benefit of <5.00 compilers, do include GHC_INCLUDE_DIR
+# when generating dependencies. (=> it gets passed onto mkdependHS,
+# which needs it).
+SRC_MKDEPENDHS_OPTS += -I$(GHC_INCLUDE_DIR)
+
+# We need System.Posix (or Posix when ghc < 6.2)
+ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+ifeq "$(bootstrapped) $(ghc_ge_601)" "NO NO"
+SRC_HC_OPTS += -package posix
 else
-# Recompilation checking - unconditionally so (ToDo: move to mk/config.mk.in)
-SRC_HC_OPTS += -recomp
+SRC_HC_OPTS += -package unix
+PKG_DEPENDS += unix
+endif
 endif
 
-ifeq ($(GhcWithDeforester),NO)
-ifeq "$(Ghc2_0)" "NO"
-  SRC_MKDEPENDHS_OPTS += -DOMIT_DEFORESTER
+# We use the Cabal package in stages 2/3 only; in stage 1 we're using
+# the libcompat library which provides the Cabal modules.
+ifneq "$(stage)" "1"
+SRC_HC_OPTS += -package Cabal
+PKG_DEPENDS += Cabal
 endif
-SRC_HC_OPTS += -DOMIT_DEFORESTER
+
+ifeq "$(ghc_ge_603)" "YES"
+# Ignore lang, to avoid potential clash with the Generics module if
+# lang happens to be a dependency of some exposed package in the local
+# GHC installation (eg. wxHaskell did this around 6.4).
+SRC_HC_OPTS += -ignore-package lang
 endif
 
-SRC_HC_OPTS += $(GhcHcOpts)
+SRC_CC_OPTS += -Iparser -I. -O
+SRC_HC_OPTS += -recomp $(GhcHcOpts) $(GhcStage$(stage)HcOpts)
+SRC_HC_OPTS += -H16M
+
+ifeq "$(BootingFromHc)" "YES"
+SRC_CC_OPTS += -D__GLASGOW_HASKELL__=$(ProjectVersionInt)
+endif
 
 #      Special flags for particular modules
 #      The standard suffix rule for compiling a Haskell file
 #      adds these flags to the command line
 
-absCSyn/AbsCSyn_HC_OPTS        = -fno-omit-reexported-instances
-basicTypes/IdInfo_HC_OPTS      = -K2m
-coreSyn/AnnCoreSyn_HC_OPTS     = -fno-omit-reexported-instances
-hsSyn/HsExpr_HC_OPTS           = -K2m
-hsSyn/HsSyn_HC_OPTS            = -fno-omit-reexported-instances
-main/Main_HC_OPTS              = -fvia-C
-main/CmdLineOpts_HC_OPTS       = -fvia-C
-nativeGen/PprMach_HC_OPTS      = -K2m
-nativeGen/MachMisc_HC_OPTS     = -K2m -fvia-C
-parser/UgenAll_HC_OPTS                 = -fvia-C '-\#include"hspincl.h"'
-parser/UgenUtil_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
-parser/U_constr_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
-parser/U_binding_HC_OPTS       = -fvia-C '-\#include"hspincl.h"'
-parser/U_pbinding_HC_OPTS      = -fvia-C '-\#include"hspincl.h"'
-parser/U_entidt_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
-parser/U_list_HC_OPTS          = -fvia-C '-\#include"hspincl.h"'
-parser/U_literal_HC_OPTS       = -fvia-C '-\#include"hspincl.h"'
-parser/U_maybe_HC_OPTS                 = -fvia-C '-\#include"hspincl.h"'
-parser/U_either_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
-parser/U_qid_HC_OPTS           = -fvia-C '-\#include"hspincl.h"'
-parser/U_tree_HC_OPTS          = -fvia-C '-\#include"hspincl.h"'
-parser/U_ttype_HC_OPTS                 = -fvia-C '-\#include"hspincl.h"'
-parser/hslexer_CC_OPTS          = -I$(TOP)/includes
-prelude/PrimOp_HC_OPTS                 = -K3m
-reader/Lex_HC_OPTS             = -K2m -H16m -fvia-C
-ifeq "$(Ghc2_0)" "NO"
-reader/Lex_HC_OPTS             += -fomit-derived-read
-endif
-reader/ReadPrefix_HC_OPTS      = -fvia-C '-\#include"hspincl.h"'
-rename/ParseIface_HC_OPTS      = -Onot -H16m
-rename/ParseType_HC_OPTS       = -Onot -H16m
-rename/ParseUnfolding_HC_OPTS  = -Onot -H16m
-ifeq "$(Ghc2_0)" "YES"
-rename/ParseIface_HC_OPTS       += -fno-warn-incomplete-patterns -fno-warn-overlapped-patterns
-rename/ParseType_HC_OPTS        += -fno-warn-incomplete-patterns -fno-warn-overlapped-patterns
-rename/ParseUnfolding_HC_OPTS   += -fno-warn-incomplete-patterns -fno-warn-overlapped-patterns
-endif
-
-ifeq "$(TARGETPLATFORM)" "hppa1.1-hp-hpux9"
-rename/RnMonad_HC_OPTS                 = -fvia-C -O2 -O2-for-C
-else
-ifeq "$(Ghc2_0)" "NO"
-rename/RnMonad_HC_OPTS                 = -fvia-C
-endif
-endif
-rename/RnEnv_HC_OPTS           = -fvia-C
-rename/RnSource_HC_OPTS                = -H12m
-rename/RnIfaces_HC_OPTS                = -H8m -fvia-C
-rename/RnNames_HC_OPTS         = -H12m
-rename/RnMonad_HC_OPTS         = -fvia-C
-specialise/Specialise_HC_OPTS  = -Onot -H12m
-stgSyn/StgSyn_HC_OPTS          = -fno-omit-reexported-instances
-typecheck/TcGenDeriv_HC_OPTS   = -H10m
-typecheck/TcExpr_HC_OPTS       = -H10m
-typecheck/TcEnv_HC_OPTS                = -H10m
-ifeq "$(Ghc2_0)" "NO"
-typecheck/TcMonad_HC_OPTS      = -fvia-C       
-endif
-utils/Argv_HC_OPTS             = -fvia-C
-utils/SST_HC_OPTS              = -fvia-C
-utils/PrimPacked_HC_OPTS       = -fvia-C -monly-3-regs
-utils/FastString_HC_OPTS       = -fvia-C
-utils/StringBuffer_HC_OPTS     = -fvia-C
-utils/Digraph_HC_OPTS          = -fglasgow-exts -fvia-C
+# There used to be a -no-recomp flag on PrimOp, but why?
+# It's an expensive module to recompile!
+prelude/PrimOp_HC_OPTS                 = -H80m
 
 
-# ----------------------------------------------------------------------------
-#              C compilations
+main/ParsePkgConf_HC_OPTS      += -fno-warn-incomplete-patterns
+parser/Parser_HC_OPTS          += -fno-warn-incomplete-patterns
 
-SRC_C_OPTS     += -O -Iparser -I. -IcodeGen
+ifeq "$(ghc_ge_603)" "NO"
+# Use -fvia-C since the NCG can't handle the narrow16Int# (and intToInt16#?)
+# primops on all platforms.
+parser/Parser_HC_OPTS          += -fvia-C
+# because the NCG can't handle the 64-bit math in here
+prelude/PrelRules_HC_OPTS      += -fvia-C
+# ByteCodeItbls uses primops that the NCG doesn't support.
+ghci/ByteCodeItbls_HC_OPTS     += -fvia-C
+ghci/ByteCodeLink_HC_OPTS      += -fvia-C -monly-3-regs
+endif
 
+# Careful optimisation of the parser: we don't want to throw everything
+# at it, because that takes too long and doesn't buy much, but we do want
+# to inline certain key external functions, so we instruct GHC not to
+# throw away inlinings as it would normally do in -Onot mode:
+parser/Parser_HC_OPTS          += -Onot -fno-ignore-interface-pragmas
 
-# ----------------------------------------------------------------------------
-#              Parsers
+ifeq "$(HOSTPLATFORM)" "hppa1.1-hp-hpux9"
+rename/RnMonad_HC_OPTS                 =  -O2 -O2-for-C
+endif
 
-# Main parser uses Yacc/Bison
-SRC_YACC_OPTS  += -d -v
+utils/Digraph_HC_OPTS          = -fglasgow-exts 
 
-#
-# Want to keep the intermediate (included in src distribs).
-#
-.PRECIOUS: %.tab.c %.tab.h parser/hslexer.c
+basicTypes/SrcLoc_HC_OPTS      = -funbox-strict-fields
 
-parser/hschooks.o : parser/hschooks.c
-       @$(RM) $@
-       $(HC) -c -o $@ $(HCFLAGS) parser/hschooks.c
+ifeq "$(bootstrapped)" "YES"
+utils/Binary_HC_OPTS           = -funbox-strict-fields
+endif
 
+# BinIface and Binary take ages to both compile and run if you don's use -O
+main/BinIface_HC_OPTS          += -O
+utils/Binary_HC_OPTS           += -O
+utils/FastMutInt_HC_OPTS       += -O
+
+
+# ---- Profiling ----
+#simplCore/Simplify_HC_OPTS = -auto-all
+#simplCore/SimplEnv_HC_OPTS = -auto-all
+#simplCore/SimplUtils_HC_OPTS = -auto-all
+
+# CSE interacts badly with top-level IORefs (reportedly in DriverState and
+# DriverMkDepend), causing some of them to be commoned up.  We have a fix for
+# this in 5.00+, but earlier versions of the compiler will need CSE turned off.
+# To be on the safe side, we disable CSE in *all* modules with top-level IORefs.
+ghci/InteractiveUI_HC_OPTS     = -fno-cse
+main/CmdLineOpts_HC_OPTS       = -fno-cse
+main/DriverMkDepend_HC_OPTS    = -fno-cse
+main/DriverPipeline_HC_OPTS    = -fno-cse
+main/Finder_HC_OPTS            = -fno-cse
+main/SysTools_HC_OPTS          = -fno-cse
+main/StaticFlags_HC_OPTS       = -fno-cse
+
+# The #include is vital for the via-C route, else the C
+# compiler doesn't realise that the stcall foreign imports are indeed
+# stdcall, and doesn't generate the Foo@8 name for them
+ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
+main/SysTools_HC_OPTS          += '-\#include <windows.h>' '-\#include <process.h>'
+endif
 
-# Interface-file parser uses Happy
-SRC_HAPPY_OPTS += +RTS -K2m -H10m -RTS
+parser/Lexer_HC_OPTS += -funbox-strict-fields
 
-rename/ParseIface.hs : rename/ParseIface.y
-       @$(RM) rename/ParseIface.hs rename/ParseIface.hinfo
-       $(HAPPY) $(HAPPY_OPTS) -g rename/ParseIface.y
-       @chmod 444 rename/ParseIface.hs
+# ghc_strlen percolates through so many modules that it is easier to get its
+# prototype via a global option instead of a myriad of per-file OPTIONS
+SRC_HC_OPTS += '-\#include "hschooks.h"'
 
-rename/ParseType.hs : rename/ParseType.y
-       @$(RM) rename/ParseType.hs rename/ParseType.hinfo
-       $(HAPPY) $(HAPPY_OPTS) -g rename/ParseType.y
-       @chmod 444 rename/ParseType.hs
+# ----------------------------------------------------------------------------
+#              Generate supporting stuff for prelude/PrimOp.lhs 
+#              from prelude/primops.txt
+
+GENPOC=$(TOP)/utils/genprimopcode/genprimopcode
+
+PRIMOP_BITS=primop-data-decl.hs-incl \
+            primop-tag.hs-incl  \
+            primop-list.hs-incl  \
+            primop-has-side-effects.hs-incl  \
+            primop-out-of-line.hs-incl  \
+            primop-commutable.hs-incl  \
+            primop-needs-wrapper.hs-incl  \
+            primop-can-fail.hs-incl  \
+            primop-strictness.hs-incl  \
+            primop-primop-info.hs-incl
+
+CLEAN_FILES += prelude/primops.txt
+CLEAN_FILES += $(PRIMOP_BITS)
+
+SRC_CPP_OPTS += -I$(GHC_INCLUDE_DIR)
+SRC_CPP_OPTS += ${GhcCppOpts}
+
+ifneq "$(BootingFromHc)" "YES"
+prelude/PrimOp.lhs $(odir)/prelude/PrimOp.o: $(PRIMOP_BITS)
+endif
 
-rename/ParseUnfolding.hs : rename/ParseUnfolding.y
-       @$(RM) rename/ParseUnfolding.hs rename/ParseUnfolding.hinfo
-       $(HAPPY) $(HAPPY_OPTS) -g rename/ParseUnfolding.y
-       @chmod 444 rename/ParseUnfolding.hs
+ifneq "$(BootingFromHc)" "YES"
+depend :: $(PRIMOP_BITS)
+endif
 
-#----------------------------------------------------------------------
-#
-# Building the stand-alone parser
-#
-all :: hsp
+primop-data-decl.hs-incl: prelude/primops.txt
+       $(GENPOC) --data-decl          < $< > $@
+primop-tag.hs-incl: prelude/primops.txt
+       $(GENPOC) --primop-tag         < $< > $@
+primop-list.hs-incl: prelude/primops.txt
+       $(GENPOC) --primop-list        < $< > $@
+primop-has-side-effects.hs-incl: prelude/primops.txt
+       $(GENPOC) --has-side-effects   < $< > $@
+primop-out-of-line.hs-incl: prelude/primops.txt
+       $(GENPOC) --out-of-line        < $< > $@
+primop-commutable.hs-incl: prelude/primops.txt
+       $(GENPOC) --commutable         < $< > $@
+primop-needs-wrapper.hs-incl: prelude/primops.txt
+       $(GENPOC) --needs-wrapper      < $< > $@
+primop-can-fail.hs-incl: prelude/primops.txt
+       $(GENPOC) --can-fail           < $< > $@
+primop-strictness.hs-incl: prelude/primops.txt
+       $(GENPOC) --strictness         < $< > $@
+primop-primop-info.hs-incl: prelude/primops.txt
+       $(GENPOC) --primop-primop-info < $< > $@
+
+# Usages aren't used any more; but the generator 
+# can still generate them if we want them back
+primop-usage.hs-incl: prelude/primops.txt
+       $(GENPOC) --usage              < $< > $@
 
-hsp: parser/printtree.o parser/main.o libhsp.a 
-       $(CC) -o $@ $(CC_OPTS) $^
 
-CLEAN_FILES += hsp
 #-----------------------------------------------------------------------------
-#              Interface files
+#              Linking
 
-# LoopHack.lhc is an SLPJ addition to fix a profiling problem.  See comments
-# inside it. (compilation is handled by the suffix rules).
+# Include libghccompat in stage1 only.  In stage2 onwards, all these
+# libraries will be available from the main libraries.
 
-#
-# Building the loop breakers from .lhi (0.2x) or .hi-boot (2.xx) files
-#
-ifeq ($(Ghc2_0),YES)
+ifeq "$(stage)" "1"
+include $(GHC_LIB_COMPAT_DIR)/compat.mk
+endif
 
-BOOT_HI_STEMS = $(basename $(wildcard */*.hi-boot))
+SRC_LD_OPTS += -no-link-chk
 
-hi-boot :: 
-       @for n in $(BOOT_HI_STEMS); \
-       do  \
-         echo Creating $$n.hi ; \
-         $(RM) $$n.hi ; \
-         $(CP) $$n.hi-boot $$n.hi || ( $(RM) $$n.hi && exit 1 ) ; \
-       done 
-#
-# Have the collector *Loop.hs interface files be generated just after having
-# created the .hi's from the .hi-boot's. 
+# -----------------------------------------------------------------------------
+# create ghc-inplace, a convenient way to run ghc from the build tree...
 
-#hi-boot :: $(patsubst %.hs,%.hi,$(LOOPS_HS))
+all :: $(odir)/ghc-inplace ghc-inplace
 
-else
-%.hi : %.lhi
-       $(RM) $@
-       $(UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
-endif
+$(odir)/ghc-inplace : $(HS_PROG)
+       @$(RM) $@
+       echo '#!/bin/sh' >>$@
+       echo exec $(FPTOOLS_TOP_ABS)/ghc/compiler/$(HS_PROG) '-B$(subst \,\\,$(FPTOOLS_TOP_ABS_PLATFORM))' '"$$@"' >>$@
+       chmod 755 $@
 
-boot :: hi-boot
+ghc-inplace : stage1/ghc-inplace
+       $(LN_S) -f $< $@
+
+CLEAN_FILES += $(odir)/ghc-inplace ghc-inplace
 
 #-----------------------------------------------------------------------------
-#              Linking
+#              install
 
-SRC_LD_OPTS += -no-link-chk
+# We don't want ghc treated as an ordinary executable,
+# but put it together with the libraries.
+# Also don't want any interface files installed
 
-# Build-specific
-#SRC_LD_OPTS += "-pgml time gcc -B/projects/unsupported/gnu/sparc-sunos5/bin/g"
+DESTDIR = $(INSTALL_LIBRARY_DIR_GHC)
+
+ifneq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
+INSTALL_LIBEXECS += $(HS_PROG)
+else
+INSTALL_PROGS += $(HS_PROG)
+endif
 
+# ----------------------------------------------------------------------------
+# profiling.
+
+# rename/RnBinds_HC_OPTS += -auto-all
+# rename/RnEnv_HC_OPTS += -auto-all
+# rename/RnExpr_HC_OPTS += -auto-all
+# rename/RnHiFiles_HC_OPTS += -auto-all
+# rename/RnHsSyn_HC_OPTS += -auto-all
+# rename/Rename_HC_OPTS += -auto-all
+# rename/RnIfaces_HC_OPTS += -auto-all
+# rename/RnNames_HC_OPTS += -auto-all
+# rename/RnSource_HC_OPTS += -auto-all
+# rename/RnTypes_HC_OPTS += -auto-all
+# 
+# typecheck/Inst_HC_OPTS += -auto-all
+# typecheck/TcBinds_HC_OPTS += -auto-all
+# typecheck/TcClassDcl_HC_OPTS += -auto-all
+# typecheck/TcDefaults_HC_OPTS += -auto-all
+# typecheck/TcDeriv_HC_OPTS += -auto-all
+# typecheck/TcEnv_HC_OPTS += -auto-all
+# typecheck/TcExpr_HC_OPTS += -auto-all
+# typecheck/TcForeign_HC_OPTS += -auto-all
+# typecheck/TcGenDeriv_HC_OPTS += -auto-all
+# typecheck/TcHsSyn_HC_OPTS += -auto-all
+# typecheck/TcIfaceSig_HC_OPTS += -auto-all
+# typecheck/TcInstDcls_HC_OPTS += -auto-all
+# typecheck/TcMatches_HC_OPTS += -auto-all
+# typecheck/TcMonoType_HC_OPTS += -auto-all
+# typecheck/TcMType_HC_OPTS += -auto-all
+# typecheck/TcPat_HC_OPTS += -auto-all
+# typecheck/TcRnDriver_HC_OPTS += -auto-all
+# #typecheck/TcRnMonad_HC_OPTS += -auto-all
+# #typecheck/TcRnTypes_HC_OPTS += -auto-all
+# typecheck/TcRules_HC_OPTS += -auto-all
+# typecheck/TcSimplify_HC_OPTS += -auto-all
+# typecheck/TcSplice_HC_OPTS += -auto-all
+# typecheck/TcTyClsDecls_HC_OPTS += -auto-all
+# typecheck/TcTyDecls_HC_OPTS += -auto-all
+# typecheck/TcType_HC_OPTS += -auto-all
+# typecheck/TcUnify_HC_OPTS += -auto-all
+
+coreSyn/CorePrep_HC_OPTS += -auto-all
+# parser/Parser_HC_OPTS += -fasm
 
 #-----------------------------------------------------------------------------
-#              install
+# Building the GHC package
 
-# We don't want hsc treated as an ordinary executable,
-# but put it together with the libraries.
-# Also don't want any interface files intstalled
+# The GHC package is made from the stage 2 build.  Fortunately the
+# package build system framework more or less does the right thing for
+# us here.
 
-INSTALL_LIBEXECS += hsc hsp
+ifeq "$(stage)" "2"
+PACKAGE = ghc
+HIERARCHICAL_LIB = NO
+VERSION = $(ProjectVersion)
+PKG_DEPENDS += base haskell98
+PACKAGE_CPP_OPTS += -DPKG_DEPENDS='$(PKG_DEPENDS)'
 
-#-----------------------------------------------------------------------------
-#              depend
+# disable splitting: it won't really help with GHC, and the specialised
+# build system for ghc/compiler isn't set up to handle it.
+SplitObjs = NO
 
-# If we're using a 1.2 compiler to compile the compiler, need the old mkdepend stuff
-#
-# ToDo: define sep MKDEPENDHS_1.2 variable so that it can be readily overridden
-# in a build.mk file.
-#
-ifeq ($(Ghc2_0),NO)
-MKDEPENDHS      = $(MKDEPENDHS_1_2)
-endif
+# the package build system likes to set WAYS=$(GhcLibWays), but we don't 
+# really want to build the whole of GHC multiple ways... if you do,
+# set GhcCompilerWays instead.
+GhcLibWays = $(GhcCompilerWays)
 
-#
-# Before doing `make depend', need to build all derived Haskell source files
-#
-depend :: $(LOOPS) $(SRCS_UGNHS) rename/ParseIface.hs rename/ParseUnfolding.hs rename/ParseType.hs
+# override $(GhcLibHcOpts): we want GhcStage2HcOpts to take precedence
+GhcLibHcOpts =
 
+# override default definition of HS_IFACES so we can add $(odir)
+HS_IFACES   = $(addsuffix .$(way_)hi,$(basename $(HS_OBJS)))
 
-ifeq "$(GhcWithHscBuiltViaC)" "YES"
-SRC_MKDEPENDHS_OPTS += -o .hc
-# When booting from .hc, (hackily) remove the suffix rule for 
-# .l?hs -> .o, so that the .hc -> .o is used instead.
-%.$(way_)o : %.lhs
-%.$(way_)o : %.hs
-else
-  SRCS_MKDEPENDHS = $(SRCS_HC) # should add $(LOOPS) ?
+# Haddock can't handle recursive modules currently, so we disable it for now.
+NO_HADDOCK_DOCS = YES
 endif
 
-
 #-----------------------------------------------------------------------------
 #              clean
 
-CLEAN_FILES += $(wildcard */*.$(way_)o */*.$(way_)hi) \
-               $(SRCS_UGNC) $(SRCS_UGNH) \
-               $(SRCS_UGNHS)\
-              parser/hslexer.c parser/hsparser.tab.h parser/hsparser.tab.c
-
-# Extra tidy, remove the .hc files (if you've got them).
-MAINTAINER_CLEAN_FILES += $(wildcard */*.hc)
-
+MAINTAINER_CLEAN_FILES += parser/Parser.info main/ParsePkgConf.info
 
 #-----------------------------------------------------------------------------
-#              TAGS
+#              Include target-rule boilerplate
 
-SRC_HSTAGS_OPTS += -fglasgow-exts -cpp
+# Don't use the default MKDEPENDHS stuff... we'll do our own, below
+MKDEPENDHS_SRCS =
+MKDEPENDC_SRCS =
+
+# Make doesn't work this out for itself, it seems
+parser/Parser.y : parser/Parser.y.pp
+EXTRA_SRCS += parser/Parser.y
 
 
 #-----------------------------------------------------------------------------
-#              Include target-rule boilerplate
+#              Source files for tags file generation
+#
+# We want to excluded derived sources, because they won't be in the source
+# tree, which is where we are going to move the TAGS file to.a
+
+TAGS_HS_SRCS = parser/Parser.y.pp $(filter-out $(DERIVED_SRCS) main/Config.hs parser/Parser.y, $(sort $(SRCS)))
+
 
 include $(TOP)/mk/target.mk
 
+# -----------------------------------------------------------------------------
+# Dependencies
 
+MKDEPENDHS_HC_OPTS = $(patsubst -i$(odir)/%, -i%, $(HC_OPTS))
+
+MKDEPENDHS=$(HC)
+
+# Must do this *after* including target.mk, because $(HS_SRCS) isn't set yet.
+depend :: $(STAGE_PLATFORM_H) $(HS_SRCS) $(C_SRCS)
+       touch .depend-BASE
+ifneq "$(BootingFromHc)" "YES"
+       $(MKDEPENDHS) -M -optdep-f -optdep.depend-BASE $(foreach way,$(WAYS),-optdep-s -optdep$(way)) $(foreach obj,$(MKDEPENDHS_OBJ_SUFFICES),-osuf $(obj)) $(MKDEPENDHS_OPTS) $(filter-out -split-objs, $(MKDEPENDHS_HC_OPTS)) $(HS_SRCS)
+endif
+       $(MKDEPENDC) -f .depend-BASE $(MKDEPENDC_OPTS) $(foreach way,$(WAYS),-s $(way)) -- $(CC_OPTS) -- $(C_SRCS) 
+       $(PERL) -pe 'binmode(stdin); binmode(stdout); s@^(\S*\.o)@stage$(stage)/$$1@g; s@(\S*\.hi)@stage$(stage)/$$1@g; s@^.*/lib/compat.*$$@@g;' <.depend-BASE >.depend-$(stage)
+# The binmode stuff tells perl not to add stupid ^M's to the output
 #
-# Special extra dependencies for yukky ugen stuff
-#
+# The /lib/compat replacement is to workaround a bug in the
+# -optdep--exclude-module flag in GHC 6.4.  It is not required for any
+# other version of GHC, but doesn't do any harm.
 
-parser/%.o : parser/%.c $(SRCS_UGNH)
-parser/hslexer.o : parser/hslexer.c parser/hsparser.tab.h
-
-parser/hspincl.h : $(SRCS_UGNH)
-parser/UgenAll.o : parser/hspincl.h
-parser/UgenUtil.o : parser/hspincl.h
-parser/U_constr.o : parser/hspincl.h
-parser/U_binding.o : parser/hspincl.h
-parser/U_pbinding.o : parser/hspincl.h
-parser/U_entidt.o : parser/hspincl.h
-parser/U_list.o : parser/hspincl.h
-parser/U_literal.o : parser/hspincl.h
-parser/U_maybe.o : parser/hspincl.h
-parser/U_either.o : parser/hspincl.h
-parser/U_qid.o : parser/hspincl.h
-parser/U_tree.o : parser/hspincl.h
-parser/U_ttype.o : parser/hspincl.h
-parser/printtree.o : parser/hspincl.h
-reader/ReadPrefix.o : parser/hspincl.h
+-include .depend-$(stage)