ghc.mk 12.3 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
29
30
31
all_rts : $(ALL_RTS_LIBS)

# The per-dir options
$(eval $(call distdir-opts,rts,dist))

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

Simon Marlow's avatar
Simon Marlow committed
32
ALL_DIRS = hooks parallel sm eventlog
Ian Lynagh's avatar
Ian Lynagh committed
33
34
35
36
37
38
39

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

40
EXCLUDED_SRCS += rts/Main.c
Ian Lynagh's avatar
Ian Lynagh committed
41
42
43
44
45
46
47
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
48
49
# Don't compile .S files when bootstrapping a new arch
ifeq "$(TARGETPLATFORM)" "$(HOSTPLATFORM)"
Ian Lynagh's avatar
Ian Lynagh committed
50
51
52
53
54
55
56
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
57
endif
Ian Lynagh's avatar
Ian Lynagh committed
58
59
60
61
62
63
64
65

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

rts_AUTO_APPLY_CMM = rts/dist/build/AutoApply.cmm

$(rts_AUTO_APPLY_CMM): $(GENAPPLY_INPLACE)
66
	"$(GENAPPLY_INPLACE)" >$@
Ian Lynagh's avatar
Ian Lynagh committed
67
68

rts/dist/build/sm/Evac_thr.c : rts/sm/Evac.c
69
	"$(MKDIRHIER)" $(dir $@)
Ian Lynagh's avatar
Ian Lynagh committed
70
71
	cp $< $@
rts/dist/build/sm/Scav_thr.c : rts/sm/Scav.c
72
	"$(MKDIRHIER)" $(dir $@)
Ian Lynagh's avatar
Ian Lynagh committed
73
74
	cp $< $@

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

77
78
# collect the -l flags that we need to link the rts dyn lib.
rts/libs.depend : $(GHC_PKG_INPLACE)
79
	"$(GHC_PKG_INPLACE)" field rts extra-libraries \
80
	  | sed -e 's/^extra-libraries: //' -e 's/\([a-z]*\)/-l\1/g' > $@
81

Ian Lynagh's avatar
Ian Lynagh committed
82
83
84
85
86
87
88
89
90
91
#-----------------------------------------------------------------------------
# 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
92
93
rts_dist_$1_HC_OPTS = $$(GhcRtsHcOpts)
rts_dist_$1_CC_OPTS = $$(GhcRtsCcOpts)
Ian Lynagh's avatar
Ian Lynagh committed
94
95
96
97
98
99
100
101
102
103
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)

104
rts_$1_LIB = rts/dist/build/libHSrts$$($1_libsuf)
Ian Lynagh's avatar
Ian Lynagh committed
105
106
107

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))
108
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
109
110
111

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

112
113
rts_dist_$1_CC_OPTS += -DRtsWay=$$(DQ)rts_$1$$(DQ)

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

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
133
# We like plenty of warnings.
134
135
136
137
138
139
WARNING_OPTS += -Wall
ifeq "$(GccLT34)" "YES"
WARNING_OPTS += -W
else
WARNING_OPTS += -Wextra
endif
Ian Lynagh's avatar
Ian Lynagh committed
140
141
142
143
144
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
145
146
147
148
149
150
151
152
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
153
154
155
156
#WARNING_OPTS += -Wbad-function-cast
#WARNING_OPTS += -Wshadow
#WARNING_OPTS += -Wcast-qual

Simon Marlow's avatar
Simon Marlow committed
157
STANDARD_OPTS += -Iincludes -Irts
Ian Lynagh's avatar
Ian Lynagh committed
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
# 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

ifeq "$(Windows)" "YES"
# SDM: when compiled with -fasm the RTS currently has bogus references to 
# __imp_base_ things, so working around for now:
rts_HC_OPTS += -fvia-C
endif

ifneq "$(DYNAMIC_RTS)" "YES"
rts_HC_OPTS += -static
else
$(error ToDo: DYNAMIC_RTS)
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.
ifeq "$(TargetOS_CPP)" "openbsd"
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
212
213
rts_CC_OPTS += -fno-common

Ian Lynagh's avatar
Ian Lynagh committed
214
215
216
217
218
219
220
221
222
223
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 = \"

224
# If RtsMain.c is built with optimisation then the SEH exception stuff on
Ian Lynagh's avatar
Ian Lynagh committed
225
226
227
# Windows gets confused.
# This has to be in HC rather than CC opts, as otherwise there's a
# -optc-O2 that comes after it.
228
RtsMain_HC_OPTS += -optc-O0
Ian Lynagh's avatar
Ian Lynagh committed
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252

RtsMessages_CC_OPTS += -DProjectVersion=$(DQ)$(ProjectVersion)$(DQ)
RtsUtils_CC_OPTS += -DProjectVersion=$(DQ)$(ProjectVersion)$(DQ)
#
RtsUtils_CC_OPTS += -DHostPlatform=$(DQ)$(HOSTPLATFORM)$(DQ)
RtsUtils_CC_OPTS += -DHostArch=$(DQ)$(HostArch_CPP)$(DQ)
RtsUtils_CC_OPTS += -DHostOS=$(DQ)$(HostOS_CPP)$(DQ)
RtsUtils_CC_OPTS += -DHostVendor=$(DQ)$(HostVendor_CPP)$(DQ)
#
RtsUtils_CC_OPTS += -DBuildPlatform=$(DQ)$(BUILDPLATFORM)$(DQ)
RtsUtils_CC_OPTS += -DBuildArch=$(DQ)$(BuildArch_CPP)$(DQ)
RtsUtils_CC_OPTS += -DBuildOS=$(DQ)$(BuildOS_CPP)$(DQ)
RtsUtils_CC_OPTS += -DBuildVendor=$(DQ)$(BuildVendor_CPP)$(DQ)
#
RtsUtils_CC_OPTS += -DTargetPlatform=$(DQ)$(TARGETPLATFORM)$(DQ)
RtsUtils_CC_OPTS += -DTargetArch=$(DQ)$(TargetArch_CPP)$(DQ)
RtsUtils_CC_OPTS += -DTargetOS=$(DQ)$(TargetOS_CPP)$(DQ)
RtsUtils_CC_OPTS += -DTargetVendor=$(DQ)$(TargetVendor_CPP)$(DQ)
#
RtsUtils_CC_OPTS += -DGhcUnregisterised=$(DQ)$(GhcUnregisterised)$(DQ)
RtsUtils_CC_OPTS += -DGhcEnableTablesNextToCode=$(DQ)$(GhcEnableTablesNextToCode)$(DQ)

# ffi.h triggers prototype warnings, so disable them here:
Interpreter_CC_OPTS += -Wno-strict-prototypes
Simon Marlow's avatar
Simon Marlow committed
253
254
255
256
257
Adjustor_CC_OPTS    += -Wno-strict-prototypes
sm/Storage_CC_OPTS  += -Wno-strict-prototypes

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

Simon Marlow's avatar
Simon Marlow committed
259
260
261
# emits warnings about call-clobbered registers on x86_64
StgCRun_CC_OPTS += -w

Ian Lynagh's avatar
Ian Lynagh committed
262
RetainerProfile_CC_OPTS += -w
Simon Marlow's avatar
Simon Marlow committed
263
RetainerSet_CC_OPTS += -Wno-format
Ian Lynagh's avatar
Ian Lynagh committed
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
# On Windows:
win32/ConsoleHandler_CC_OPTS += -w
win32/ThrIOManager_CC_OPTS += -w
win32/Ticker_CC_OPTS += -w
# 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)
sm/Compact_CC_OPTS += -finline-limit=2500

# -O3 helps unroll some loops (especially in copy() with a constant argument).
sm/Evac_CC_OPTS += -funroll-loops
sm/Evac_thr_HC_OPTS += -optc-funroll-loops

# These files are just copies of sm/Evac.c and sm/Scav.c respectively,
# but compiled with -DPARALLEL_GC.
Simon Marlow's avatar
Simon Marlow committed
283
284
sm/Evac_thr_HC_OPTS += -optc-DPARALLEL_GC -Irts/sm
sm/Scav_thr_HC_OPTS += -optc-DPARALLEL_GC -Irts/sm
Ian Lynagh's avatar
Ian Lynagh committed
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346

#-----------------------------------------------------------------------------
# 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

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

rts_dist_C_SRCS  = $(rts_C_SRCS)
rts_dist_S_SRCS =  $(rts_S_SRCS)
rts_dist_C_FILES = $(rts_C_SRCS) $(rts_S_SRCS)

$(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)
347
	"$(HC)" -cpp -optc-include -optcdyn-wrapper-patchable-behaviour.h $(INPLACE_EXTRA_FLAGS) $< -o $@
Ian Lynagh's avatar
Ian Lynagh committed
348

349
350
351
352
353
354
# -----------------------------------------------------------------------------
# build the static lib containing the C main symbol

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

Ian Lynagh's avatar
Ian Lynagh committed
355
356
357
358
359
360
361
362
363
364
365
366
367
368
# -----------------------------------------------------------------------------
# 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))

369
ifneq "$(BootingFromHc)" "YES"
Ian Lynagh's avatar
Ian Lynagh committed
370
rts/package.conf.inplace : $(includes_H_CONFIG) $(includes_H_PLATFORM)
371
endif
Ian Lynagh's avatar
Ian Lynagh committed
372
373
374
375
376
377
378
379

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

install : install_rts

.PHONY: install_rts
install_rts:
380
381
382
	$(INSTALL_DIR) $(DESTDIR)$(ghclibdir)
	$(INSTALL_DIR) $(DESTDIR)$(ghclibdir)/include
	"$(CP)" $(ALL_RTS_LIBS) $(DESTDIR)$(ghclibdir)
Ian Lynagh's avatar
Ian Lynagh committed
383
384
385
386
387
388
389
390
391

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

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

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