[project @ 1997-03-14 07:52:06 by simonpj]
[ghc-hetmet.git] / ghc / compiler / Makefile
index dcf0681..b0b54d0 100644 (file)
 # -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.7 1997/01/17 00:32:23 simonpj Exp $
+# $Id: Makefile,v 1.8 1997/03/14 07:55:43 simonpj 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
+TOP = ..
+include $(TOP)/mk/boilerplate.mk
 
 #-----------------------------------------------------------------------------
-# make libhsp.a
-
-YFLAGS = -d -v
-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
-
-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
-
-parser/%.o : parser/%.c $(UGNH)
-       @$(RM) $@
-       $(CC) $(CFLAGS) -c $< -o $@
-
-clean ::
-       $(RM) parser/hslexer.c parser/hsparser.tab.h parser/hsparser.tab.c
-
-parser/hslexer.o : parser/hslexer.c parser/hsparser.tab.h
-
-include $(TOP)/mk/lib.mk
+# Building hsc different ways (default is just `normal' sequential)
+WAYS=$(GhcCompilerWays)
 
 #-----------------------------------------------------------------------------
+#              Set SUBDIRS
 
 ifeq ($(IncludeTestDirsInBuild),YES)
   SUBDIRS = tests
 endif
 
-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
+# -----------------------------------------------------------------------------
+#              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
+
+
+# -----------------------------------------------------------------------------
+#              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
-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
+else
+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 \
-  main/LoopHack.hc
+HS_SRCS = $(SRCS_UGNHS) \
+          $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
+         rename/ParseIface.hs rename/ParseType.hs rename/ParseUnfolding.hs \
+         main/LoopHack.hc 
 
-# LoopHack.lhc is an SLPJ addition to fix a profiling problem.  See comments
-# inside it.
+# 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.
 
-LOOPS = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
-HCS = $(patsubst %.hs, %.hc, $(patsubst %.lhs, %.hc, $(SRCS)))
-OBJS = \
-  $(patsubst %.hc, %.o, $(HCS)) rename/ParseIface.o \
-  parser/hsclink.o parser/hschooks.o libhsp.a \
-  main/LoopHack.o
+LOOPS   = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
+HCS     = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
 
-main/LoopHack.hc : main/LoopHack.lhc
-       $(RM) $@
-       $(GHC_UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
-       @chmod 444 $@
+HS_OBJS  = \
+  $(patsubst %.hc, %.o, $(HCS)) \
+  parser/hsclink.o parser/hschooks.o libhsp.a
+
+
+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))
+
+#
+# Add the generated C files to the C_SRCS, so as to let `depend'
+# generate correct dependencies for them.
+#
+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
 
-main/LoopHack.o : main/LoopHack.hc
-       $(HC) -v -c $(HC_OPTS) $<  
+#
+# 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
 
 # -----------------------------------------------------------------------------
-# options for the Haskell compiler
+#              Haskell compilations
 
-MAKEFLAGS += --no-builtin-rules
+# Compiler to use for building hsc
+#
+HC=$(WithGhcHc)
 
-HC_OPTS += \
-  -cpp $(HcMaxHeapFlag) $(HcMaxStackFlag) -fhaskell-1.3 \
+SRC_HC_OPTS += \
+  -cpp -fhaskell-1.3 -syslib ghc \
   -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
-  -InativeGen -Iparser $(INCLUDEDIRS)
+  -InativeGen -Iparser $(foreach dir,$(DIRS),-i$(dir))
 
-# expect 12 shift/reduce conflicts and 0 reduce/reduce conflicts
+# -syslib ghc just needed for utils/CharSeq.lhs use of PackedString.hPutPS
 
-ifeq ($(GhcWithHscDebug),YES)
-  HC_OPTS += -DDEBUG
-  CFLAGS += -DDEBUG
-endif
 
-ifneq ($(Ghc2_0),YES)
-  HC_OPTS += -fomit-derived-read -fomit-reexported-instances
-endif
+SRC_CC_OPTS += -Iparser -I.
 
-ifeq ($(GhcWithHscOptimised),YES)
-  HC_OPTS += -O -fshow-import-specs
+ifneq ($(Ghc2_0),NO)
+  SRC_HC_OPTS += -fomit-derived-read -fomit-reexported-instances
 endif
 
 ifeq ($(GhcWithDeforester),NO)
-  HC_OPTS += -DOMIT_DEFORESTER
+  SRC_HC_OPTS += -DOMIT_DEFORESTER
+endif
+
+SRC_HC_OPTS += $(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
+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
+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
+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 "$(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/RnNames_HC_OPTS         = -H12m
+specialise/Specialise_HC_OPTS  = -Onot -H12m
+stgSyn/StgSyn_HC_OPTS          = -fno-omit-reexported-instances
+typecheck/TcMonad_HC_OPTS      = -fvia-C
+typecheck/TcGenDeriv_HC_OPTS   = -H10m
+typecheck/TcExpr_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
+
+
+# ----------------------------------------------------------------------------
+#              C compilations
+
+SRC_C_OPTS     += -O -Iparser -I. -IcodeGen
+
 
 # ----------------------------------------------------------------------------
+#              Parsers
 
-all :: hsc libhsp.a
+# Main parser uses Yacc/Bison
+SRC_YACC_OPTS  += -d -v
 
-hsc : $(OBJS)
-#      $(HC) -no-link-chk "-pgml time /projects/pacsoft/ghc/src/pureatria/purelink-1.2.2-solaris2/purelink gcc" $(HC_OPTS) $(EXTRA_HC_OPTS) -o $@ $^
-       $(HC) -no-link-chk "-pgml time gcc -B/projects/unsupported/gnu/sparc-sunos5/bin/g" $(HC_OPTS)  $(EXTRA_HC_OPTS) -o $@ $^
-#      $(HC) -no-link-chk "-pgml time gcc" $(HC_OPTS)  $(EXTRA_HC_OPTS) -o $@ $^
+#
+# Want to keep the intermediate (included in src distribs).
+#
+.PRECIOUS: parser/%.tab.c 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 +RTS -K2m -H10m -RTS -g rename/ParseIface.y
+       $(HAPPY) $(HAPPY_OPTS) -g rename/ParseIface.y
        @chmod 444 rename/ParseIface.hs
 
-# ----------------------------------------------------------------------------
-# Special extra dependencies for yukky ugen stuff
+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
 
-hspincl.h : $(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
-reader/ReadPrefix.o : parser/hspincl.h
+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
 
-# ----------------------------------------------------------------------------
-# 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) $^
+
+#-----------------------------------------------------------------------------
+#              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
+
+#-----------------------------------------------------------------------------
+#              Linking
+
+SRC_LD_OPTS += -no-link-chk
+
+# Build-specific
+#SRC_LD_OPTS += "-pgml time gcc -B/projects/unsupported/gnu/sparc-sunos5/bin/g"
+
+
+#-----------------------------------------------------------------------------
+#              install
+
+# 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
 
 #-----------------------------------------------------------------------------
-# make depend, clean, tags and 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
 
-depend :: $(LOOPS)
+#
+# 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
 
-MKDEPENDHSFLAGS = -f .depend -I../includes -x HsVersions.h
 ifeq ($(GhcWithDeforester),NO)
-  MKDEPENDHSFLAGS += -DOMIT_DEFORESTER
+  SRC_MKDEPENDHS_OPTS += -DOMIT_DEFORESTER
+endif
+
+ifeq ($(Ghc2_0),YES)
+SRC_MKDEPENDHS_OPTS += $(SRC_HC_OPTS)
 endif
 
 ifeq ($(GhcWithHscBuiltViaC),YES)
-  MKDEPENDHSFLAGS += -o .hc
+  SRC_MKDEPENDHS_OPTS += -o .hc
 else
-  HS_DEP_SRCS = $(SRCS) # should add $(LOOPS) ?
-  include $(TOP)/mk/hsdepend.mk
+  SRCS_MKDEPENDHS = $(SRCS_HC) # should add $(LOOPS) ?
 endif
 
-clean ::
-       $(RM) */*.o */*.hi $(UGNC) $(UGNH) $(UGNHS)
-       $(RM) rename/ParseIface.hs
 
-veryclean ::
-       $(RM) */*.hc
+#-----------------------------------------------------------------------------
+#              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)
+
+
+#-----------------------------------------------------------------------------
+#              TAGS
+
+SRC_HSTAGS_OPTS += -fglasgow-exts -cpp
+
+
+#-----------------------------------------------------------------------------
+#              Include target-rule boilerplate
+
+include $(TOP)/mk/target.mk
+
+#
+# Special extra dependencies for yukky ugen stuff
+#
 
-tags ::
-       @$(RM) TAGS
-       @touch TAGS
-       $(HSTAGS) -I../includes $(HSTAGSFLAGS) $(SRCS)
+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