ghc.mk 12.2 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
# -----------------------------------------------------------------------------
#
# (c) 2009 The University of Glasgow
#
# This file is part of the GHC build system.
#
# To understand how the build system works and how to modify it, see
#      http://hackage.haskell.org/trac/ghc/wiki/Building/Architecture
#      http://hackage.haskell.org/trac/ghc/wiki/Building/Modifying
#
# -----------------------------------------------------------------------------

Ian Lynagh's avatar
Ian Lynagh committed
13
14
15
16
17
18
# -----------------------------------------------------------------------------
# Building the RTS

# We build the RTS with stage 1
rts_dist_HC = $(GHC_STAGE1)

19
20
# merge GhcLibWays and GhcRTSWays but strip out duplicates
rts_WAYS = $(GhcLibWays) $(filter-out $(GhcLibWays),$(GhcRTSWays))
Ian Lynagh's avatar
Ian Lynagh committed
21

22
23
ALL_RTS_LIBS = $(foreach way,$(rts_WAYS),rts/dist/build/libHSrts$($(way)_libsuf)) \
	       rts/dist/build/libHSrtsmain.a
Ian Lynagh's avatar
Ian Lynagh committed
24
25
26
27
28
all_rts : $(ALL_RTS_LIBS)

# -----------------------------------------------------------------------------
# Defining the sources

Simon Marlow's avatar
Simon Marlow committed
29
ALL_DIRS = hooks parallel sm eventlog
Ian Lynagh's avatar
Ian Lynagh committed
30
31
32
33
34
35
36

ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
ALL_DIRS += win32
else
ALL_DIRS += posix
endif

37
EXCLUDED_SRCS += rts/Main.c
Ian Lynagh's avatar
Ian Lynagh committed
38
39
40
41
42
43
44
EXCLUDED_SRCS += rts/parallel/SysMan.c
EXCLUDED_SRCS += rts/dyn-wrapper.c
EXCLUDED_SRCS += $(wildcard rts/Vis*.c)

rts_C_SRCS = $(filter-out $(EXCLUDED_SRCS),$(wildcard rts/*.c $(foreach dir,$(ALL_DIRS),rts/$(dir)/*.c)))
rts_CMM_SRCS = $(wildcard rts/*.cmm)

Ian Lynagh's avatar
Ian Lynagh committed
45
46
# Don't compile .S files when bootstrapping a new arch
ifeq "$(TARGETPLATFORM)" "$(HOSTPLATFORM)"
Ian Lynagh's avatar
Ian Lynagh committed
47
48
49
50
51
52
53
ifneq "$(findstring $(TargetArch_CPP), powerpc powerpc64)" ""
rts_S_SRCS += rts/AdjustorAsm.S
else
ifneq "$(findstring $(TargetOS_CPP), darwin)" ""
rts_S_SRCS += rts/AdjustorAsm.S
endif
endif
Ian Lynagh's avatar
Ian Lynagh committed
54
endif
Ian Lynagh's avatar
Ian Lynagh committed
55
56
57
58
59
60
61
62

ifeq "$(GhcUnregisterised)" "YES"
GENAPPLY_OPTS = -u
endif

rts_AUTO_APPLY_CMM = rts/dist/build/AutoApply.cmm

$(rts_AUTO_APPLY_CMM): $(GENAPPLY_INPLACE)
63
	"$(GENAPPLY_INPLACE)" >$@
Ian Lynagh's avatar
Ian Lynagh committed
64

65
rts/dist/build/sm/Evac_thr.c : rts/sm/Evac.c | $$(dir $$@)/.
Ian Lynagh's avatar
Ian Lynagh committed
66
	cp $< $@
67
rts/dist/build/sm/Scav_thr.c : rts/sm/Scav.c | $$(dir $$@)/.
Ian Lynagh's avatar
Ian Lynagh committed
68
69
	cp $< $@

Simon Marlow's avatar
Simon Marlow committed
70
rts_H_FILES = $(wildcard includes/*.h) $(wildcard rts/*.h)
Ian Lynagh's avatar
Ian Lynagh committed
71

72
73
# collect the -l flags that we need to link the rts dyn lib.
rts/libs.depend : $(GHC_PKG_INPLACE)
74
	"$(GHC_PKG_INPLACE)" field rts extra-libraries \
75
	  | sed -e 's/^extra-libraries: //' -e 's/\([a-z0-9]*\)[ ]*/-l\1 /g' > $@
76

Ian Lynagh's avatar
Ian Lynagh committed
77
78
79
80
81
82
83
84
85
86
#-----------------------------------------------------------------------------
# Building one way

define build-rts-way # args: $1 = way

# The per-way CC_OPTS
ifneq "$$(findstring debug, $1)" ""
rts_dist_$1_HC_OPTS =
rts_dist_$1_CC_OPTS = -g -O0
else
87
88
rts_dist_$1_HC_OPTS = $$(GhcRtsHcOpts)
rts_dist_$1_CC_OPTS = $$(GhcRtsCcOpts)
Ian Lynagh's avatar
Ian Lynagh committed
89
90
91
92
93
94
95
96
97
98
endif

ifneq "$$(findstring thr, $1)" ""
rts_$1_EXTRA_C_SRCS  =  rts/dist/build/sm/Evac_thr.c rts/dist/build/sm/Scav_thr.c
endif

$(call distdir-way-opts,rts,dist,$1)
$(call c-suffix-rules,rts,dist,$1,YES)
$(call cmm-suffix-rules,rts,dist,$1)

99
rts_$1_LIB = rts/dist/build/libHSrts$$($1_libsuf)
Ian Lynagh's avatar
Ian Lynagh committed
100
101
102

rts_$1_C_OBJS   = $$(patsubst rts/%.c,rts/dist/build/%.$$($1_osuf),$$(rts_C_SRCS)) $$(patsubst %.c,%.$$($1_osuf),$$(rts_$1_EXTRA_C_SRCS))
rts_$1_S_OBJS   = $$(patsubst rts/%.S,rts/dist/build/%.$$($1_osuf),$$(rts_S_SRCS))
103
rts_$1_CMM_OBJS = $$(patsubst rts/%.cmm,rts/dist/build/%.$$($1_osuf),$$(rts_CMM_SRCS)) $$(patsubst %.cmm,%.$$($1_osuf),$$(rts_AUTO_APPLY_CMM))
Ian Lynagh's avatar
Ian Lynagh committed
104
105
106

rts_$1_OBJS = $$(rts_$1_C_OBJS) $$(rts_$1_S_OBJS) $$(rts_$1_CMM_OBJS)

107
108
rts_dist_$1_CC_OPTS += -DRtsWay=$$(DQ)rts_$1$$(DQ)

109
ifneq "$$(findstring dyn, $1)" ""
110
$$(rts_$1_LIB) : $$(rts_$1_OBJS) rts/libs.depend
111
112
	"$$(RM)" $$(RM_OPTS) $$@
	"$$(rts_dist_HC)" -shared -dynamic -dynload deploy \
113
	  -no-auto-link-packages `cat rts/libs.depend` $$(rts_$1_OBJS) -o $$@
114
else
Ian Lynagh's avatar
Ian Lynagh committed
115
$$(rts_$1_LIB) : $$(rts_$1_OBJS)
116
	"$$(RM)" $$(RM_OPTS) $$@
117
	echo $$(rts_$1_OBJS) | $$(XARGS) "$$(AR)" $$(AR_OPTS) $$(EXTRA_AR_ARGS) $$@
118
endif
Ian Lynagh's avatar
Ian Lynagh committed
119
120
121
122
123
124
125
126
127

endef

# And expand the above for each way:
$(foreach way,$(rts_WAYS),$(eval $(call build-rts-way,$(way))))

#-----------------------------------------------------------------------------
# Flags for compiling every file

Simon Marlow's avatar
Simon Marlow committed
128
# We like plenty of warnings.
129
130
131
132
133
134
WARNING_OPTS += -Wall
ifeq "$(GccLT34)" "YES"
WARNING_OPTS += -W
else
WARNING_OPTS += -Wextra
endif
Ian Lynagh's avatar
Ian Lynagh committed
135
136
137
138
139
WARNING_OPTS += -Wstrict-prototypes 
WARNING_OPTS += -Wmissing-prototypes 
WARNING_OPTS += -Wmissing-declarations
WARNING_OPTS += -Winline
WARNING_OPTS += -Waggregate-return
Simon Marlow's avatar
Simon Marlow committed
140
141
142
143
144
145
146
147
WARNING_OPTS += -Wpointer-arith
WARNING_OPTS += -Wmissing-noreturn
WARNING_OPTS += -Wcast-align
WARNING_OPTS += -Wnested-externs
WARNING_OPTS += -Wredundant-decls 

# These ones are hard to avoid:
#WARNING_OPTS += -Wconversion
Ian Lynagh's avatar
Ian Lynagh committed
148
149
150
151
#WARNING_OPTS += -Wbad-function-cast
#WARNING_OPTS += -Wshadow
#WARNING_OPTS += -Wcast-qual

Simon Marlow's avatar
Simon Marlow committed
152
STANDARD_OPTS += -Iincludes -Irts
Ian Lynagh's avatar
Ian Lynagh committed
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
# COMPILING_RTS is only used when building Win32 DLL support.
STANDARD_OPTS += -DCOMPILING_RTS

# HC_OPTS is included in both .c and .cmm compilations, whereas CC_OPTS is
# only included in .c compilations.  HC_OPTS included the WAY_* opts, which
# must be included in both types of compilations.

rts_CC_OPTS += $(WARNING_OPTS)
rts_CC_OPTS += $(STANDARD_OPTS)

rts_HC_OPTS += $(STANDARD_OPTS) -package-name rts

ifneq "$(GhcWithSMP)" "YES"
rts_CC_OPTS += -DNOSMP
rts_HC_OPTS += -optc-DNOSMP
endif

ifeq "$(UseLibFFIForAdjustors)" "YES"
rts_CC_OPTS += -DUSE_LIBFFI_FOR_ADJUSTORS
endif

# Mac OS X: make sure we compile for the right OS version
rts_CC_OPTS += $(MACOSX_DEPLOYMENT_CC_OPTS)
rts_HC_OPTS += $(addprefix -optc, $(MACOSX_DEPLOYMENT_CC_OPTS))
rts_LD_OPTS += $(addprefix -optl, $(MACOSX_DEPLOYMENT_LD_OPTS))

# Otherwise the stack-smash handler gets triggered.
180
ifneq "$(findstring $(TargetOS_CPP), darwin openbsd)" ""
Ian Lynagh's avatar
Ian Lynagh committed
181
182
183
184
185
186
187
188
189
190
191
192
193
194
rts_HC_OPTS += -optc-fno-stack-protector
endif

# We *want* type-checking of hand-written cmm.
rts_HC_OPTS += -dcmm-lint 

# -fno-strict-aliasing is required for the runtime, because we often
# use a variety of types to represent closure pointers (StgPtr,
# StgClosure, StgMVar, etc.), and without -fno-strict-aliasing gcc is
# allowed to assume that these pointers do not alias.  eg. without
# this flag we get problems in sm/Evac.c:copy() with gcc 3.4.3, the
# upd_evacee() assigments get moved before the object copy.
rts_CC_OPTS += -fno-strict-aliasing

Simon Marlow's avatar
Simon Marlow committed
195
196
rts_CC_OPTS += -fno-common

Ian Lynagh's avatar
Ian Lynagh committed
197
198
199
200
201
202
203
204
205
206
ifeq "$(BeConservative)" "YES"
rts_CC_OPTS += -DBE_CONSERVATIVE
endif

#-----------------------------------------------------------------------------
# Flags for compiling specific files

# XXX DQ is now the same on all platforms, so get rid of it
DQ = \"

207
# If RtsMain.c is built with optimisation then the SEH exception stuff on
Ian Lynagh's avatar
Ian Lynagh committed
208
209
210
# Windows gets confused.
# This has to be in HC rather than CC opts, as otherwise there's a
# -optc-O2 that comes after it.
211
rts/RtsMain_HC_OPTS += -optc-O0
Ian Lynagh's avatar
Ian Lynagh committed
212

213
214
rts/RtsMessages_CC_OPTS += -DProjectVersion=$(DQ)$(ProjectVersion)$(DQ)
rts/RtsUtils_CC_OPTS += -DProjectVersion=$(DQ)$(ProjectVersion)$(DQ)
Ian Lynagh's avatar
Ian Lynagh committed
215
#
216
217
218
219
rts/RtsUtils_CC_OPTS += -DHostPlatform=$(DQ)$(HOSTPLATFORM)$(DQ)
rts/RtsUtils_CC_OPTS += -DHostArch=$(DQ)$(HostArch_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DHostOS=$(DQ)$(HostOS_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DHostVendor=$(DQ)$(HostVendor_CPP)$(DQ)
Ian Lynagh's avatar
Ian Lynagh committed
220
#
221
222
223
224
rts/RtsUtils_CC_OPTS += -DBuildPlatform=$(DQ)$(BUILDPLATFORM)$(DQ)
rts/RtsUtils_CC_OPTS += -DBuildArch=$(DQ)$(BuildArch_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DBuildOS=$(DQ)$(BuildOS_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DBuildVendor=$(DQ)$(BuildVendor_CPP)$(DQ)
Ian Lynagh's avatar
Ian Lynagh committed
225
#
226
227
228
229
rts/RtsUtils_CC_OPTS += -DTargetPlatform=$(DQ)$(TARGETPLATFORM)$(DQ)
rts/RtsUtils_CC_OPTS += -DTargetArch=$(DQ)$(TargetArch_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DTargetOS=$(DQ)$(TargetOS_CPP)$(DQ)
rts/RtsUtils_CC_OPTS += -DTargetVendor=$(DQ)$(TargetVendor_CPP)$(DQ)
Ian Lynagh's avatar
Ian Lynagh committed
230
#
231
232
rts/RtsUtils_CC_OPTS += -DGhcUnregisterised=$(DQ)$(GhcUnregisterised)$(DQ)
rts/RtsUtils_CC_OPTS += -DGhcEnableTablesNextToCode=$(DQ)$(GhcEnableTablesNextToCode)$(DQ)
Ian Lynagh's avatar
Ian Lynagh committed
233
234

# ffi.h triggers prototype warnings, so disable them here:
235
236
237
rts/Interpreter_CC_OPTS += -Wno-strict-prototypes
rts/Adjustor_CC_OPTS    += -Wno-strict-prototypes
rts/sm/Storage_CC_OPTS  += -Wno-strict-prototypes
Simon Marlow's avatar
Simon Marlow committed
238
239

# inlining warnings happen in Compact
240
rts/sm/Compact_CC_OPTS += -Wno-inline
Ian Lynagh's avatar
Ian Lynagh committed
241

Simon Marlow's avatar
Simon Marlow committed
242
# emits warnings about call-clobbered registers on x86_64
243
rts/StgCRun_CC_OPTS += -w
Simon Marlow's avatar
Simon Marlow committed
244

245
246
rts/RetainerProfile_CC_OPTS += -w
rts/RetainerSet_CC_OPTS += -Wno-format
Ian Lynagh's avatar
Ian Lynagh committed
247
# On Windows:
248
249
250
rts/win32/ConsoleHandler_CC_OPTS += -w
rts/win32/ThrIOManager_CC_OPTS += -w
rts/win32/Ticker_CC_OPTS += -w
Ian Lynagh's avatar
Ian Lynagh committed
251
252
253
254
255
256
257
# The above warning supression flags are a temporary kludge.
# While working on this module you are encouraged to remove it and fix
# any warnings in the module. See
#     http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions#Warnings
# for details

# Without this, thread_obj will not be inlined (at least on x86 with GCC 4.1.0)
258
rts/sm/Compact_CC_OPTS += -finline-limit=2500
Ian Lynagh's avatar
Ian Lynagh committed
259
260

# -O3 helps unroll some loops (especially in copy() with a constant argument).
261
262
rts/sm/Evac_CC_OPTS += -funroll-loops
rts/dist/build/sm/Evac_thr_HC_OPTS += -optc-funroll-loops
Ian Lynagh's avatar
Ian Lynagh committed
263
264
265

# These files are just copies of sm/Evac.c and sm/Scav.c respectively,
# but compiled with -DPARALLEL_GC.
266
267
rts/dist/build/sm/Evac_thr_HC_OPTS += -optc-DPARALLEL_GC -Irts/sm
rts/dist/build/sm/Scav_thr_HC_OPTS += -optc-DPARALLEL_GC -Irts/sm
Ian Lynagh's avatar
Ian Lynagh committed
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303

#-----------------------------------------------------------------------------
# Add PAPI library if needed

ifeq "$(GhcRtsWithPapi)" "YES"

rts_CC_OPTS		+= -DUSE_PAPI

rts_PACKAGE_CPP_OPTS	+= -DUSE_PAPI
rts_PACKAGE_CPP_OPTS    += -DPAPI_INCLUDE_DIR=$(PapiIncludeDir)
rts_PACKAGE_CPP_OPTS    += -DPAPI_LIB_DIR=$(PapiLibDir)

ifneq "$(PapiIncludeDir)" ""
rts_HC_OPTS     += -I$(PapiIncludeDir)
rts_CC_OPTS     += -I$(PapiIncludeDir)
rts_HSC2HS_OPTS += -I$(PapiIncludeDir)
endif
ifneq "$(PapiLibDirs)" ""
rts_LD_OPTS     += -L$(PapiLibDirs)
endif

else # GhcRtsWithPapi==YES

rts_PACKAGE_CPP_OPTS += -DPAPI_INCLUDE_DIR=""
rts_PACKAGE_CPP_OPTS += -DPAPI_LIB_DIR=""

endif

# -----------------------------------------------------------------------------
# dependencies

# Hack: we define every way-related option here, so that we get (hopefully)
# a superset of the dependencies.  To do this properly, we should generate
# a different set of dependencies for each way.  Further hack: PROFILING and
# TICKY_TICKY can't be used together, so we omit TICKY_TICKY for now.
rts_MKDEPENDC_OPTS += -DPROFILING -DTHREADED_RTS -DDEBUG
Simon Marlow's avatar
Simon Marlow committed
304
rts_MKDEPENDC_OPTS += -Irts/sm
Ian Lynagh's avatar
Ian Lynagh committed
305
306
307
308

rts_WAYS_DASHED = $(subst $(space),,$(patsubst %,-%,$(strip $(rts_WAYS))))
rts_dist_depfile = rts/dist/build/.depend$(rts_WAYS_DASHED)

Simon Marlow's avatar
Simon Marlow committed
309
rts_dist_C_SRCS  = $(rts_C_SRCS) $(rts_thr_EXTRA_C_SRCS)
Ian Lynagh's avatar
Ian Lynagh committed
310
rts_dist_S_SRCS =  $(rts_S_SRCS)
Simon Marlow's avatar
Simon Marlow committed
311
rts_dist_C_FILES = $(rts_C_SRCS) $(rts_thr_EXTRA_C_SRCS) $(rts_S_SRCS)
Ian Lynagh's avatar
Ian Lynagh committed
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330

$(eval $(call build-dependencies,rts,dist))

$(rts_dist_depfile) : libffi/ffi.h

#-----------------------------------------------------------------------------
# libffi stuff

rts_CC_OPTS     += -Ilibffi/build/include
rts_HC_OPTS     += -Ilibffi/build/include
rts_HSC2HS_OPTS += -Ilibffi/build/include
rts_LD_OPTS     += -Llibffi/build/include

# -----------------------------------------------------------------------------
# compile generic patchable dyn-wrapper

DYNWRAPPER_SRC = rts/dyn-wrapper.c
DYNWRAPPER_PROG = rts/dyn-wrapper$(exeext)
$(DYNWRAPPER_PROG): $(DYNWRAPPER_SRC)
331
	"$(HC)" -cpp -optc-include -optcdyn-wrapper-patchable-behaviour.h $(INPLACE_EXTRA_FLAGS) $< -o $@
Ian Lynagh's avatar
Ian Lynagh committed
332

333
334
335
336
# -----------------------------------------------------------------------------
# build the static lib containing the C main symbol

rts/dist/build/libHSrtsmain.a : rts/dist/build/Main.o
337
	"$(AR)" $(AR_OPTS) $(EXTRA_AR_ARGS) $@ $<
338

Ian Lynagh's avatar
Ian Lynagh committed
339
340
341
342
343
344
345
346
347
348
349
350
351
352
# -----------------------------------------------------------------------------
# The RTS package config

# If -DDEBUG is in effect, adjust package conf accordingly..
ifneq "$(strip $(filter -optc-DDEBUG,$(GhcRtsHcOpts)))" ""
rts_PACKAGE_CPP_OPTS += -DDEBUG
endif

ifeq "$(HaveLibMingwEx)" "YES"
rts_PACKAGE_CPP_OPTS += -DHAVE_LIBMINGWEX
endif

$(eval $(call manual-package-config,rts))

353
ifneq "$(BootingFromHc)" "YES"
Ian Lynagh's avatar
Ian Lynagh committed
354
rts/package.conf.inplace : $(includes_H_CONFIG) $(includes_H_PLATFORM)
355
endif
Ian Lynagh's avatar
Ian Lynagh committed
356
357
358
359
360
361
362
363

# -----------------------------------------------------------------------------
# installing

install : install_rts

.PHONY: install_rts
install_rts:
364
365
366
	$(INSTALL_DIR) $(DESTDIR)$(ghclibdir)
	$(INSTALL_DIR) $(DESTDIR)$(ghclibdir)/include
	"$(CP)" $(ALL_RTS_LIBS) $(DESTDIR)$(ghclibdir)
Ian Lynagh's avatar
Ian Lynagh committed
367
368
369
370
371
372
373
374
375

# -----------------------------------------------------------------------------
# cleaning

$(eval $(call clean-target,rts,dist,rts/dist))

BINDIST_EXTRAS += rts/package.conf.in
BINDIST_EXTRAS += $(ALL_RTS_LIBS)