# -----------------------------------------------------------------------------
+# $Id: Makefile,v 1.46 1998/12/02 13:17:15 simonm Exp $
TOP = ..
include $(TOP)/mk/boilerplate.mk
#-----------------------------------------------------------------------------
# Building hsc different ways (default is just `normal' sequential)
-override WAYS=$(GhcCompilerWays)
+WAYS=$(GhcCompilerWays)
#-----------------------------------------------------------------------------
# Set SUBDIRS
# be to do ` env PATH=$(PATH) make hsc 'to minimise the environment. (or the
# equivalent of `env' if it doesn't exist locally).
#
-HS_PROG=hsc
+HS_PROG=hsc$(_way)
+
+
+# -----------------------------------------------------------------------------
+# Compilation history for Patrick
+
+# Make the sources first, because that's what the compilation history needs
+$(HS_PROG) :: $(HS_SRCS)
# -----------------------------------------------------------------------------
reader profiling parser
-ifeq ($(GhcWithDeforester),YES)
- DIRS += deforest
-endif
-
ifeq ($(GhcWithNativeCodeGen),YES)
DIRS += nativeGen
else
HS_SRCS = $(SRCS_UGNHS) \
- $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
- rename/ParseIface.hs rename/ParseType.hs rename/ParseUnfolding.hs \
- main/LoopHack.hc
+ $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs))
+
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+HS_SRCS += rename/ParseIface.hs
+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.
-
HCS = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
-#
-# 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"
-MKDEPENDHS_SRCS = $(HS_SRCS)
-else
-LOOPS = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
+# ParseIface.hs ain't part of HS_SRCS when this is on..
+ifeq "$(GhcWithHscBuiltViaC)" "YES"
+HCS += rename/ParseIface.hc
endif
-
+
HS_OBJS = \
$(patsubst %.hc, %.o, $(HCS)) \
parser/hsclink.o parser/hschooks.o libhsp.a
-DESTDIR = $(INSTALL_LIBRARY_DIR_GHC)
+DESTDIR = $(INSTALL_LIBRARY_DIR_GHC)
SRCS_UGN = $(wildcard parser/*.ugn)
SRCS_UGNC = $(patsubst %.ugn, %.c, $(SRCS_UGN))
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
+ parser/util.o parser/ctypes.o
-#
# stuff you get for free in a source distribution
#
-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_DIST_FILES += rename/ParseIface.hs \
+# parser/U_tree.c parser/tree.h parser/tree.c \
+# parser/hsparser.tab.c parser/hsparser.tab.h \
+# parser/hslexer.c
# -----------------------------------------------------------------------------
# Haskell compilations
-# Compiler to use for building hsc
#
+# Compiler to use for building hsc, use the build tree
+# driver when booting.
+#
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
HC=$(WithGhcHc)
+else
+HC=$(GHC_DRIVER_DIR)/ghc
+endif
-SRC_HC_OPTS += \
- -cpp -fhaskell-1.3 \
- -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
- -InativeGen -Iparser $(foreach dir,$(DIRS),-i$(dir))
+# magic from GNU make manual to convert a list of values
+# into a colon-separated list
+empty:=
+space:= $(empty) $(empty)
-# -syslib ghc just needed for use of PackedString.hPutPS
+SRC_HC_OPTS += \
+ -cpp -fglasgow-exts -Rghc-timing \
+ -I. -IcodeGen -InativeGen -Iparser \
+ -i$(subst $(space),:,$(DIRS))
SRC_CC_OPTS += -Iparser -I. -I$(TOP)/includes -O
-ifeq "$(Ghc2_0)" "NO"
-SRC_HC_OPTS += -fomit-derived-read -fomit-reexported-instances
-endif
-
-ifeq ($(GhcWithDeforester),NO)
- ifeq "$(Ghc2_0)" "NO"
- SRC_MKDEPENDHS_OPTS += -DOMIT_DEFORESTER
- endif
-SRC_HC_OPTS += -DOMIT_DEFORESTER
-endif
-
-SRC_HC_OPTS += $(GhcHcOpts)
+SRC_HC_OPTS += -recomp $(GhcHcOpts)
# 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
+# Was 6m with 2.10
+absCSyn/PprAbsC_HC_OPTS = -H10m
+
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/Constants_HC_OPTS = -DHscIfaceFileVersion=$(HscIfaceFileVersion)
+
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+ifeq "$(GhcReportCompiles)" "YES"
+main/Main_HC_OPTS += -syslib misc -DREPORT_TO_MOTHERLODE
+endif
+endif
+
main/CmdLineOpts_HC_OPTS = -fvia-C
nativeGen/PprMach_HC_OPTS = -K2m
nativeGen/MachMisc_HC_OPTS = -K2m -fvia-C
+nativeGen/MachCode_HC_OPTS = -H10m
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_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_tree_HC_OPTS = -H12m -fvia-C '-\#include"hspincl.h"'
parser/U_ttype_HC_OPTS = -fvia-C '-\#include"hspincl.h"'
-prelude/PrimOp_HC_OPTS = -K3m
+prelude/PrimOp_HC_OPTS = -H12m -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
+
+# Heap was 6m with 2.10
+reader/ReadPrefix_HC_OPTS = -fvia-C '-\#include"hspincl.h"' -H10m
+
+rename/ParseIface_HC_OPTS += -Onot -H30m -fno-warn-incomplete-patterns
+rename/ParseIface_HAPPY_OPTS += -g
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/RnExpr_HC_OPTS = -H10m
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
+simplCore/Simplify_HC_OPTS = -H15m
typecheck/TcGenDeriv_HC_OPTS = -H10m
-typecheck/TcExpr_HC_OPTS = -H10m
+
+# tmp, -- SDM
+specialise/Specialise_HC_OPTS += -fno-prune-tydecls
+
+# Was 10m for 2.10
+typecheck/TcHsSyn_HC_OPTS = -H15m
+
+
+# Was 10m for 2.10
+typecheck/TcExpr_HC_OPTS = -H15m
+typecheck/TcBinds_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/StringBuffer_HC_OPTS = -fvia-C -fno-prune-tydecls
utils/Digraph_HC_OPTS = -fglasgow-exts -fvia-C
+utils/DirUtils_HC_OPTS = -fvia-C
+
+ifeq "$(alpha_HOST_ARCH)" "1"
+# "stbu" bug in alpha native code generator...
+basicTypes/Unique_HC_OPTS = -fvia-C
+endif
+
+# flags for PrimPacked:
+#
+# -monly-3-regs
+# because it contains a 'ccall strlen', which gets inlined by
+# gcc, causing a lack of registers.
+#
+# -optC-funfolding-interface-threshold10
+# To stop the definition of 'strLength', which calls strlen, getting
+# into the interface file and spreading the -monly-3-regs virus.
+# We need -optC here because the driver before 3.02 didn't understand
+# the -funfolding flags.
+
+utils/PrimPacked_HC_OPTS = -fvia-C -monly-3-regs -optC-funfolding-interface-threshold10
+# Strictness analyser misbehaving in 2.10, fails to terminate on
+# UpdAnal.lhs due to weird recursive datatype. Bug was exposed by a
+# separate bugfix to the fixpoint finder.
+simplStg/UpdAnal_HC_OPTS = -fno-strictness
# ----------------------------------------------------------------------------
# C compilations
# ----------------------------------------------------------------------------
-# Parsers
+# Parsers/lexers
# Main parser uses Yacc/Bison
SRC_YACC_OPTS += -d -v
+# Suppress the generation of a default rule
+SRC_FLEX_OPTS += -s
#
# Want to keep the intermediate (included in src distribs).
parser/hschooks.o : parser/hschooks.c
@$(RM) $@
- $(HC) -c -o $@ $(HCFLAGS) parser/hschooks.c
+ $(HC) -c -o $@ -I$(GHC_INCLUDE_DIR) $(HC_OPTS) parser/hschooks.c
# Interface-file parser uses Happy
$(HAPPY) $(HAPPY_OPTS) -g rename/ParseIface.y
@chmod 444 rename/ParseIface.hs
-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
-
-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
-
#----------------------------------------------------------------------
#
# Building the stand-alone parser
$(CC) -o $@ $(CC_OPTS) $^
CLEAN_FILES += hsp
-#-----------------------------------------------------------------------------
-# Interface files
-
-# LoopHack.lhc is an SLPJ addition to fix a profiling problem. See comments
-# inside it. (compilation is handled by the suffix rules).
-
-#
-# Building the loop breakers from .lhi (0.2x) or .hi-boot (2.xx) files
-#
-ifeq "$(Ghc2_0)" "NO"
-hi-boot :: $(LOOPS)
-
-%.hi : %.lhi
- $(RM) $@
- $(UNLIT) $< $@ || ( $(RM) $@ && exit 1 )
- @chmod 444 $@
-
-boot :: hi-boot
-else
-# hi-boot not needed when using 2.04+ as HC, defining it here
-# to be consistent across setting of Ghc2_0
-hi-boot :
- @echo "Done."
-endif
#-----------------------------------------------------------------------------
# Linking
SRC_LD_OPTS += -no-link-chk
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+ifeq "$(GhcReportCompiles)" "YES"
+SRC_LD_OPTS += -syslib misc -syslib exts
+endif
+endif
+
#-----------------------------------------------------------------------------
# install
#-----------------------------------------------------------------------------
# depend
-# 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
-
#
# 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
-
+depend :: $(LOOPS) $(SRCS_UGNHS)
-ifeq "$(GhcWithHscBuiltViaC)" "YES"
-ifeq "$(Ghc2_0)" "NO"
-SRC_MKDEPENDHS_OPTS += -o hc
-else
-SRC_MKDEPENDHS_OPTS += -optdep-o -optdephc
-endif
-# 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) ?
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+depend :: rename/ParseIface.hs
endif
-
#-----------------------------------------------------------------------------
# clean
#-----------------------------------------------------------------------------
-# TAGS
+# TAGS setup
SRC_HSTAGS_OPTS += -fglasgow-exts -cpp
-
+TAGS_HS_SRCS=$(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs))
+TAGS_C_SRCS=$(strip $(foreach f,$(foreach dir,$(DIRS),$(wildcard $(dir)/*.c)),$(shell if [ -w $(f) ]; then echo $(f); else echo ''; fi)))
#-----------------------------------------------------------------------------
# Include target-rule boilerplate