[project @ 1998-04-16 10:03:50 by sof]
[ghc-hetmet.git] / ghc / compiler / Makefile
index caa6894..0bb394c 100644 (file)
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.3 1996/11/22 13:33:29 simonm Exp $
-
-TOP = ../..
-FlexSuffixRules = YES
-YaccSuffixRules = YES
-SuffixRule_WantStdOnes = NO
-include $(TOP)/ghc/mk/ghc.mk
-
-# Problem: don't know whether GhcWithHscBuiltViaC until now, so we have
-# to re-include rules.mk to get the correct suffix rules.
-
-FlexSuffixRules =
-YaccSuffixRules =
-ifeq ($(GhcWithHscBuiltViaC),YES)
-  HC = $(GHC)
-  SuffixRule_hc_o = YES
-else
-  HaskellSuffixRules = YES
-endif
-include $(TOP)/mk/rules.mk
+# $Id: Makefile,v 1.38 1998/04/16 10:04:12 sof Exp $
+
+TOP = ..
+include $(TOP)/mk/boilerplate.mk
 
 #-----------------------------------------------------------------------------
-# make libhsp.a
-
-YFLAGS = -d
-CFLAGS = -Iparser -I. -IcodeGen
-ARCHIVE = libhsp.a
-DESTDIR =  $(INSTLIBDIR_GHC)
-UGN = $(wildcard parser/*.ugn)
-UGNC = $(patsubst %.ugn, %.c, $(UGN))
-UGNH = $(patsubst %.ugn, %.h, $(UGN))
-UGNHS = $(patsubst parser/%.ugn, parser/U_%.hs, $(UGN))
-LIBOBJS = \
-  $(patsubst %.c, %.o, $(UGNC)) parser/hslexer.o parser/hsparser.tab.o \
-  parser/id.o parser/infix.o parser/syntax.o parser/type2context.o \
-  parser/util.o
+# Building hsc different ways (default is just `normal' sequential)
+WAYS=$(GhcCompilerWays)
 
-parser/%.h parser/%.c parser/U_%.hs : parser/%.ugn
-       @$(RM) $@ parser/$*.hs parser/U_$*.hs parser/$*.h
-       $(UGEN) $< || $(RM) parser/$*.h parser/$*.hs
-       @$(MV) -f parser/$*.hs parser/U_$*.hs
-       @chmod 444 parser/$*.h parser/U_$*.hs
+#-----------------------------------------------------------------------------
+#              Set SUBDIRS
 
-parser/%.o : parser/%.c $(UGNH)
-       @$(RM) $@
-       $(CC) $(CFLAGS) -c $< -o $@
+ifeq ($(IncludeTestDirsInBuild),YES)
+  SUBDIRS = tests
+endif
 
-clean ::
-       $(RM) parser/hslexer.c parser/hsparser.tab.h parser/hsparser.tab.c
+# -----------------------------------------------------------------------------
+#              Set HS_PROG, LIBRARY
+# Setting HS_PROG and LIBRARY causes all targets in target.mk
+# (included below) to kick in.
 
-parser/hslexer.o : parser/hslexer.c parser/hsparser.tab.h
+LIBRARY=libhsp.a
 
-include $(TOP)/mk/lib.mk
+#
+# 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
 
-#-----------------------------------------------------------------------------
 
-ifeq ($(IncludeTestDirsInBuild),YES)
-  SUBDIRS = tests
-endif
+# -----------------------------------------------------------------------------
+#              Compilation history for Patrick
 
-ifeq ($(Ghc2_0),YES)
-  %.hi : %_1_3.lhi
-       $(RM) $@
-       $(GHC_UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
-else
-  %.hi : %.lhi
-       $(RM) $@
-       $(GHC_UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
-endif
+# Make the sources first, because that's what the compilation history needs
+$(HS_PROG) :: $(HS_SRCS)
+
+
+# -----------------------------------------------------------------------------
+#              Set SRCS, LOOPS, HCS, OBJS
+#
+# First figure out DIRS, the source sub-directories
+# Then derive SRCS by looking in them
+#
 
 DIRS = \
   utils basicTypes types hsSyn prelude rename typecheck deSugar coreSyn \
   specialise simplCore stranal stgSyn simplStg codeGen absCSyn main \
   reader profiling parser
 
-# -----------------------------------------------------------------------------
-# optional directories
-
-ifeq ($(GhcWithDeforester),YES)
-  DIRS += deforest
-endif
 
 ifeq ($(GhcWithNativeCodeGen),YES)
-  DIRS += nativeGen
+DIRS += nativeGen
 else
-  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
+SRC_HC_OPTS += -DOMIT_NATIVE_CODEGEN
 endif
 
-# -----------------------------------------------------------------------------
-# wildcard to get the lists of sources/objects
-
-INCLUDEDIRS = $(foreach dir,$(DIRS),-i$(dir))
-SRCS = \
-  $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
-  $(UGNHS) rename/ParseIface.hs
-LOOPS = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
-HCS = $(patsubst %.hs, %.hc, $(patsubst %.lhs, %.hc, $(SRCS)))
-OBJS = \
-  $(patsubst %.hc, %.o, $(HCS)) rename/ParseIface.o \
+
+HS_SRCS = $(SRCS_UGNHS) \
+          $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
+         rename/ParseIface.hs
+
+# 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)))
+
+
+HS_OBJS  = \
+  $(patsubst %.hc, %.o, $(HCS)) \
   parser/hsclink.o parser/hschooks.o libhsp.a
 
-# -----------------------------------------------------------------------------
-# options for the Haskell compiler
 
-MAKEFLAGS += --no-builtin-rules
+DESTDIR       = $(INSTALL_LIBRARY_DIR_GHC)
 
-HC_OPTS += \
-  -cpp $(HcMaxHeapFlag) $(HcMaxStackFlag) -fhaskell-1.3 \
-  -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
-  -InativeGen -Iparser $(INCLUDEDIRS)
+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))
 
-# expect 12 shift/reduce conflicts and 0 reduce/reduce conflicts
+#
+# Add the generated C files to the C_SRCS, so as to let `depend'
+# generate correct dependencies for them.
+#
+C_SRCS += $(SRCS_UGNC)
 
-ifeq ($(GhcWithHscDebug),YES)
-  HC_OPTS += -DDEBUG
-  CFLAGS += -DDEBUG
-endif
+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
 
-ifneq ($(Ghc2_0),YES)
-  HC_OPTS += -fomit-derived-read -fomit-reexported-instances
-endif
+#
+# stuff you get for free in a source distribution
+# 
+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
 
-ifeq ($(GhcWithHscOptimised),YES)
-  HC_OPTS += -O -fshow-import-specs
+# -----------------------------------------------------------------------------
+#              Haskell compilations
+
+#
+# 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
 
-ifeq ($(GhcWithDeforester),NO)
-  HC_OPTS += -DOMIT_DEFORESTER
+# 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))
+
+SRC_CC_OPTS += -Iparser -I. -I$(TOP)/includes -O
+
+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/CStrings_HC_OPTS       = -monly-3-regs
+
+# Was 6m with 2.10
+absCSyn/PprAbsC_HC_OPTS        = -H10m
+
+basicTypes/IdInfo_HC_OPTS      = -K2m
+hsSyn/HsExpr_HC_OPTS           = -K2m
+main/Main_HC_OPTS              = -fvia-C -DPROJECTVERSION=$(GhcProjectVersion)
+main/MkIface_HC_OPTS            = -DPROJECTVERSION=$(GhcProjectVersionInt)
+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_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          = -H12m -fvia-C '-\#include"hspincl.h"'
+parser/U_ttype_HC_OPTS                 = -fvia-C '-\#include"hspincl.h"'
+prelude/PrimOp_HC_OPTS                 = -H12m -K3m
+reader/Lex_HC_OPTS             = -K2m -H16m -fvia-C -DPROJECTVERSION=$(GhcProjectVersionInt)
+
+# 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
 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
+typecheck/TcGenDeriv_HC_OPTS   = -H10m
+
+# Was 10m for 2.10
+typecheck/TcHsSyn_HC_OPTS      = -H15m 
+
+# Was 10m for 2.10
+typecheck/TcExpr_HC_OPTS       = -H15m
+
+typecheck/TcEnv_HC_OPTS                = -H10m
+utils/Argv_HC_OPTS             = -fvia-C -monly-3-regs
+utils/SST_HC_OPTS              = -fvia-C
+utils/PrimPacked_HC_OPTS       = -fvia-C -monly-3-regs
+utils/FastString_HC_OPTS       = -fvia-C -monly-3-regs
+utils/StringBuffer_HC_OPTS     = -fvia-C -fno-prune-tydecls
+utils/Digraph_HC_OPTS          = -fglasgow-exts -fvia-C
+utils/Outputable_HC_OPTS       = -monly-3-regs
+
+# 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
+
+SRC_C_OPTS     += -O -Iparser -I. -IcodeGen
+
 
 # ----------------------------------------------------------------------------
+#              Parsers/lexers
 
-all :: hsc libhsp.a
+# Main parser uses Yacc/Bison
+SRC_YACC_OPTS  += -d -v
+# Suppress the generation of a default rule
+SRC_FLEX_OPTS += -s
 
-hsc : $(OBJS)
-       $(HC) $(HC_OPTS) -o $@ $^
+#
+# Want to keep the intermediate (included in src distribs).
+#
+.PRECIOUS: %.tab.c %.tab.h parser/hslexer.c
 
 parser/hschooks.o : parser/hschooks.c
        @$(RM) $@
        $(HC) -c -o $@ $(HCFLAGS) parser/hschooks.c
 
+
+# Interface-file parser uses Happy
+SRC_HAPPY_OPTS += +RTS -K2m -H10m -RTS
+
 rename/ParseIface.hs : rename/ParseIface.y
        @$(RM) rename/ParseIface.hs rename/ParseIface.hinfo
-       happy -g rename/ParseIface.y
+       $(HAPPY) $(HAPPY_OPTS) -g rename/ParseIface.y
        @chmod 444 rename/ParseIface.hs
 
-# ----------------------------------------------------------------------------
-# Special flags for particular modules
-
-absCSyn/AbsCSyn_flags          = -fno-omit-reexported-instances
-hsSyn/HsExpr_flags             = -K2m
-hsSyn/HsSyn_flags              = -fno-omit-reexported-instances
-main/Main_flags                = -fvia-C
-basicTypes/IdInfo_flags        = -K2m
-main/CmdLineOpts_flags                 = -fvia-C
-coreSyn/AnnCoreSyn_flags       = -fno-omit-reexported-instances
-nativeGen/PprMach_flags        = -K2m
-parser/UgenAll_flags           = -fvia-C '-\#include"hspincl.h"'
-parser/UgenUtil_flags          = -fvia-C '-\#include"hspincl.h"'
-parser/U_constr_flags          = -fvia-C '-\#include"hspincl.h"'
-parser/U_binding_flags                 = -fvia-C '-\#include"hspincl.h"'
-parser/U_pbinding_flags        = -fvia-C '-\#include"hspincl.h"'
-parser/U_entidt_flags          = -fvia-C '-\#include"hspincl.h"'
-parser/U_list_flags            = -fvia-C '-\#include"hspincl.h"'
-parser/U_literal_flags                 = -fvia-C '-\#include"hspincl.h"'
-parser/U_maybe_flags           = -fvia-C '-\#include"hspincl.h"'
-parser/U_either_flags          = -fvia-C '-\#include"hspincl.h"'
-parser/U_qid_flags             = -fvia-C '-\#include"hspincl.h"'
-parser/U_tree_flags            = -fvia-C '-\#include"hspincl.h"'
-parser/U_ttype_flags           = -fvia-C '-\#include"hspincl.h"'
-prelude/PrimOp_flags           = -K3m
-reader/ReadPrefix_flags        = -fvia-C '-\#include"hspincl.h"'
-rename/ParseIface_flags        = -Onot -H16m
-rename/RnMonad_flags           = -fvia-C
-rename/RnSource_flags          = -H12m
-rename/RnIfaces_flags          = -H8m
-rename/RnNames_flags           = -H12m
-specialise/Specialise_flags    = -Onot -H12m
-stgSyn/StgSyn_flags            = -fno-omit-reexported-instances
-typecheck/TcMonad_flags        = -fvia-C
-typecheck/TcGenDeriv_flags     = -H10m
-typecheck/TcExpr_flags         = -H10m
-utils/Argv_flags               = -fvia-C
-utils/CharSeq_flags            = -fvia-C
-utils/SST_flags                = -fvia-C
+#----------------------------------------------------------------------
+#
+# Building the stand-alone parser
+#
+all :: hsp
+
+hsp: parser/printtree.o parser/main.o libhsp.a 
+       $(CC) -o $@ $(CC_OPTS) $^
+
+CLEAN_FILES += hsp
 
 #-----------------------------------------------------------------------------
-# make depend, clean, tags and install
+#              Linking
 
-depend :: $(LOOPS)
+SRC_LD_OPTS += -no-link-chk
 
-MKDEPENDHSFLAGS = -f .depend -I../includes -x HsVersions.h
-ifeq ($(GhcWithDeforester),NO)
-  MKDEPENDHSFLAGS += -DOMIT_DEFORESTER
-endif
+#-----------------------------------------------------------------------------
+#              install
 
-ifeq ($(GhcWithHscBuiltViaC),YES)
-  MKDEPENDHSFLAGS += -o .hc
-else
-  HS_DEP_SRCS = $(SRCS) # should add $(LOOPS) ?
-  include $(TOP)/mk/hsdepend.mk
-endif
+# 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
+
+INSTALL_LIBEXECS += hsc hsp
 
-clean ::
-       $(RM) */*.o */*.hi $(UGNC) $(UGNH) $(UGNHS)
-       $(RM) rename/ParseIface.hs
+#-----------------------------------------------------------------------------
+#              depend
 
-veryclean ::
-       $(RM) */*.hc
+#
+# Before doing `make depend', need to build all derived Haskell source files
+#
+depend :: $(LOOPS) $(SRCS_UGNHS) rename/ParseIface.hs
+
+#-----------------------------------------------------------------------------
+#              clean
 
-tags ::
-       @$(RM) TAGS
-       @touch TAGS
-       $(HSTAGS) -I../includes $(HSTAGSFLAGS) $(SRCS)
+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)
+
+
+#-----------------------------------------------------------------------------
+#              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 $(SRCS_UGNH)
+parser/hslexer.o : parser/hslexer.c parser/hsparser.tab.h
 
-install ::
-       $(INSTALL) $(INSTBINFLAGS) hsc $(INSTLIBDIR_GHC)
+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