Package keys (for linking/type equality) separated from package IDs.
[ghc.git] / compiler / ghc.mk
1 # -----------------------------------------------------------------------------
2 #
3 # (c) 2009-2012 The University of Glasgow
4 #
5 # This file is part of the GHC build system.
6 #
7 # To understand how the build system works and how to modify it, see
8 # http://ghc.haskell.org/trac/ghc/wiki/Building/Architecture
9 # http://ghc.haskell.org/trac/ghc/wiki/Building/Modifying
10 #
11 # -----------------------------------------------------------------------------
12
13 # -----------------------------------------------------------------------------
14 # Create compiler configuration
15 #
16 # The 'echo' commands simply spit the values of various make variables
17 # into Config.hs, whence they can be compiled and used by GHC itself
18
19 # This is just to avoid generating a warning when generating deps
20 # involving RtsFlags.h
21 compiler_stage1_MKDEPENDC_OPTS = -DMAKING_GHC_BUILD_SYSTEM_DEPENDENCIES
22 compiler_stage2_MKDEPENDC_OPTS = -DMAKING_GHC_BUILD_SYSTEM_DEPENDENCIES
23 compiler_stage3_MKDEPENDC_OPTS = -DMAKING_GHC_BUILD_SYSTEM_DEPENDENCIES
24
25 compiler_stage1_C_FILES_NODEPS = compiler/parser/cutils.c
26
27 # This package doesn't pass the Cabal checks because include-dirs
28 # points outside the source directory. This isn't a real problem, so
29 # we just skip the check.
30 compiler_NO_CHECK = YES
31
32 ifneq "$(BINDIST)" "YES"
33 compiler/stage1/package-data.mk : compiler/stage1/build/Config.hs
34 compiler/stage2/package-data.mk : compiler/stage2/build/Config.hs
35 compiler/stage3/package-data.mk : compiler/stage3/build/Config.hs
36
37 compiler/stage1/build/PlatformConstants.o: $(includes_GHCCONSTANTS_HASKELL_TYPE)
38 compiler/stage2/build/PlatformConstants.o: $(includes_GHCCONSTANTS_HASKELL_TYPE)
39 compiler/stage3/build/PlatformConstants.o: $(includes_GHCCONSTANTS_HASKELL_TYPE)
40 compiler/stage1/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_EXPORTS)
41 compiler/stage2/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_EXPORTS)
42 compiler/stage3/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_EXPORTS)
43 compiler/stage1/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_WRAPPERS)
44 compiler/stage2/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_WRAPPERS)
45 compiler/stage3/build/DynFlags.o: $(includes_GHCCONSTANTS_HASKELL_WRAPPERS)
46 endif
47
48 compiler/stage%/build/Config.hs : mk/config.mk mk/project.mk | $$(dir $$@)/.
49 $(call removeFiles,$@)
50 @echo 'Creating $@ ... '
51 @echo '{-# LANGUAGE CPP #-}' >> $@
52 @echo 'module Config where' >> $@
53 @echo >> $@
54 @echo '#include "ghc_boot_platform.h"' >> $@
55 @echo >> $@
56 @echo 'data IntegerLibrary = IntegerGMP | IntegerSimple' >> $@
57 @echo ' deriving Eq' >> $@
58 @echo >> $@
59 @echo 'cBuildPlatformString :: String' >> $@
60 @echo 'cBuildPlatformString = BuildPlatform_NAME' >> $@
61 @echo 'cHostPlatformString :: String' >> $@
62 @echo 'cHostPlatformString = HostPlatform_NAME' >> $@
63 @echo 'cTargetPlatformString :: String' >> $@
64 @echo 'cTargetPlatformString = TargetPlatform_NAME' >> $@
65 @echo >> $@
66 @echo 'cProjectName :: String' >> $@
67 @echo 'cProjectName = "$(ProjectName)"' >> $@
68 @echo 'cProjectVersion :: String' >> $@
69 @echo 'cProjectVersion = "$(ProjectVersion)"' >> $@
70 @echo 'cProjectVersionInt :: String' >> $@
71 @echo 'cProjectVersionInt = "$(ProjectVersionInt)"' >> $@
72 @echo 'cProjectPatchLevel :: String' >> $@
73 @echo 'cProjectPatchLevel = "$(ProjectPatchLevel)"' >> $@
74 @echo 'cBooterVersion :: String' >> $@
75 @echo 'cBooterVersion = "$(GhcVersion)"' >> $@
76 @echo 'cStage :: String' >> $@
77 @echo 'cStage = show (STAGE :: Int)' >> $@
78 @echo 'cIntegerLibrary :: String' >> $@
79 @echo 'cIntegerLibrary = "$(INTEGER_LIBRARY)"' >> $@
80 @echo 'cIntegerLibraryType :: IntegerLibrary' >> $@
81 ifeq "$(INTEGER_LIBRARY)" "integer-gmp"
82 @echo 'cIntegerLibraryType = IntegerGMP' >> $@
83 else ifeq "$(INTEGER_LIBRARY)" "integer-simple"
84 @echo 'cIntegerLibraryType = IntegerSimple' >> $@
85 else ifneq "$(CLEANING)" "YES"
86 $(error Unknown integer library)
87 endif
88 @echo 'cSupportsSplitObjs :: String' >> $@
89 @echo 'cSupportsSplitObjs = "$(SupportsSplitObjs)"' >> $@
90 @echo 'cGhcWithInterpreter :: String' >> $@
91 @echo 'cGhcWithInterpreter = "$(GhcWithInterpreter)"' >> $@
92 @echo 'cGhcWithNativeCodeGen :: String' >> $@
93 @echo 'cGhcWithNativeCodeGen = "$(GhcWithNativeCodeGen)"' >> $@
94 @echo 'cGhcWithSMP :: String' >> $@
95 @echo 'cGhcWithSMP = "$(GhcWithSMP)"' >> $@
96 @echo 'cGhcRTSWays :: String' >> $@
97 @echo 'cGhcRTSWays = "$(GhcRTSWays)"' >> $@
98 @echo 'cGhcEnableTablesNextToCode :: String' >> $@
99 @echo 'cGhcEnableTablesNextToCode = "$(GhcEnableTablesNextToCode)"' >> $@
100 @echo 'cLeadingUnderscore :: String' >> $@
101 @echo 'cLeadingUnderscore = "$(LeadingUnderscore)"' >> $@
102 @echo 'cGHC_UNLIT_PGM :: String' >> $@
103 @echo 'cGHC_UNLIT_PGM = "$(utils/unlit_dist_PROG)"' >> $@
104 @echo 'cGHC_SPLIT_PGM :: String' >> $@
105 @echo 'cGHC_SPLIT_PGM = "$(driver/split_dist_PROG)"' >> $@
106 @echo 'cLibFFI :: Bool' >> $@
107 ifeq "$(UseLibFFIForAdjustors)" "YES"
108 @echo 'cLibFFI = True' >> $@
109 else
110 @echo 'cLibFFI = False' >> $@
111 endif
112 # Note that GhcThreaded just reflects the Makefile variable setting.
113 # In particular, the stage1 compiler is never actually compiled with
114 # -threaded, but it will nevertheless have cGhcThreaded = True.
115 # The "+RTS --info" output will show what RTS GHC is really using.
116 @echo 'cGhcThreaded :: Bool' >> $@
117 ifeq "$(GhcThreaded)" "YES"
118 @echo 'cGhcThreaded = True' >> $@
119 else
120 @echo 'cGhcThreaded = False' >> $@
121 endif
122 @echo 'cGhcDebugged :: Bool' >> $@
123 ifeq "$(GhcDebugged)" "YES"
124 @echo 'cGhcDebugged = True' >> $@
125 else
126 @echo 'cGhcDebugged = False' >> $@
127 endif
128 @echo done.
129
130 # -----------------------------------------------------------------------------
131 # Create platform includes
132
133 # Here we generate a little header file containing CPP symbols that GHC
134 # uses to determine which platform it is building on/for. The platforms
135 # can differ between stage1 and stage2 if we're cross-compiling, so we
136 # need one of these header files per stage.
137
138 PLATFORM_H = ghc_boot_platform.h
139
140 compiler/stage1/$(PLATFORM_H) : mk/config.mk mk/project.mk | $$(dir $$@)/.
141 $(call removeFiles,$@)
142 @echo "Creating $@..."
143 @echo "#ifndef __PLATFORM_H__" >> $@
144 @echo "#define __PLATFORM_H__" >> $@
145 @echo >> $@
146 @echo "#define BuildPlatform_NAME \"$(BUILDPLATFORM)\"" >> $@
147 @echo "#define HostPlatform_NAME \"$(HOSTPLATFORM)\"" >> $@
148 @echo "#define TargetPlatform_NAME \"$(TARGETPLATFORM)\"" >> $@
149 @echo >> $@
150 @echo "#define $(BuildPlatform_CPP)_BUILD 1" >> $@
151 @echo "#define $(HostPlatform_CPP)_HOST 1" >> $@
152 @echo "#define $(TargetPlatform_CPP)_TARGET 1" >> $@
153 @echo >> $@
154 @echo "#define $(BuildArch_CPP)_BUILD_ARCH 1" >> $@
155 @echo "#define $(HostArch_CPP)_HOST_ARCH 1" >> $@
156 @echo "#define $(TargetArch_CPP)_TARGET_ARCH 1" >> $@
157 @echo "#define BUILD_ARCH \"$(BuildArch_CPP)\"" >> $@
158 @echo "#define HOST_ARCH \"$(HostArch_CPP)\"" >> $@
159 @echo "#define TARGET_ARCH \"$(TargetArch_CPP)\"" >> $@
160 @echo >> $@
161 @echo "#define $(BuildOS_CPP)_BUILD_OS 1" >> $@
162 @echo "#define $(HostOS_CPP)_HOST_OS 1" >> $@
163 @echo "#define $(TargetOS_CPP)_TARGET_OS 1" >> $@
164 @echo "#define BUILD_OS \"$(BuildOS_CPP)\"" >> $@
165 @echo "#define HOST_OS \"$(HostOS_CPP)\"" >> $@
166 @echo "#define TARGET_OS \"$(TargetOS_CPP)\"" >> $@
167 ifeq "$(TargetOS_CPP)" "irix"
168 @echo "#ifndef $(IRIX_MAJOR)_TARGET_OS" >> $@
169 @echo "#define $(IRIX_MAJOR)_TARGET_OS 1" >> $@
170 @echo "#endif" >> $@
171 endif
172 @echo >> $@
173 @echo "#define $(BuildVendor_CPP)_BUILD_VENDOR 1" >> $@
174 @echo "#define $(HostVendor_CPP)_HOST_VENDOR 1" >> $@
175 @echo "#define $(TargetVendor_CPP)_TARGET_VENDOR 1" >> $@
176 @echo "#define BUILD_VENDOR \"$(BuildVendor_CPP)\"" >> $@
177 @echo "#define HOST_VENDOR \"$(HostVendor_CPP)\"" >> $@
178 @echo "#define TARGET_VENDOR \"$(TargetVendor_CPP)\"" >> $@
179 @echo >> $@
180 @echo "#endif /* __PLATFORM_H__ */" >> $@
181 @echo "Done."
182
183 # For stage2 and above, the BUILD platform is the HOST of stage1, and
184 # the HOST platform is the TARGET of stage1. The TARGET remains the same
185 # (stage1 is the cross-compiler, not stage2).
186 compiler/stage2/$(PLATFORM_H) : mk/config.mk mk/project.mk | $$(dir $$@)/.
187 $(call removeFiles,$@)
188 @echo "Creating $@..."
189 @echo "#ifndef __PLATFORM_H__" >> $@
190 @echo "#define __PLATFORM_H__" >> $@
191 @echo >> $@
192 @echo "#define BuildPlatform_NAME \"$(HOSTPLATFORM)\"" >> $@
193 @echo "#define HostPlatform_NAME \"$(TARGETPLATFORM)\"" >> $@
194 @echo "#define TargetPlatform_NAME \"$(TARGETPLATFORM)\"" >> $@
195 @echo >> $@
196 @echo "#define $(HostPlatform_CPP)_BUILD 1" >> $@
197 @echo "#define $(TargetPlatform_CPP)_HOST 1" >> $@
198 @echo "#define $(TargetPlatform_CPP)_TARGET 1" >> $@
199 @echo >> $@
200 @echo "#define $(HostArch_CPP)_BUILD_ARCH 1" >> $@
201 @echo "#define $(TargetArch_CPP)_HOST_ARCH 1" >> $@
202 @echo "#define $(TargetArch_CPP)_TARGET_ARCH 1" >> $@
203 @echo "#define BUILD_ARCH \"$(HostArch_CPP)\"" >> $@
204 @echo "#define HOST_ARCH \"$(TargetArch_CPP)\"" >> $@
205 @echo "#define TARGET_ARCH \"$(TargetArch_CPP)\"" >> $@
206 @echo >> $@
207 @echo "#define $(HostOS_CPP)_BUILD_OS 1" >> $@
208 @echo "#define $(TargetOS_CPP)_HOST_OS 1" >> $@
209 @echo "#define $(TargetOS_CPP)_TARGET_OS 1" >> $@
210 @echo "#define BUILD_OS \"$(HostOS_CPP)\"" >> $@
211 @echo "#define HOST_OS \"$(TargetOS_CPP)\"" >> $@
212 @echo "#define TARGET_OS \"$(TargetOS_CPP)\"" >> $@
213 ifeq "$(TargetOS_CPP)" "irix"
214 @echo "#ifndef $(IRIX_MAJOR)_TARGET_OS" >> $@
215 @echo "#define $(IRIX_MAJOR)_TARGET_OS 1" >> $@
216 @echo "#endif" >> $@
217 endif
218 @echo >> $@
219 @echo "#define $(HostVendor_CPP)_BUILD_VENDOR 1" >> $@
220 @echo "#define $(TargetVendor_CPP)_HOST_VENDOR 1" >> $@
221 @echo "#define $(TargetVendor_CPP)_TARGET_VENDOR 1" >> $@
222 @echo "#define BUILD_VENDOR \"$(HostVendor_CPP)\"" >> $@
223 @echo "#define HOST_VENDOR \"$(TargetVendor_CPP)\"" >> $@
224 @echo "#define TARGET_VENDOR \"$(TargetVendor_CPP)\"" >> $@
225 @echo >> $@
226 @echo "#endif /* __PLATFORM_H__ */" >> $@
227 @echo "Done."
228
229 compiler/stage3/$(PLATFORM_H) : compiler/stage2/$(PLATFORM_H)
230 "$(CP)" $< $@
231
232 # ----------------------------------------------------------------------------
233 # Generate supporting stuff for prelude/PrimOp.lhs
234 # from prelude/primops.txt
235
236 PRIMOP_BITS_NAMES = primop-data-decl.hs-incl \
237 primop-tag.hs-incl \
238 primop-list.hs-incl \
239 primop-has-side-effects.hs-incl \
240 primop-out-of-line.hs-incl \
241 primop-commutable.hs-incl \
242 primop-code-size.hs-incl \
243 primop-can-fail.hs-incl \
244 primop-strictness.hs-incl \
245 primop-fixity.hs-incl \
246 primop-primop-info.hs-incl \
247 primop-vector-uniques.hs-incl \
248 primop-vector-tys.hs-incl \
249 primop-vector-tys-exports.hs-incl \
250 primop-vector-tycons.hs-incl
251
252 PRIMOP_BITS_STAGE1 = $(addprefix compiler/stage1/build/,$(PRIMOP_BITS_NAMES))
253 PRIMOP_BITS_STAGE2 = $(addprefix compiler/stage2/build/,$(PRIMOP_BITS_NAMES))
254 PRIMOP_BITS_STAGE3 = $(addprefix compiler/stage3/build/,$(PRIMOP_BITS_NAMES))
255
256 compiler_CPP_OPTS += $(addprefix -I,$(GHC_INCLUDE_DIRS))
257 compiler_CPP_OPTS += ${GhcCppOpts}
258
259 define preprocessCompilerFiles
260 # $0 = stage
261 compiler/stage$1/build/Parser.y: compiler/parser/Parser.y.pp
262 $$(CPP) $$(RAWCPP_FLAGS) -P $$(compiler_CPP_OPTS) -x c $$< | grep -v '^#pragma GCC' > $$@
263
264 compiler/stage$1/build/primops.txt: compiler/prelude/primops.txt.pp compiler/stage$1/$$(PLATFORM_H)
265 $$(CPP) $$(RAWCPP_FLAGS) -P $$(compiler_CPP_OPTS) -Icompiler/stage$1 -x c $$< | grep -v '^#pragma GCC' > $$@
266
267 compiler/stage$1/build/primop-data-decl.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
268 "$$(genprimopcode_INPLACE)" --data-decl < $$< > $$@
269 compiler/stage$1/build/primop-tag.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
270 "$$(genprimopcode_INPLACE)" --primop-tag < $$< > $$@
271 compiler/stage$1/build/primop-list.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
272 "$$(genprimopcode_INPLACE)" --primop-list < $$< > $$@
273 compiler/stage$1/build/primop-has-side-effects.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
274 "$$(genprimopcode_INPLACE)" --has-side-effects < $$< > $$@
275 compiler/stage$1/build/primop-out-of-line.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
276 "$$(genprimopcode_INPLACE)" --out-of-line < $$< > $$@
277 compiler/stage$1/build/primop-commutable.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
278 "$$(genprimopcode_INPLACE)" --commutable < $$< > $$@
279 compiler/stage$1/build/primop-code-size.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
280 "$$(genprimopcode_INPLACE)" --code-size < $$< > $$@
281 compiler/stage$1/build/primop-can-fail.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
282 "$$(genprimopcode_INPLACE)" --can-fail < $$< > $$@
283 compiler/stage$1/build/primop-strictness.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
284 "$$(genprimopcode_INPLACE)" --strictness < $$< > $$@
285 compiler/stage$1/build/primop-fixity.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
286 "$$(genprimopcode_INPLACE)" --fixity < $$< > $$@
287 compiler/stage$1/build/primop-primop-info.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
288 "$$(genprimopcode_INPLACE)" --primop-primop-info < $$< > $$@
289 compiler/stage$1/build/primop-vector-uniques.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
290 "$$(genprimopcode_INPLACE)" --primop-vector-uniques < $$< > $$@
291 compiler/stage$1/build/primop-vector-tys.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
292 "$$(genprimopcode_INPLACE)" --primop-vector-tys < $$< > $$@
293 compiler/stage$1/build/primop-vector-tys-exports.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
294 "$$(genprimopcode_INPLACE)" --primop-vector-tys-exports < $$< > $$@
295 compiler/stage$1/build/primop-vector-tycons.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
296 "$$(genprimopcode_INPLACE)" --primop-vector-tycons < $$< > $$@
297
298 # Usages aren't used any more; but the generator
299 # can still generate them if we want them back
300 compiler/stage$1/build/primop-usage.hs-incl: compiler/stage$1/build/primops.txt $$$$(genprimopcode_INPLACE)
301 "$$(genprimopcode_INPLACE)" --usage < $$< > $$@
302
303 endef
304
305 $(eval $(call preprocessCompilerFiles,1))
306 $(eval $(call preprocessCompilerFiles,2))
307 $(eval $(call preprocessCompilerFiles,3))
308
309 # -----------------------------------------------------------------------------
310 # Configuration
311
312 compiler_stage1_CONFIGURE_OPTS += --flags=stage1
313 compiler_stage2_CONFIGURE_OPTS += --flags=stage2
314 compiler_stage3_CONFIGURE_OPTS += --flags=stage3
315
316 ifeq "$(GhcThreaded)" "YES"
317 # We pass THREADED_RTS to the stage2 C files so that cbits/genSym.c will bring
318 # the threaded version of atomic_inc() into scope.
319 compiler_stage2_CONFIGURE_OPTS += --ghc-option=-optc-DTHREADED_RTS
320 endif
321
322 ifeq "$(GhcWithNativeCodeGen)" "YES"
323 compiler_stage1_CONFIGURE_OPTS += --flags=ncg
324 compiler_stage2_CONFIGURE_OPTS += --flags=ncg
325 endif
326
327 ifeq "$(GhcWithInterpreter)" "YES"
328 compiler_stage2_CONFIGURE_OPTS += --flags=ghci
329
330 ifeq "$(GhcEnableTablesNextToCode) $(GhcUnregisterised)" "YES NO"
331 # Should GHCI be building info tables in the TABLES_NEXT_TO_CODE style
332 # or not?
333 # XXX This should logically be a CPP option, but there doesn't seem to
334 # be a flag for that
335 compiler_stage2_CONFIGURE_OPTS += --ghc-option=-DGHCI_TABLES_NEXT_TO_CODE
336 endif
337
338 # Should the debugger commands be enabled?
339 ifeq "$(GhciWithDebugger)" "YES"
340 compiler_stage2_CONFIGURE_OPTS += --ghc-option=-DDEBUGGER
341 endif
342
343 endif
344
345 ifeq "$(TargetOS_CPP)" "openbsd"
346 compiler_CONFIGURE_OPTS += --ld-options=-E
347 endif
348
349 ifeq "$(GhcUnregisterised)" "NO"
350 else
351 compiler_CONFIGURE_OPTS += --ghc-option=-DNO_REGS
352 endif
353
354 ifneq "$(GhcWithSMP)" "YES"
355 compiler_CONFIGURE_OPTS += --ghc-option=-DNOSMP
356 compiler_CONFIGURE_OPTS += --ghc-option=-optc-DNOSMP
357 endif
358
359 # Careful optimisation of the parser: we don't want to throw everything
360 # at it, because that takes too long and doesn't buy much, but we do want
361 # to inline certain key external functions, so we instruct GHC not to
362 # throw away inlinings as it would normally do in -O0 mode.
363 compiler/stage1/build/Parser_HC_OPTS += -O0 -fno-ignore-interface-pragmas
364 # If we're bootstrapping the compiler during stage2, or we're being
365 # built by a GHC whose version is > 7.8, we need -fcmm-sink to be
366 # passed to the compiler. This is required on x86 to avoid the
367 # register allocator running out of stack slots when compiling this
368 # module with -fPIC -dynamic.
369 # See #8182 for all the details
370 ifeq "$(CMM_SINK_BOOTSTRAP_IS_NEEDED)" "YES"
371 compiler/stage1/build/Parser_HC_OPTS += -fcmm-sink
372 endif
373 # We also pass -fcmm-sink to every stage != 1
374 compiler/stage2/build/Parser_HC_OPTS += -O0 -fno-ignore-interface-pragmas -fcmm-sink
375 compiler/stage3/build/Parser_HC_OPTS += -O0 -fno-ignore-interface-pragmas -fcmm-sink
376
377
378 ifeq "$(GhcProfiled)" "YES"
379 # If we're profiling GHC then we want SCCs. However, adding -auto-all
380 # everywhere tends to give a hard-to-read profile, and adds lots of
381 # overhead. A better approach is to proceed top-down; identify the
382 # parts of the compiler of interest, and then add further cost centres
383 # as necessary. Turn on -auto-all for individual modules like this:
384
385 # compiler/main/DriverPipeline_HC_OPTS += -auto-all
386 compiler/main/GhcMake_HC_OPTS += -auto-all
387 compiler/main/GHC_HC_OPTS += -auto-all
388
389 # or alternatively add {-# OPTIONS_GHC -auto-all #-} to the top of
390 # modules you're interested in.
391
392 # We seem to still build the vanilla libraries even if we say
393 # --disable-library-vanilla, but installation then fails, as Cabal
394 # doesn't copy the vanilla .hi files, but ghc-pkg complains about
395 # their absence when we register the package. So for now, we just
396 # leave the vanilla libraries enabled.
397 # compiler_stage2_CONFIGURE_OPTS += --disable-library-vanilla
398 compiler_stage2_CONFIGURE_OPTS += --ghc-pkg-option=--force
399 endif
400
401 compiler_stage3_CONFIGURE_OPTS := $(compiler_stage2_CONFIGURE_OPTS)
402
403 compiler_stage1_CONFIGURE_OPTS += --ghc-option=-DSTAGE=1
404 compiler_stage2_CONFIGURE_OPTS += --ghc-option=-DSTAGE=2
405 compiler_stage3_CONFIGURE_OPTS += --ghc-option=-DSTAGE=3
406 compiler_stage2_HADDOCK_OPTS += --optghc=-DSTAGE=2
407
408 compiler/stage1/package-data.mk : compiler/ghc.mk
409 compiler/stage2/package-data.mk : compiler/ghc.mk
410 compiler/stage3/package-data.mk : compiler/ghc.mk
411
412 # -----------------------------------------------------------------------------
413 # And build the package
414
415 compiler_PACKAGE = ghc
416
417 # Note [fiddle-stage1-version]
418 # The version of the GHC package changes every day, since the
419 # patchlevel is the current date. We don't want to force
420 # recompilation of the entire compiler when this happens, so for stage
421 # 1 we omit the patchlevel from the version number. For stage 2 we
422 # have to include the patchlevel since this is the package we install,
423 # however.
424 #
425 # Note: we also have to tweak the version number of the package itself
426 # when it gets registered; see Note [munge-stage1-package-config]
427 # below.
428 # The ProjectPatchLevel > 20000000 iff it's a date. If it's e.g. 6.12.1
429 # then we don't want to remove it
430 ifneq "$(CLEANING)" "YES"
431 ifeq "$(shell [ $(ProjectPatchLevel) -gt 20000000 ] && echo YES)" "YES"
432 compiler_stage1_VERSION_MUNGED = YES
433 endif
434 endif
435
436 ifeq "$(compiler_stage1_VERSION_MUNGED)" "YES"
437 compiler_stage1_MUNGED_VERSION = $(subst .$(ProjectPatchLevel),,$(ProjectVersion))
438 define compiler_PACKAGE_MAGIC
439 compiler_stage1_VERSION = $(compiler_stage1_MUNGED_VERSION)
440 compiler_stage1_PACKAGE_KEY = $(subst .$(ProjectPatchLevel),,$(compiler_stage1_PACKAGE_KEY))
441 endef
442
443 # NB: the PACKAGE_KEY munging has no effect for new-style package keys
444 # (which indeed, have nothing version like in them, but are important for
445 # old-style package keys which do.) The subst operation is idempotent, so
446 # as long as we do it at least once we should be good.
447
448 # Don't register the non-munged package
449 compiler_stage1_REGISTER_PACKAGE = NO
450
451 endif
452
453 # Don't do splitting for the GHC package, it takes too long and
454 # there's not much benefit.
455 compiler_stage1_SplitObjs = NO
456 compiler_stage2_SplitObjs = NO
457 compiler_stage3_SplitObjs = NO
458
459 # There are too many symbols in the ghc package for a Windows DLL.
460 # We therefore need to split some of the modules off into a separate
461 # DLL. This clump are the modules reachable from DynFlags:
462 compiler_stage2_dll0_START_MODULE = DynFlags
463 compiler_stage2_dll0_MODULES = \
464 Annotations \
465 Avail \
466 Bag \
467 BasicTypes \
468 BinIface \
469 Binary \
470 Bitmap \
471 BlockId \
472 BooleanFormula \
473 BreakArray \
474 BufWrite \
475 BuildTyCl \
476 ByteCodeAsm \
477 ByteCodeInstr \
478 ByteCodeItbls \
479 CLabel \
480 Class \
481 CmdLineParser \
482 Cmm \
483 CmmCallConv \
484 CmmExpr \
485 CmmInfo \
486 CmmMachOp \
487 CmmNode \
488 CmmType \
489 CmmUtils \
490 CoAxiom \
491 ConLike \
492 CodeGen.Platform \
493 CodeGen.Platform.ARM \
494 CodeGen.Platform.NoRegs \
495 CodeGen.Platform.PPC \
496 CodeGen.Platform.PPC_Darwin \
497 CodeGen.Platform.SPARC \
498 CodeGen.Platform.X86 \
499 CodeGen.Platform.X86_64 \
500 Coercion \
501 Config \
502 Constants \
503 CoreArity \
504 CoreFVs \
505 CoreLint \
506 CoreSubst \
507 CoreSyn \
508 CoreTidy \
509 CoreUnfold \
510 CoreUtils \
511 CostCentre \
512 DataCon \
513 Demand \
514 Digraph \
515 DriverPhases \
516 DsMonad \
517 DynFlags \
518 Encoding \
519 ErrUtils \
520 Exception \
521 ExtsCompat46 \
522 FamInstEnv \
523 FastBool \
524 FastFunctions \
525 FastMutInt \
526 FastString \
527 FastTypes \
528 Finder \
529 Fingerprint \
530 FiniteMap \
531 ForeignCall \
532 Hooks \
533 Hoopl \
534 Hoopl.Dataflow \
535 HsBinds \
536 HsDecls \
537 HsDoc \
538 HsExpr \
539 HsImpExp \
540 HsLit \
541 HsPat \
542 HsSyn \
543 HsTypes \
544 HsUtils \
545 HscTypes \
546 IOEnv \
547 Id \
548 IdInfo \
549 IfaceEnv \
550 IfaceSyn \
551 IfaceType \
552 InstEnv \
553 InteractiveEvalTypes \
554 Kind \
555 ListSetOps \
556 Literal \
557 LoadIface \
558 Maybes \
559 MkCore \
560 MkGraph \
561 MkId \
562 Module \
563 MonadUtils \
564 Name \
565 NameEnv \
566 NameSet \
567 OccName \
568 OccurAnal \
569 OptCoercion \
570 OrdList \
571 Outputable \
572 PackageConfig \
573 Packages \
574 Pair \
575 Panic \
576 PatSyn \
577 PipelineMonad \
578 Platform \
579 PlatformConstants \
580 PprCmm \
581 PprCmmDecl \
582 PprCmmExpr \
583 PprCore \
584 PrelInfo \
585 PrelNames \
586 PrelRules \
587 Pretty \
588 PrimOp \
589 RdrName \
590 Reg \
591 RegClass \
592 Rules \
593 SMRep \
594 Serialized \
595 SrcLoc \
596 StaticFlags \
597 StgCmmArgRep \
598 StgCmmClosure \
599 StgCmmEnv \
600 StgCmmLayout \
601 StgCmmMonad \
602 StgCmmProf \
603 StgCmmTicky \
604 StgCmmUtils \
605 StgSyn \
606 Stream \
607 StringBuffer \
608 TcEvidence \
609 TcIface \
610 TcRnMonad \
611 TcRnTypes \
612 TcType \
613 TcTypeNats \
614 TrieMap \
615 TyCon \
616 Type \
617 TypeRep \
618 TysPrim \
619 TysWiredIn \
620 Unify \
621 UniqFM \
622 UniqSet \
623 UniqSupply \
624 Unique \
625 Util \
626 Var \
627 VarEnv \
628 VarSet
629
630 compiler_stage2_dll0_HS_OBJS = \
631 $(patsubst %,compiler/stage2/build/%.$(dyn_osuf),$(subst .,/,$(compiler_stage2_dll0_MODULES)))
632
633 # if stage is set to something other than "1" or "", disable stage 1
634 ifneq "$(filter-out 1,$(stage))" ""
635 compiler_stage1_NOT_NEEDED = YES
636 endif
637 # if stage is set to something other than "2" or "", disable stage 2
638 ifneq "$(filter-out 2,$(stage))" ""
639 compiler_stage2_NOT_NEEDED = YES
640 endif
641 # stage 3 has to be requested explicitly with stage=3
642 ifneq "$(stage)" "3"
643 compiler_stage3_NOT_NEEDED = YES
644 endif
645 $(eval $(call build-package,compiler,stage1,0))
646 $(eval $(call build-package,compiler,stage2,1))
647 $(eval $(call build-package,compiler,stage3,2))
648
649 # We only want to turn keepCAFs on if we will be loading dynamic
650 # Haskell libraries with GHCi. We therefore filter the object file
651 # out for non-dynamic ways.
652 define keepCAFsForGHCiDynOnly
653 # $1 = stage
654 # $2 = way
655 ifeq "$$(findstring dyn, $1)" ""
656 compiler_stage$1_$2_C_OBJS := $$(filter-out %/keepCAFsForGHCi.o,$$(compiler_stage$1_$2_C_OBJS))
657 endif
658 endef
659 $(foreach w,$(compiler_stage1_WAYS),$(eval $(call keepCAFsForGHCiDynOnly,1,$w)))
660 $(foreach w,$(compiler_stage2_WAYS),$(eval $(call keepCAFsForGHCiDynOnly,2,$w)))
661 $(foreach w,$(compiler_stage3_WAYS),$(eval $(call keepCAFsForGHCiDynOnly,3,$w)))
662
663 # after build-package, because that adds --enable-library-for-ghci
664 # to compiler_stage*_CONFIGURE_OPTS:
665 # We don't build the GHCi library for the ghc package. We can load it
666 # the .a file instead, and as object splitting isn't on for the ghc
667 # package this isn't much slower.However, not building the package saves
668 # a significant chunk of disk space.
669 compiler_stage1_CONFIGURE_OPTS += --disable-library-for-ghci
670 compiler_stage2_CONFIGURE_OPTS += --disable-library-for-ghci
671 compiler_stage3_CONFIGURE_OPTS += --disable-library-for-ghci
672
673 # after build-package, because that sets compiler_stage1_HC_OPTS:
674 compiler_stage1_HC_OPTS += $(GhcHcOpts) $(GhcStage1HcOpts)
675 compiler_stage2_HC_OPTS += $(GhcHcOpts) $(GhcStage2HcOpts)
676 compiler_stage3_HC_OPTS += $(GhcHcOpts) $(GhcStage3HcOpts)
677
678 ifneq "$(BINDIST)" "YES"
679
680 compiler_stage2_TAGS_HC_OPTS = -package ghc
681 $(eval $(call tags-package,compiler,stage2))
682
683 $(compiler_stage1_depfile_haskell) : compiler/stage1/$(PLATFORM_H)
684 $(compiler_stage2_depfile_haskell) : compiler/stage2/$(PLATFORM_H)
685 $(compiler_stage3_depfile_haskell) : compiler/stage3/$(PLATFORM_H)
686
687 COMPILER_INCLUDES_DEPS += $(includes_H_CONFIG)
688 COMPILER_INCLUDES_DEPS += $(includes_H_PLATFORM)
689 COMPILER_INCLUDES_DEPS += $(includes_GHCCONSTANTS)
690 COMPILER_INCLUDES_DEPS += $(includes_GHCCONSTANTS_HASKELL_TYPE)
691 COMPILER_INCLUDES_DEPS += $(includes_GHCCONSTANTS_HASKELL_WRAPPERS)
692 COMPILER_INCLUDES_DEPS += $(includes_GHCCONSTANTS_HASKELL_EXPORTS)
693 COMPILER_INCLUDES_DEPS += $(includes_DERIVEDCONSTANTS)
694
695 $(compiler_stage1_depfile_haskell) : $(COMPILER_INCLUDES_DEPS) $(PRIMOP_BITS_STAGE1)
696 $(compiler_stage2_depfile_haskell) : $(COMPILER_INCLUDES_DEPS) $(PRIMOP_BITS_STAGE2)
697 $(compiler_stage3_depfile_haskell) : $(COMPILER_INCLUDES_DEPS) $(PRIMOP_BITS_STAGE3)
698
699 $(foreach way,$(compiler_stage1_WAYS),\
700 compiler/stage1/build/PrimOp.$($(way)_osuf)) : $(PRIMOP_BITS_STAGE1)
701 $(foreach way,$(compiler_stage2_WAYS),\
702 compiler/stage2/build/PrimOp.$($(way)_osuf)) : $(PRIMOP_BITS_STAGE2)
703 $(foreach way,$(compiler_stage3_WAYS),\
704 compiler/stage3/build/PrimOp.$($(way)_osuf)) : $(PRIMOP_BITS_STAGE3)
705
706
707 # GHC itself doesn't know about the above dependencies, so we have to
708 # switch off the recompilation checker for that module:
709 compiler/prelude/PrimOp_HC_OPTS += -fforce-recomp
710
711 ifeq "$(DYNAMIC_GHC_PROGRAMS)" "YES"
712 compiler/utils/Util_HC_OPTS += -DDYNAMIC_GHC_PROGRAMS
713 endif
714
715 # LibFFI.hs #includes ffi.h
716 ifneq "$(UseSystemLibFFI)" "YES"
717 compiler/stage2/build/LibFFI.hs : $(libffi_HEADERS)
718 endif
719
720 # Note [munge-stage1-package-config]
721 # Strip the date/patchlevel from the version of stage1. See Note
722 # [fiddle-stage1-version] above.
723 ifeq "$(compiler_stage1_VERSION_MUNGED)" "YES"
724 compiler/stage1/inplace-pkg-config-munged: compiler/stage1/inplace-pkg-config
725 sed -e 's/^\(version: .*\)\.$(ProjectPatchLevel)$$/\1/' \
726 -e 's/^\(id: .*\)\.$(ProjectPatchLevel)$$/\1/' \
727 -e 's/^\(hs-libraries: HSghc-.*\)\.$(ProjectPatchLevel)$$/\1/' \
728 < $< > $@
729 "$(compiler_stage1_GHC_PKG)" update --force $(compiler_stage1_GHC_PKG_OPTS) $@
730
731 # We need to make sure the munged config is in the database before we
732 # try to configure ghc-bin
733 ghc/stage1/package-data.mk : compiler/stage1/inplace-pkg-config-munged
734 endif
735
736 endif
737