[project @ 1999-06-18 13:09:36 by simonmar]
[ghc-hetmet.git] / ghc / compiler / Makefile
index 0583c86..47cd2d7 100644 (file)
@@ -1,12 +1,12 @@
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.12 1997/03/24 04:31:45 sof Exp $
+# $Id: Makefile,v 1.61 1999/06/18 13:09:36 simonmar Exp $
 
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
 
 #-----------------------------------------------------------------------------
 # Building hsc different ways (default is just `normal' sequential)
-override WAYS=$(GhcCompilerWays)
+WAYS=$(GhcCompilerWays)
 
 #-----------------------------------------------------------------------------
 #              Set SUBDIRS
@@ -17,11 +17,21 @@ endif
 
 # -----------------------------------------------------------------------------
 #              Set HS_PROG, LIBRARY
-# Setting HS_PROG and LIBRARY causes all targets in target.mk
-# (included below) to kick in.
 
-LIBRARY=libhsp.a
-HS_PROG=hsc
+# 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 
+# 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
+# equivalent of `env' if it doesn't exist locally).
+#
+HS_PROG=hsc$(_way)
+
+
+# -----------------------------------------------------------------------------
+#              Compilation history for Patrick
+
+# Make the sources first, because that's what the compilation history needs
+$(HS_PROG) :: $(HS_SRCS)
 
 
 # -----------------------------------------------------------------------------
@@ -34,170 +44,195 @@ HS_PROG=hsc
 DIRS = \
   utils basicTypes types hsSyn prelude rename typecheck deSugar coreSyn \
   specialise simplCore stranal stgSyn simplStg codeGen absCSyn main \
-  reader profiling parser
+  profiling parser usageSP cprAnalysis
 
 
-ifeq ($(GhcWithDeforester),YES)
-  DIRS += deforest
-endif
-
 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
-  else
-    DIRS += nativeGen
-  endif
+DIRS += nativeGen
 else
 SRC_HC_OPTS += -DOMIT_NATIVE_CODEGEN
 endif
 
 
-HS_SRCS = $(SRCS_UGNHS) \
-          $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
-         rename/ParseIface.hs rename/ParseType.hs rename/ParseUnfolding.hs \
-         main/LoopHack.hc 
+HS_SRCS = $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs))
 
-# 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.
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+HS_SRCS += rename/ParseIface.hs parser/Parser.hs
+endif
 
-LOOPS   = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
-HCS     = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
+HCS      = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
+
+# ParseIface.hs ain't part of HS_SRCS when this is on..
+ifeq "$(GhcWithHscBuiltViaC)" "YES"
+HCS      += rename/ParseIface.hc parser/Parser.hc
+endif
 
 HS_OBJS  = \
   $(patsubst %.hc, %.o, $(HCS)) \
-  parser/hsclink.o parser/hschooks.o libhsp.a
+  parser/ctypes.o parser/hschooks.o
 
 
-DESTDIR         = $(INSTALL_LIBRARY_DIR_GHC)
-
-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))
+DESTDIR       = $(INSTALL_LIBRARY_DIR_GHC)
 
 #
-# Add the generated C files to the C_SRCS, so as to let `depend'
-# generate correct dependencies for them.
+# Add misc .c helper code (used by the frontend.)
 #
-C_SRCS += $(SRCS_UGNC)
-
-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
+C_SRCS += parser/ctypes.c parser/hschooks.c
 
 #
+# Big Fudge to get around inherent problem that Makefile setup
+# has got with 'mkdependC'.
+# 
+SRC_MKDEPENDC_OPTS += -D__GLASGOW_HASKELL__=$(ProjectVersionInt)
+
 # 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 -syslib ghc \
-  -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
-  -InativeGen -Iparser $(foreach dir,$(DIRS),-i$(dir))
-
-# -syslib ghc just needed for utils/CharSeq.lhs use of PackedString.hPutPS
-
-
-SRC_CC_OPTS += -Iparser -I.
+# magic from GNU make manual to convert a list of values
+# into a colon-separated list
+empty:=
+space:= $(empty) $(empty)
 
-ifneq ($(Ghc2_0),NO)
-  SRC_HC_OPTS += -fomit-derived-read -fomit-reexported-instances
-endif
+SRC_HC_OPTS += \
+  -cpp -fglasgow-exts -Rghc-timing \
+  -I. -IcodeGen -InativeGen -Iparser \
+  -i$(subst $(space),:,$(DIRS))
 
-ifeq ($(GhcWithDeforester),NO)
-  SRC_HC_OPTS += -DOMIT_DEFORESTER
-endif
+SRC_CC_OPTS += -Iparser -I. -I$(TOP)/includes -O
 
-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
+codeGen/CgCase_HC_OPTS         = -fno-prune-tydecls
 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
+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 -K6m
 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"'
-prelude/PrimOp_HC_OPTS                 = -K3m
-reader/Lex_HC_OPTS             = -K2m -H16m
-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
+nativeGen/MachCode_HC_OPTS     = -H10m
+
+# Avoids Bug in 3.02, it seems
+usageSP/UsageSPInf_HC_OPTS     = -Onot
+
+prelude/PrimOp_HC_OPTS                 = -H12m -K3m
+parser/Lex_HC_OPTS             = -K2m -H16m -fvia-C
+
+# -dcore-lint is *temporary* to work around ghc space leak.
+rename/ParseIface_HC_OPTS      += -Onot -H45m -dcore-lint -fno-warn-incomplete-patterns -dcore-lint
+rename/ParseIface_HAPPY_OPTS    += -g
+
+parser/Parser_HC_OPTS          += -Onot -H64m -K2m -dcore-lint -fno-warn-incomplete-patterns -dcore-lint
+parser/Parser_HAPPY_OPTS       += -g
+
 ifeq "$(TARGETPLATFORM)" "hppa1.1-hp-hpux9"
 rename/RnMonad_HC_OPTS                 = -fvia-C -O2 -O2-for-C
-else
-rename/RnMonad_HC_OPTS                 = -fvia-C
 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
-typecheck/TcMonad_HC_OPTS      = -fvia-C
+simplCore/Simplify_HC_OPTS     = -H15m 
 typecheck/TcGenDeriv_HC_OPTS   = -H10m
-typecheck/TcExpr_HC_OPTS       = -H10m
+
+# tmp, -- SDM
+specialise/Specialise_HC_OPTS  += -fno-prune-tydecls
+hsSyn/HsBasic_HC_OPTS          += -fno-prune-tydecls
+simplCore/SimplMonad_HC_OPTS   += -fno-prune-tydecls
+absCSyn/AbsCSyn_HC_OPTS                += -fno-prune-tydecls
+absCSyn/AbsCUtils_HC_OPTS      += -fno-prune-tydecls
+codeGen/CgBindery_HC_OPTS      += -fno-prune-tydecls
+codeGen/CgLetNoEscape_HC_OPTS  += -fno-prune-tydecls
+codeGen/CgExpr_HC_OPTS         += -fno-prune-tydecls
+nativeGen/AbsCStixGen_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
 utils/Argv_HC_OPTS             = -fvia-C
-utils/CharSeq_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
 
-# ----------------------------------------------------------------------------
-#              C compilations
+# 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.
 
-SRC_C_OPTS     += -O -Iparser -I. -IcodeGen
+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
 
 # ----------------------------------------------------------------------------
-#              Parsers
+#              C compilations
 
-# Main parser uses Yacc/Bison
-SRC_YACC_OPTS  += -d -v
+SRC_C_OPTS     += -O -I. -IcodeGen
 
-#
-# Want to keep the intermediate (included in src distribs).
-#
-.PRECIOUS: parser/%.tab.c parser/hslexer.c
+
+# ----------------------------------------------------------------------------
+#              Parsers/lexers
 
 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
@@ -208,55 +243,21 @@ rename/ParseIface.hs : rename/ParseIface.y
        $(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
-#
-all :: hsp
-
-hsp: parser/printtree.o parser/main.o libhsp.a 
-       $(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 files
-#
-ifeq ($(Ghc2_0),YES)
-  %.hi : %_1_3.lhi
-       $(RM) $@
-       $(UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
-else
-  %.hi : %.lhi
-       $(RM) $@
-       $(UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
-endif
+parser/Parser.hs : parser/Parser.y
+       @$(RM) parser/Parser.hs parser/ParseIface.hinfo
+       $(HAPPY) $(HAPPY_OPTS) -g parser/Parser.y
+       @chmod 444 parser/Parser.hs
 
 #-----------------------------------------------------------------------------
 #              Linking
 
 SRC_LD_OPTS += -no-link-chk
 
-# Build-specific
-#SRC_LD_OPTS += "-pgml time gcc -B/projects/unsupported/gnu/sparc-sunos5/bin/g"
-
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+ifeq "$(GhcReportCompiles)" "YES"
+SRC_LD_OPTS += -syslib misc -syslib exts
+endif
+endif
 
 #-----------------------------------------------------------------------------
 #              install
@@ -265,83 +266,40 @@ SRC_LD_OPTS += -no-link-chk
 # but put it together with the libraries.
 # Also don't want any interface files intstalled
 
-INSTALL_LIBEXECS += hsc hsp
+INSTALL_LIBEXECS += hsc
 
 #-----------------------------------------------------------------------------
 #              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
-
-ifeq ($(GhcWithDeforester),NO)
-  SRC_MKDEPENDHS_OPTS += -DOMIT_DEFORESTER
-endif
-
-ifeq ($(Ghc2_0),YES)
-SRC_MKDEPENDHS_OPTS += $(SRC_HC_OPTS)
-endif
+depend :: $(LOOPS)
 
-ifeq ($(GhcWithHscBuiltViaC),YES)
-  SRC_MKDEPENDHS_OPTS += -o .hc
-else
-  SRCS_MKDEPENDHS = $(SRCS_HC) # should add $(LOOPS) ?
+ifneq "$(GhcWithHscBuiltViaC)" "YES"
+depend :: rename/ParseIface.hs
 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
+CLEAN_FILES += $(wildcard */*.$(way_)o */*.$(way_)hi)
 
 # Extra tidy, remove the .hc files (if you've got them).
 MAINTAINER_CLEAN_FILES += $(wildcard */*.hc)
 
 
 #-----------------------------------------------------------------------------
-#              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
 
 include $(TOP)/mk/target.mk
 
-#
-# Special extra dependencies for yukky ugen stuff
-#
+parser/%.o : parser/%.c
 
-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