# -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.195 2001/10/23 16:47:30 rrt Exp $
+# 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
#-----------------------------------------------------------------------------
+# Counting source code lines
+
+USER_SRCS = $(filter-out $(DERIVED_SRCS),$(SRCS))
+count :
+ ./count_lines $(USER_SRCS)
+
+#-----------------------------------------------------------------------------
# Building ghc different ways (default is just `normal' sequential)
+
WAYS=$(GhcCompilerWays)
# -----------------------------------------------------------------------------
+# 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
+
+.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
#
ifneq "$(way)" "dll"
ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
-HS_PROG=ghc$(_way)-$(ProjectVersion)
+HS_PROG=$(odir)/ghc$(_way)-$(ProjectVersion)
else
-HS_PROG=ghc$(_way)
+HS_PROG=$(odir)/ghc$(_way)
endif
else
-HS_PROG=ghc-$(ProjectVersion)
+HS_PROG=$(odir)/ghc-$(ProjectVersion)
endif
# -----------------------------------------------------------------------------
$(CONFIG_HS) : $(FPTOOLS_TOP)/mk/config.mk Makefile
@$(RM) -f $(CONFIG_HS)
- @echo -n "Creating $(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 "cHOSTPLATFORM = \"$(HOSTPLATFORM)\"" >> $(CONFIG_HS)
- @echo "cTARGETPLATFORM = \"$(TARGETPLATFORM)\"" >> $(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 "cGHC_DRIVER_DIR = \"$(GHC_DRIVER_DIR)\"" >> $(CONFIG_HS)
- @echo "cGHC_TOUCHY = \"$(GHC_TOUCHY)\"" >> $(CONFIG_HS)
- @echo "cGHC_TOUCHY_DIR = \"$(GHC_TOUCHY_DIR)\"" >> $(CONFIG_HS)
- @echo "cGHC_UNLIT = \"$(GHC_UNLIT)\"" >> $(CONFIG_HS)
- @echo "cGHC_UNLIT_DIR = \"$(GHC_UNLIT_DIR)\"" >> $(CONFIG_HS)
- @echo "cGHC_MANGLER = \"$(GHC_MANGLER)\"" >> $(CONFIG_HS)
- @echo "cGHC_MANGLER_DIR = \"$(GHC_MANGLER_DIR)\"" >> $(CONFIG_HS)
- @echo "cGHC_SPLIT = \"$(GHC_SPLIT)\"" >> $(CONFIG_HS)
- @echo "cGHC_SPLIT_DIR = \"$(GHC_SPLIT_DIR)\"" >> $(CONFIG_HS)
- @echo "cGHC_SYSMAN = \"$(GHC_SYSMAN)\"" >> $(CONFIG_HS)
- @echo "cGHC_SYSMAN_DIR = \"$(GHC_SYSMAN_DIR)\"" >> $(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)
endif
@echo "cEnableWin32DLLs = \"$(EnableWin32DLLs)\"" >> $(CONFIG_HS)
@echo "cCONTEXT_DIFF = \"$(CONTEXT_DIFF)\"" >> $(CONFIG_HS)
- @echo "cHaveLibGmp = \"$(HaveLibGmp)\"" >> $(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)
CLEAN_FILES += $(CONFIG_HS)
# -----------------------------------------------------------------------------
-# Set SRCS, HCS, OBJS
-#
-# First figure out DIRS, the source sub-directories
-# Then derive SRCS by looking in them
+# 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 \
- profiling parser usageSP cprAnalysis javaGen compMan
+ 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)
+
+# HsGeneric.hs is not used just now
+EXCLUDED_SRCS += hsSyn/HsGeneric.hs
ifeq ($(GhcWithNativeCodeGen),YES)
-DIRS += nativeGen
+ALL_DIRS += nativeGen
else
SRC_HC_OPTS += -DOMIT_NATIVE_CODEGEN
endif
ifeq ($(GhcWithIlx),YES)
-DIRS += ilxGen
+ALL_DIRS += ilxGen
SRC_HC_OPTS += -DILX
endif
-#
-# Canonicalize the GHC version number - assume it is has the form x.yy.[z] or
-# x.yy[.date] where date = yyyymmdd
-#
-# [First sed substitution gets rid of the '.', second gets rid of the date portion,
-# third appends a '0' if the z portion is missing]
-#
-CANON_HC_VERSION=$(shell echo "$(GhcVersion)" | sed -e 's/\.//g;s/^\(...\)........$$/\1/g;s/^\(...\)$$/\10/g')
-
-# 20010625
+ifeq ($(GhcWithJavaGen),YES)
+ALL_DIRS += javaGen
+SRC_HC_OPTS += -DJAVA
+endif
ifeq "$(BootingFromHc)" "YES"
# HC files are always from a self-booted compiler
bootstrapped = YES
-compiling_with_4xx=NO
else
-bootstrapped = $(shell if (test $(CANON_HC_VERSION) -ge $(ProjectVersionInt)0); then echo YES; else echo NO; fi)
-compiling_with_4xx = $(shell if (test $(CANON_HC_VERSION) -lt 5000); then echo YES; else echo NO; fi)
-ghc_502_at_least = $(shell if (test $(CANON_HC_VERSION) -ge 5020); then echo YES; else echo NO; fi)
-endif
-
-# Only include GHCi if we're bootstrapping with at least version 411
-ifeq "$(GhcWithInterpreter)" "YES"
-ifeq "$(bootstrapped)" "YES"
-SRC_HC_OPTS += -DGHCI
-DIRS += ghci
+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
-HS_SRCS := $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs) $(wildcard $(dir)/*.hs))
-HS_SRCS := $(filter-out rename/ParseIface.hs parser/Parser.hs main/ParsePkgConf.hs $(CONFIG_HS), $(HS_SRCS))
-HS_SRCS += $(CONFIG_HS)
+# -----------------------------------------------------------------------------
+# 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.
-# Enable code that assumes a MSDOSish subshell. See mk/config.mk.in
-# for explanatory comment as to what this does.
-ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
-ghc_501_at_least = $(shell if (test $(CANON_HC_VERSION) -ge 5010); then echo YES; else echo NO; fi)
+ifeq "$(GhcWithInterpreter) $(bootstrapped)" "YES YES"
-# -----------------------------------------------
-# GHCi calls the C procedure 'rawSystem'; but alas GHC 4.08
-# does not have this. Everything is fine if you are compiling
-# GHC with GHC 5.02 or better, but lacking that we have the following
-# hack:
-# copy rawSystem.c from hslibs/lang/cbits
-# into main/ (where it'll be compiled and linked with the compiler)
-# (the Haskell-side code is ifdefed into main/SysTools.lhs)
-
-ifneq "$(ghc_502_at_least)" "YES"
-C_SRCS += main/rawSystem.c
-SRC_CC_OPTS += -I$(GHC_LIB_DIR)/std/cbits
-SRC_MKDEPENDC_OPTS += -I$(GHC_LIB_DIR)/std/cbits
-HS_OBJS += main/rawSystem.o
-main/rawSystem.c : $(FPTOOLS_TOP)/hslibs/lang/cbits/rawSystem.c
- $(CP) $< main
-endif
-endif
-# End of system hack
-# -----------------------------------------------
+# Yes, include the interepreter, readline, and Template Haskell extensions
+SRC_HC_OPTS += -DGHCI -package template-haskell
+PKG_DEPENDS += template-haskell
-ifneq "$(BootingFromHc)" "YES"
-HS_SRCS += rename/ParseIface.hs parser/Parser.hs main/ParsePkgConf.hs
-endif
+# Use threaded RTS with GHCi, so threads don't get blocked at the prompt.
+# SRC_HC_OPTS += -threaded
-HCS = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
+ALL_DIRS += ghci
-ifeq "$(BootingFromHc)" "YES"
-HCS += rename/ParseIface.hc parser/Parser.hc main/ParsePkgConf.hc
+# 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 misc .c helper code (used by the frontend.)
+# But we don't enable readline on Windows, because readline is fairly
+# broken there.
#
-C_SRCS += parser/hschooks.c
+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
+
+else
-HS_OBJS = \
- $(patsubst %.hc, %.o, $(HCS)) \
- $(patsubst %.c, %.o, $(C_SRCS))
+# No interpreter, so exclude Template Haskell modules
+EXCLUDED_SRCS += deSugar/DsMeta.hs typecheck/TcSplice.lhs hsSyn/Convert.lhs
-DESTDIR = $(INSTALL_LIBRARY_DIR_GHC)
+endif # bootstrapped with interpreter
+# -----------------------------------------------
+# mkdependC stuff
#
# Big Fudge to get around inherent problem that Makefile setup
# has got with 'mkdependC'.
#
-SRC_MKDEPENDC_OPTS += -D__GLASGOW_HASKELL__=$(ProjectVersionInt) -I$(GHC_INCLUDE_DIR)
+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 ghc, use the build tree
-# driver when booting.
-#
-HC=$(GHC)
-
-#
-# Use GHC for compiling C bits
-#
-ifeq "$(BootingFromHc)" "YES"
-SRC_CC_OPTS += -D__GLASGOW_HASKELL__=$(ProjectVersionInt)
-else
-CC = $(HC)
-CC_OPTS := $(addprefix -optc, $(CC_OPTS))
-endif
-
-# magic from GNU make manual to convert a list of values
-# into a colon-separated list
-empty:=
-space:= $(empty) $(empty)
-
SRC_HC_OPTS += \
- -cpp -fglasgow-exts -Rghc-timing \
- -I. -IcodeGen -InativeGen -Iparser \
- -i$(subst $(space),:,$(DIRS))
+ -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,
# which needs it).
SRC_MKDEPENDHS_OPTS += -I$(GHC_INCLUDE_DIR)
-ifneq "$(mingw32_TARGET_OS)" "1"
-SRC_HC_OPTS += -package concurrent -package posix -package text -package util
+# 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
-SRC_HC_OPTS += -package concurrent -package text -package util
+SRC_HC_OPTS += -package unix
+PKG_DEPENDS += unix
+endif
endif
-SRC_CC_OPTS += -Iparser -I. -I$(TOP)/includes -O
-SRC_HC_OPTS += -recomp $(GhcHcOpts)
+# 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
+
+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_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
-# not sure if this is required --SDM
-main/Main_HC_OPTS = -fvia-C
-
-prelude/PrimOp_HC_OPTS = -no-recomp -H80m
+# There used to be a -no-recomp flag on PrimOp, but why?
+# It's an expensive module to recompile!
+prelude/PrimOp_HC_OPTS = -H80m
-# because the NCG can't handle the 64-bit math in here
-prelude/PrelRules_HC_OPTS = -fvia-C
-rename/ParseIface_HC_OPTS += -Onot -H45m -fno-warn-incomplete-patterns
-parser/Parser_HC_OPTS += -Onot -fno-warn-incomplete-patterns
main/ParsePkgConf_HC_OPTS += -fno-warn-incomplete-patterns
+parser/Parser_HC_OPTS += -fno-warn-incomplete-patterns
-# The latest GHC version doesn't have a -K option yet, and it doesn't
-# seem to be necessary anymore for the modules below.
-ifeq "$(compiling_with_4xx)" "YES"
-rename/ParseIface_HC_OPTS += -K2m
-parser/Parser_HC_OPTS += -K2m
+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
-ifeq "$(TARGETPLATFORM)" "hppa1.1-hp-hpux9"
+# 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
+
+ifeq "$(HOSTPLATFORM)" "hppa1.1-hp-hpux9"
rename/RnMonad_HC_OPTS = -O2 -O2-for-C
endif
-utils/StringBuffer_HC_OPTS = -fvia-C -fno-prune-tydecls
utils/Digraph_HC_OPTS = -fglasgow-exts
-# flags for PrimPacked:
-#
-# -monly-3-regs
-# because it contains a 'ccall strlen', which gets inlined by
-# gcc, causing a lack of registers.
-#
-utils/PrimPacked_HC_OPTS = -fvia-C -monly-3-regs
+basicTypes/SrcLoc_HC_OPTS = -funbox-strict-fields
+
+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
+
-# ByteCodeItbls uses primops that the NCG doesn't support yet.
-ghci/ByteCodeItbls_HC_OPTS = -fvia-C
-ghci/ByteCodeLink_HC_OPTS = -fvia-C -monly-3-regs
+# ---- 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.
-compMan/CompManager_HC_OPTS = -fno-cse
ghci/InteractiveUI_HC_OPTS = -fno-cse
main/CmdLineOpts_HC_OPTS = -fno-cse
-main/DriverFlags_HC_OPTS = -fno-cse
main/DriverMkDepend_HC_OPTS = -fno-cse
main/DriverPipeline_HC_OPTS = -fno-cse
-main/DriverState_HC_OPTS = -fno-cse
-main/DriverUtil_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 "$(TARGETPLATFORM)" "i386-unknown-mingw32"
-main/SysTools_HC_OPTS += '-\#include <windows.h>'
+ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
+main/SysTools_HC_OPTS += '-\#include <windows.h>' '-\#include <process.h>'
endif
-# ----------------------------------------------------------------------------
-# C compilations
-
-SRC_C_OPTS += -O -I. -IcodeGen
+parser/Lexer_HC_OPTS += -funbox-strict-fields
+# 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"'
# ----------------------------------------------------------------------------
# Generate supporting stuff for prelude/PrimOp.lhs
# from prelude/primops.txt
-CLEAN_FILES += prelude/primops.txt
-
GENPOC=$(TOP)/utils/genprimopcode/genprimopcode
PRIMOP_BITS=primop-data-decl.hs-incl \
primop-needs-wrapper.hs-incl \
primop-can-fail.hs-incl \
primop-strictness.hs-incl \
- primop-usage.hs-incl \
primop-primop-info.hs-incl
-SRC_CPP_OPTS += -I$(GHC_INCLUDE_DIR) -traditional
+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 prelude/PrimOp.o: $(PRIMOP_BITS)
+prelude/PrimOp.lhs $(odir)/prelude/PrimOp.o: $(PRIMOP_BITS)
endif
ifneq "$(BootingFromHc)" "YES"
$(GENPOC) --can-fail < $< > $@
primop-strictness.hs-incl: prelude/primops.txt
$(GENPOC) --strictness < $< > $@
-primop-usage.hs-incl: prelude/primops.txt
- $(GENPOC) --usage < $< > $@
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 < $< > $@
-# ----------------------------------------------------------------------------
-# Parsers/lexers
-
-SRC_HAPPY_OPTS += +RTS -K2m -H16m -RTS $(GHC_HAPPY_OPTS)
-
#-----------------------------------------------------------------------------
# Linking
-SRC_LD_OPTS += -no-link-chk
+# Include libghccompat in stage1 only. In stage2 onwards, all these
+# libraries will be available from the main libraries.
+
+ifeq "$(stage)" "1"
+include $(GHC_LIB_COMPAT_DIR)/compat.mk
+endif
+
+SRC_LD_OPTS += -no-link-chk
# -----------------------------------------------------------------------------
# create ghc-inplace, a convenient way to run ghc from the build tree...
-all :: ghc-inplace
+all :: $(odir)/ghc-inplace ghc-inplace
-ghc-inplace : $(HS_PROG)
+$(odir)/ghc-inplace : $(HS_PROG)
@$(RM) $@
echo '#!/bin/sh' >>$@
- echo exec $(FPTOOLS_TOP_ABS_UNIX)/ghc/compiler/$(HS_PROG) -B$(FPTOOLS_TOP_ABS) '"$$@"' >>$@
+ echo exec $(FPTOOLS_TOP_ABS)/ghc/compiler/$(HS_PROG) '-B$(subst \,\\,$(FPTOOLS_TOP_ABS_PLATFORM))' '"$$@"' >>$@
chmod 755 $@
-CLEAN_FILES += ghc-inplace
+ghc-inplace : stage1/ghc-inplace
+ $(LN_S) -f $< $@
+
+CLEAN_FILES += $(odir)/ghc-inplace ghc-inplace
#-----------------------------------------------------------------------------
# install
# but put it together with the libraries.
# Also don't want any interface files installed
-ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+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
+
#-----------------------------------------------------------------------------
-# clean
+# Building the GHC package
-CLEAN_FILES += $(wildcard */*.$(way_)o */*.$(way_)hi)
-CLEAN_FILES += $(PRIMOP_BITS)
+# 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.
+
+ifeq "$(stage)" "2"
+PACKAGE = ghc
+HIERARCHICAL_LIB = NO
+VERSION = $(ProjectVersion)
+PKG_DEPENDS += base haskell98
+PACKAGE_CPP_OPTS += -DPKG_DEPENDS='$(PKG_DEPENDS)'
+
+# 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
+
+# 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)
+
+# override $(GhcLibHcOpts): we want GhcStage2HcOpts to take precedence
+GhcLibHcOpts =
-# Extra tidy, remove the .hc files (if you've got them).
-MAINTAINER_CLEAN_FILES += $(wildcard */*.hc) \
- parser/Parser.info rename/ParseIface.info main/ParsePkgConf.info \
- parser/Parser.hs rename/ParseIface.hs main/ParsePkgConf.hs
+# override default definition of HS_IFACES so we can add $(odir)
+HS_IFACES = $(addsuffix .$(way_)hi,$(basename $(HS_OBJS)))
+
+# Haddock can't handle recursive modules currently, so we disable it for now.
+NO_HADDOCK_DOCS = YES
+endif
+
+#-----------------------------------------------------------------------------
+# clean
+
+MAINTAINER_CLEAN_FILES += parser/Parser.info main/ParsePkgConf.info
#-----------------------------------------------------------------------------
# Include target-rule boilerplate
+# 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
+
+
+#-----------------------------------------------------------------------------
+# 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
+#
+# 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.
+
+-include .depend-$(stage)