ghc/compiler/Makefile

   1 # -----------------------------------------------------------------------------
   2
   3 TOP = ..
   4 include $(TOP)/mk/boilerplate.mk
   5
   6 #-----------------------------------------------------------------------------
   7 # Building hsc different ways (default is just `normal' sequential)
   8 override WAYS=$(GhcCompilerWays)
   9
  10 #-----------------------------------------------------------------------------
  11 #               Set SUBDIRS
  12
  13 ifeq ($(IncludeTestDirsInBuild),YES)
  14   SUBDIRS = tests
  15 endif
  16
  17 # -----------------------------------------------------------------------------
  18 #               Set HS_PROG, LIBRARY
  19 # Setting HS_PROG and LIBRARY causes all targets in target.mk
  20 # (included below) to kick in.
  21
  22 LIBRARY=libhsp.a
  23
  24 #
  25 # Note: there have been reports of people running up against the ARG_MAX limit
  26 # when linking hsc with all its constituent object files. The likely source of
  27 # the problem is that the environment is a bit too big, so a workaround could
  28 # be to do ` env PATH=$(PATH) make hsc 'to minimise the environment. (or the
  29 # equivalent of `env' if it doesn't exist locally).
  30 #
  31 HS_PROG=hsc
  32
  33
  34 # -----------------------------------------------------------------------------
  35 #               Set SRCS, LOOPS, HCS, OBJS
  36 #
  37 # First figure out DIRS, the source sub-directories
  38 # Then derive SRCS by looking in them
  39 #
  40
  41 DIRS = \
  42   utils basicTypes types hsSyn prelude rename typecheck deSugar coreSyn \
  43   specialise simplCore stranal stgSyn simplStg codeGen absCSyn main \
  44   reader profiling parser
  45
  46
  47 ifeq ($(GhcWithDeforester),YES)
  48   DIRS += deforest
  49 endif
  50
  51 ifeq ($(GhcWithNativeCodeGen),YES)
  52   ifeq ($(GhcWithHscBuiltViaC),YES)
  53     # If building via C, we *assume* that it is the distributed C files,
  54     # which do not have a native-code generator in them
  55     SRC_MKDEPENDHS_OPTS += -DOMIT_NATIVE_CODEGEN
  56   else
  57     DIRS += nativeGen
  58   endif
  59 else
  60 SRC_HC_OPTS += -DOMIT_NATIVE_CODEGEN
  61 endif
  62
  63
  64 HS_SRCS = $(SRCS_UGNHS) \
  65           $(foreach dir,$(DIRS),$(wildcard $(dir)/*.lhs)) \
  66           rename/ParseIface.hs rename/ParseType.hs rename/ParseUnfolding.hs \
  67           main/LoopHack.hc
  68
  69 # NB: it's no good to include *.hs in the top-line wildcard, because the .hs files
  70 #     in parser/ may not have been created at that point.
  71
  72
  73 HCS      = $(patsubst %.lhs, %.hc, $(patsubst %.hs, %.hc, $(HS_SRCS)))
  74
  75 #
  76 # When booting using a ghc-2.xx compiler, the loop breakers are actually written in
  77 # Haskell, source stubs just re-exporting info from the various .hi-boot files.
  78 # (Reason: we don't want to fiddle with the imports in the sources). We give them
  79 # the suffix .hs, since they're special and don't fall under the umbrella of $(HS_SRCS)
  80 # always (only when $(Ghc2_0) is equal to YES)
  81 ifeq "$(Ghc2_0)" "YES"
  82 LOOPS_HS  = $(wildcard */*Loop*.hs)
  83 MKDEPENDHS_SRCS = $(HS_SRCS)
  84 #HS_SRCS  += $(LOOPS_HS)
  85 else
  86 LOOPS   = $(patsubst %.lhi, %.hi, $(wildcard */*.lhi))
  87 endif
  88
  89 HS_OBJS  = \
  90   $(patsubst %.hc, %.o, $(HCS)) \
  91   parser/hsclink.o parser/hschooks.o libhsp.a
  92
  93
  94 DESTDIR         = $(INSTALL_LIBRARY_DIR_GHC)
  95
  96 SRCS_UGN      = $(wildcard parser/*.ugn)
  97 SRCS_UGNC     = $(patsubst %.ugn, %.c, $(SRCS_UGN))
  98 SRCS_UGNH     = $(patsubst %.ugn, %.h, $(SRCS_UGN))
  99 SRCS_UGNHS    = $(patsubst parser/%.ugn, parser/U_%.hs, $(SRCS_UGN))
 100 SRCS_UGN_OBJS = $(patsubst %.c, %.o, $(SRCS_UGNC))
 101
 102 #
 103 # Add the generated C files to the C_SRCS, so as to let `depend'
 104 # generate correct dependencies for them.
 105 #
 106 C_SRCS += $(SRCS_UGNC)
 107
 108 LIBOBJS = \
 109   $(SRCS_UGN_OBJS) parser/hslexer.o parser/hsparser.tab.o \
 110   parser/id.o parser/infix.o parser/syntax.o parser/type2context.o \
 111   parser/util.o
 112
 113 #
 114 # stuff you get for free in a source distribution
 115 #
 116 SRC_DIST_FILES += rename/ParseIface.hs \
 117  rename/ParseType.hs rename/ParseUnfolding.hs \
 118  parser/U_tree.c parser/tree.h parser/tree.c \
 119  parser/hsparser.tab.c parser/hsparser.tab.h \
 120  parser/hslexer.c
 121
 122 # -----------------------------------------------------------------------------
 123 #               Haskell compilations
 124
 125 # Compiler to use for building hsc
 126 #
 127 HC=$(WithGhcHc)
 128
 129 SRC_HC_OPTS += \
 130   -cpp -fhaskell-1.3 \
 131   -fglasgow-exts -DCOMPILING_GHC -Rghc-timing -I. -IcodeGen \
 132   -InativeGen -Iparser $(foreach dir,$(DIRS),-i$(dir))
 133
 134 # -syslib ghc just needed for use of PackedString.hPutPS
 135
 136
 137 SRC_CC_OPTS += -Iparser -I.
 138
 139 ifeq "$(Ghc2_0)" "NO"
 140 SRC_HC_OPTS += -fomit-derived-read -fomit-reexported-instances
 141 else
 142 # Recompilation checking - unconditionally so (ToDo: move to mk/config.mk.in)
 143 SRC_HC_OPTS += -recomp
 144 endif
 145
 146 ifeq ($(GhcWithDeforester),NO)
 147 ifeq "$(Ghc2_0)" "NO"
 148   SRC_MKDEPENDHS_OPTS += -DOMIT_DEFORESTER
 149 endif
 150 SRC_HC_OPTS += -DOMIT_DEFORESTER
 151 endif
 152
 153 SRC_HC_OPTS += $(GhcHcOpts)
 154
 155 #       Special flags for particular modules
 156 #       The standard suffix rule for compiling a Haskell file
 157 #       adds these flags to the command line
 158
 159 absCSyn/AbsCSyn_HC_OPTS         = -fno-omit-reexported-instances
 160 basicTypes/IdInfo_HC_OPTS       = -K2m
 161 coreSyn/AnnCoreSyn_HC_OPTS      = -fno-omit-reexported-instances
 162 hsSyn/HsExpr_HC_OPTS            = -K2m
 163 hsSyn/HsSyn_HC_OPTS             = -fno-omit-reexported-instances
 164 main/Main_HC_OPTS               = -fvia-C
 165 main/CmdLineOpts_HC_OPTS        = -fvia-C
 166 nativeGen/PprMach_HC_OPTS       = -K2m
 167 nativeGen/MachMisc_HC_OPTS      = -K2m -fvia-C
 168 parser/UgenAll_HC_OPTS          = -fvia-C '-\#include"hspincl.h"'
 169 parser/UgenUtil_HC_OPTS         = -fvia-C '-\#include"hspincl.h"'
 170 parser/U_constr_HC_OPTS         = -fvia-C '-\#include"hspincl.h"'
 171 parser/U_binding_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
 172 parser/U_pbinding_HC_OPTS       = -fvia-C '-\#include"hspincl.h"'
 173 parser/U_entidt_HC_OPTS         = -fvia-C '-\#include"hspincl.h"'
 174 parser/U_list_HC_OPTS           = -fvia-C '-\#include"hspincl.h"'
 175 parser/U_literal_HC_OPTS        = -fvia-C '-\#include"hspincl.h"'
 176 parser/U_maybe_HC_OPTS          = -fvia-C '-\#include"hspincl.h"'
 177 parser/U_either_HC_OPTS         = -fvia-C '-\#include"hspincl.h"'
 178 parser/U_qid_HC_OPTS            = -fvia-C '-\#include"hspincl.h"'
 179 parser/U_tree_HC_OPTS           = -fvia-C '-\#include"hspincl.h"'
 180 parser/U_ttype_HC_OPTS          = -fvia-C '-\#include"hspincl.h"'
 181 prelude/PrimOp_HC_OPTS          = -K3m
 182 reader/Lex_HC_OPTS              = -K2m -H16m -fvia-C
 183 ifeq "$(Ghc2_0)" "NO"
 184 reader/Lex_HC_OPTS              += -fomit-derived-read
 185 endif
 186 reader/ReadPrefix_HC_OPTS       = -fvia-C '-\#include"hspincl.h"'
 187 rename/ParseIface_HC_OPTS       = -Onot -H16m
 188 rename/ParseType_HC_OPTS        = -Onot -H16m
 189 rename/ParseUnfolding_HC_OPTS   = -Onot -H16m
 190 ifeq "$(TARGETPLATFORM)" "hppa1.1-hp-hpux9"
 191 rename/RnMonad_HC_OPTS          = -fvia-C -O2 -O2-for-C
 192 else
 193 rename/RnMonad_HC_OPTS          = -fvia-C
 194 endif
 195 rename/RnEnv_HC_OPTS            = -fvia-C
 196 rename/RnSource_HC_OPTS         = -H12m
 197 rename/RnIfaces_HC_OPTS         = -H8m -fvia-C
 198 rename/RnNames_HC_OPTS          = -H12m
 199 specialise/Specialise_HC_OPTS   = -Onot -H12m
 200 stgSyn/StgSyn_HC_OPTS           = -fno-omit-reexported-instances
 201 typecheck/TcGenDeriv_HC_OPTS    = -H10m
 202 typecheck/TcExpr_HC_OPTS        = -H10m
 203 typecheck/TcEnv_HC_OPTS         = -H10m
 204 utils/Argv_HC_OPTS              = -fvia-C
 205 utils/SST_HC_OPTS               = -fvia-C
 206 utils/PrimPacked_HC_OPTS        = -fvia-C -monly-3-regs
 207 utils/FastString_HC_OPTS        = -fvia-C
 208 utils/StringBuffer_HC_OPTS      = -fvia-C
 209 utils/Digraph_HC_OPTS           = -fglasgow-exts -fvia-C
 210
 211
 212 # ----------------------------------------------------------------------------
 213 #               C compilations
 214
 215 SRC_C_OPTS     += -O -Iparser -I. -IcodeGen
 216
 217
 218 # ----------------------------------------------------------------------------
 219 #               Parsers
 220
 221 # Main parser uses Yacc/Bison
 222 SRC_YACC_OPTS  += -d -v
 223
 224 #
 225 # Want to keep the intermediate (included in src distribs).
 226 #
 227 .PRECIOUS: %.tab.c %.tab.h parser/hslexer.c
 228
 229 parser/hschooks.o : parser/hschooks.c
 230         @$(RM) $@
 231         $(HC) -c -o $@ $(HCFLAGS) parser/hschooks.c
 232
 233
 234 # Interface-file parser uses Happy
 235 SRC_HAPPY_OPTS += +RTS -K2m -H10m -RTS
 236
 237 rename/ParseIface.hs : rename/ParseIface.y
 238         @$(RM) rename/ParseIface.hs rename/ParseIface.hinfo
 239         $(HAPPY) $(HAPPY_OPTS) -g rename/ParseIface.y
 240         @chmod 444 rename/ParseIface.hs
 241
 242 rename/ParseType.hs : rename/ParseType.y
 243         @$(RM) rename/ParseType.hs rename/ParseType.hinfo
 244         $(HAPPY) $(HAPPY_OPTS) -g rename/ParseType.y
 245         @chmod 444 rename/ParseType.hs
 246
 247 rename/ParseUnfolding.hs : rename/ParseUnfolding.y
 248         @$(RM) rename/ParseUnfolding.hs rename/ParseUnfolding.hinfo
 249         $(HAPPY) $(HAPPY_OPTS) -g rename/ParseUnfolding.y
 250         @chmod 444 rename/ParseUnfolding.hs
 251
 252 #----------------------------------------------------------------------
 253 #
 254 # Building the stand-alone parser
 255 #
 256 all :: hsp
 257
 258 hsp: parser/printtree.o parser/main.o libhsp.a
 259         $(CC) -o $@ $(CC_OPTS) $^
 260
 261 CLEAN_FILES += hsp
 262 #-----------------------------------------------------------------------------
 263 #               Interface files
 264
 265 # LoopHack.lhc is an SLPJ addition to fix a profiling problem.  See comments
 266 # inside it. (compilation is handled by the suffix rules).
 267
 268 #
 269 # Building the loop breakers from .lhi (0.2x) or .hi-boot (2.xx) files
 270 #
 271 ifeq ($(Ghc2_0),YES)
 272
 273 BOOT_HI_STEMS = $(basename $(wildcard */*.hi-boot))
 274
 275 hi-boot ::
 276         @for n in $(BOOT_HI_STEMS); \
 277         do  \
 278           echo Creating $$n.hi ; \
 279           $(RM) $$n.hi ; \
 280           $(CP) $$n.hi-boot $$n.hi || ( $(RM) $$n.hi && exit 1 ) ; \
 281         done
 282 #
 283 # Have the collector *Loop.hs interface files be generated just after having
 284 # created the .hi's from the .hi-boot's.
 285
 286 hi-boot :: $(patsubst %.hs,%.hi,$(LOOPS_HS))
 287
 288 else
 289 %.hi : %.lhi
 290         $(RM) $@
 291         $(UNLIT) $<  $@ || ( $(RM) $@ && exit 1 )
 292         @chmod 444 $@
 293 endif
 294
 295 boot :: hi-boot
 296
 297 #-----------------------------------------------------------------------------
 298 #               Linking
 299
 300 SRC_LD_OPTS += -no-link-chk
 301
 302 # Build-specific
 303 #SRC_LD_OPTS += "-pgml time gcc -B/projects/unsupported/gnu/sparc-sunos5/bin/g"
 304
 305
 306 #-----------------------------------------------------------------------------
 307 #               install
 308
 309 # We don't want hsc treated as an ordinary executable,
 310 # but put it together with the libraries.
 311 # Also don't want any interface files intstalled
 312
 313 INSTALL_LIBEXECS += hsc hsp
 314
 315 #-----------------------------------------------------------------------------
 316 #               depend
 317
 318 # If we're using a 1.2 compiler to compile the compiler, need the old mkdepend stuff
 319 #
 320 # ToDo: define sep MKDEPENDHS_1.2 variable so that it can be readily overridden
 321 # in a build.mk file.
 322 #
 323 ifeq ($(Ghc2_0),NO)
 324 MKDEPENDHS      = $(MKDEPENDHS_1_2)
 325 endif
 326
 327 #
 328 # Before doing `make depend', need to build all derived Haskell source files
 329 #
 330 depend :: $(LOOPS) $(SRCS_UGNHS) rename/ParseIface.hs rename/ParseUnfolding.hs rename/ParseType.hs
 331
 332
 333 ifeq "$(GhcWithHscBuiltViaC)" "YES"
 334 SRC_MKDEPENDHS_OPTS += -o .hc
 335 # When booting from .hc, (hackily) remove the suffix rule for
 336 # .l?hs -> .o, so that the .hc -> .o is used instead.
 337 %.$(way_)o : %.lhs
 338 %.$(way_)o : %.hs
 339 else
 340   SRCS_MKDEPENDHS = $(SRCS_HC) # should add $(LOOPS) ?
 341 endif
 342
 343
 344 #-----------------------------------------------------------------------------
 345 #               clean
 346
 347 CLEAN_FILES += $(wildcard */*.$(way_)o */*.$(way_)hi) \
 348                $(SRCS_UGNC) $(SRCS_UGNH) \
 349                $(SRCS_UGNHS)\
 350                parser/hslexer.c parser/hsparser.tab.h parser/hsparser.tab.c
 351
 352 # Extra tidy, remove the .hc files (if you've got them).
 353 MAINTAINER_CLEAN_FILES += $(wildcard */*.hc)
 354
 355
 356 #-----------------------------------------------------------------------------
 357 #               TAGS
 358
 359 SRC_HSTAGS_OPTS += -fglasgow-exts -cpp
 360
 361
 362 #-----------------------------------------------------------------------------
 363 #               Include target-rule boilerplate
 364
 365 include $(TOP)/mk/target.mk
 366
 367
 368 #
 369 # Special extra dependencies for yukky ugen stuff
 370 #
 371
 372 parser/%.o : parser/%.c $(SRCS_UGNH)
 373 parser/hslexer.o : parser/hslexer.c parser/hsparser.tab.h
 374
 375 parser/hspincl.h : $(SRCS_UGNH)
 376 parser/UgenAll.o : parser/hspincl.h
 377 parser/UgenUtil.o : parser/hspincl.h
 378 parser/U_constr.o : parser/hspincl.h
 379 parser/U_binding.o : parser/hspincl.h
 380 parser/U_pbinding.o : parser/hspincl.h
 381 parser/U_entidt.o : parser/hspincl.h
 382 parser/U_list.o : parser/hspincl.h
 383 parser/U_literal.o : parser/hspincl.h
 384 parser/U_maybe.o : parser/hspincl.h
 385 parser/U_either.o : parser/hspincl.h
 386 parser/U_qid.o : parser/hspincl.h
 387 parser/U_tree.o : parser/hspincl.h
 388 parser/U_ttype.o : parser/hspincl.h
 389 parser/printtree.o : parser/hspincl.h
 390 reader/ReadPrefix.o : parser/hspincl.h