build-prog.mk 11 KB
Newer Older
1
2
3
4
5
6
7
# -----------------------------------------------------------------------------
#
# (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
8
9
#      http://ghc.haskell.org/trac/ghc/wiki/Building/Architecture
#      http://ghc.haskell.org/trac/ghc/wiki/Building/Modifying
10
11
12
#
# -----------------------------------------------------------------------------

Ian Lynagh's avatar
Ian Lynagh committed
13

14
# Build a program.  Invoke like this:
Ian Lynagh's avatar
Ian Lynagh committed
15
16
17
#
# utils/genapply_MODULES = Main
# utils/genapply_HC_OPTS = -package Cabal
18
# utils/genapply_dist_PROGNAME = genapply
Ian Lynagh's avatar
Ian Lynagh committed
19
#
20
# $(eval $(call build-prog,utils/genapply,dist-install,1))
Ian Lynagh's avatar
Ian Lynagh committed
21
22

define build-prog
23
$(call trace, build-prog($1,$2,$3))
24
$(call profStart, build-prog($1,$2,$3))
Ian Lynagh's avatar
Ian Lynagh committed
25
26
27
28
# $1 = dir
# $2 = distdir
# $3 = GHC stage to use (0 == bootstrapping compiler)

29
ifneq "$$(CLEANING)" "YES"
30
31
ifeq "$$($1_$2_PROGNAME)" ""
$$(error $1_$2_PROGNAME is not set)
Ian Lynagh's avatar
Ian Lynagh committed
32
endif
33
34
35
ifneq "$$($1_$2_PROG)" ""
$$(error $1_$2_PROG is set)
endif
36
$1_$2_PROG = $$($1_$2_PROGNAME)$$(exeext$3)
37
endif
Ian Lynagh's avatar
Ian Lynagh committed
38
39
40
41
42
43
44

ifeq "$$(findstring $3,0 1 2)" ""
$$(error $1/$2: stage argument to build-prog should be 0, 1, or 2)
endif

$(call clean-target,$1,$2,$1/$2)

ian@well-typed.com's avatar
ian@well-typed.com committed
45
46
$$(eval $$(call build-prog-vars,$1,$2,$3))

47
48
49
ifneq "$$($1_$2_NOT_NEEDED)" "YES"
$$(eval $$(call build-prog-helper,$1,$2,$3))
endif
50
$(call profEnd, build-prog($1,$2,$3))
51
52
53
endef


ian@well-typed.com's avatar
ian@well-typed.com committed
54
define build-prog-vars
55
56
57
58
# $1 = dir
# $2 = distdir
# $3 = GHC stage to use (0 == bootstrapping compiler)

Ian Lynagh's avatar
Ian Lynagh committed
59
ifeq "$$($1_USES_CABAL)" "YES"
60
61
62
$1_$2_USES_CABAL = YES
endif

63
ifeq "$$(Windows_Host)" "YES"
64
65
66
67
68
$1_$2_WANT_INPLACE_WRAPPER = NO
else ifneq "$$($1_$2_INSTALL_INPLACE)" "YES"
$1_$2_WANT_INPLACE_WRAPPER = NO
else ifeq "$$($1_$2_SHELL_WRAPPER)" "YES"
$1_$2_WANT_INPLACE_WRAPPER = YES
69
else ifeq "$$(DYNAMIC_GHC_PROGRAMS)" "YES"
70
$1_$2_WANT_INPLACE_WRAPPER = YES
71
72
73
74
else
$1_$2_WANT_INPLACE_WRAPPER = NO
endif

75
ifeq "$$(Windows_Host)" "YES"
76
77
78
79
80
81
82
83
84
$1_$2_WANT_INSTALLED_WRAPPER = NO
else ifneq "$$($1_$2_INSTALL)" "YES"
$1_$2_WANT_INSTALLED_WRAPPER = NO
else ifeq "$$($1_$2_SHELL_WRAPPER)" "YES"
$1_$2_WANT_INSTALLED_WRAPPER = YES
else
$1_$2_WANT_INSTALLED_WRAPPER = NO
endif

Ian Lynagh's avatar
Ian Lynagh committed
85
86
$1_$2_depfile_base = $1/$2/build/.depend

Ian Lynagh's avatar
Ian Lynagh committed
87
88
89
90
91
92
93
ifeq "$$($1_$2_INSTALL_INPLACE)" "NO"
ifeq "$(findstring clean,$(MAKECMDGOALS))" ""
$1_$2_INPLACE = $$(error $1_$2 should not be installed inplace, but INPLACE var evaluated)
else
$1_$2_INPLACE =
endif
else
94
ifeq "$(findstring clean,$(MAKECMDGOALS))" ""
95
96
ifneq "$$($$($1_$2_PROGNAME)_INPLACE)" ""
$$(error $$($1_$2_PROGNAME)_INPLACE defined twice)
97
98
99
endif
endif
ifeq "$$($1_$2_TOPDIR)" "YES"
100
$$($1_$2_PROGNAME)_INPLACE = $$(INPLACE_TOPDIR)/$$($1_$2_PROG)
101
else
102
$$($1_$2_PROGNAME)_INPLACE = $$(INPLACE_BIN)/$$($1_$2_PROG)
103
endif
Ian Lynagh's avatar
Ian Lynagh committed
104
# Where do we install the inplace version?
105
ifeq "$$($1_$2_WANT_INPLACE_WRAPPER)" "YES"
106
$1_$2_INPLACE = $$(INPLACE_LIB)/bin/$$($1_$2_PROG)
Ian Lynagh's avatar
Ian Lynagh committed
107
else
108
$1_$2_INPLACE = $$($$($1_$2_PROGNAME)_INPLACE)
Ian Lynagh's avatar
Ian Lynagh committed
109
110
111
endif
endif

ian@well-typed.com's avatar
ian@well-typed.com committed
112
113
114
115
116
117
118
119
120
endef

define build-prog-helper
# $1 = dir
# $2 = distdir
# $3 = GHC stage to use (0 == bootstrapping compiler)

$(call package-config,$1,$2,$3)

121
ifeq "$$($1_$2_USES_CABAL)" "YES"
122
$(call build-package-data,$1,$2,$3)
Ian Lynagh's avatar
Ian Lynagh committed
123
ifneq "$$(NO_INCLUDE_PKGDATA)" "YES"
124
ifeq "$3" "0"
Ian Lynagh's avatar
Ian Lynagh committed
125
include $1/$2/package-data.mk
126
else ifeq "$(phase)" "final"
Ian Lynagh's avatar
Ian Lynagh committed
127
128
129
130
include $1/$2/package-data.mk
endif
endif
endif
Ian Lynagh's avatar
Ian Lynagh committed
131

Ian Lynagh's avatar
Ian Lynagh committed
132
133
$(call all-target,$1,all_$1_$2)
$(call all-target,$1_$2,$1/$2/build/tmp/$$($1_$2_PROG))
Ian Lynagh's avatar
Ian Lynagh committed
134

Ian Lynagh's avatar
Ian Lynagh committed
135
136
$(call shell-wrapper,$1,$2)

137
138
139
ifeq "$$($1_$2_PROGRAM_WAY)" ""
ifeq "$3" "0"
$1_$2_PROGRAM_WAY = v
140
else ifeq "$$(DYNAMIC_GHC_PROGRAMS)" "YES"
141
142
143
144
145
146
147
$1_$2_PROGRAM_WAY = dyn
else
$1_$2_PROGRAM_WAY = v
endif
endif

$1_$2_WAYS = $$($1_$2_PROGRAM_WAY)
Ian Lynagh's avatar
Ian Lynagh committed
148

149
150
$1_$2_DYNAMIC_TOO = NO

Ian Lynagh's avatar
Ian Lynagh committed
151
152
153
154
155
$(call hs-sources,$1,$2)
$(call c-sources,$1,$2)

# --- IMPLICIT RULES

156
$(call distdir-opts,$1,$2,$3)
157
$(call distdir-way-opts,$1,$2,$$($1_$2_PROGRAM_WAY),$3)
Ian Lynagh's avatar
Ian Lynagh committed
158

159
160
161
ifeq "$3" "0"
# For stage 0, we use GHC to compile C sources so that we don't have to
# worry about where the RTS header files are
162
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),YES)
163
else
Simon Marlow's avatar
Simon Marlow committed
164
ifeq "$$($1_$2_UseGhcForCC)" "YES"
165
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),YES)
Simon Marlow's avatar
Simon Marlow committed
166
else
167
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),NO)
168
endif
Simon Marlow's avatar
Simon Marlow committed
169
endif
Ian Lynagh's avatar
Ian Lynagh committed
170

171
172
$$(foreach dir,$$($1_$2_HS_SRC_DIRS),\
  $$(eval $$(call hs-suffix-rules-srcdir,$1,$2,$$(dir))))
173
$(call hs-suffix-way-rules,$1,$2,$$($1_$2_PROGRAM_WAY))
Ian Lynagh's avatar
Ian Lynagh committed
174

175
176
$(call c-objs,$1,$2,$$($1_$2_PROGRAM_WAY))
$(call hs-objs,$1,$2,$$($1_$2_PROGRAM_WAY))
Ian Lynagh's avatar
Ian Lynagh committed
177

178
179
$1_$2_LINK_WITH_GCC = NO

180
ifeq "$$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS)" ""
181
182
183
# We don't want to link the GHC RTS into C-only programs. There's no
# point, and it confuses the test that all GHC-compiled programs
# were compiled with the right GHC.
184
$1_$2_$$($1_$2_PROGRAM_WAY)_GHC_LD_OPTS += -no-auto-link-packages -no-hs-main
185
186
endif

187
ifneq "$$(BINDIST)" "YES"
188
# The quadrupled $'s here are because the _<way>_LIB variables aren't
189
# necessarily set when this part of the makefile is read
190
$1/$2/build/tmp/$$($1_$2_PROG) $1/$2/build/tmp/$$($1_$2_PROG).dll : \
191
192
    $$(foreach dep,$$($1_$2_DEPS),\
        $$(if $$(filter ghc%,$$(dep)),\
193
194
195
            $(if $(filter 0,$3),$$(compiler_stage1_PROGRAM_DEP_LIB),\
            $(if $(filter 1,$3),$$(compiler_stage2_PROGRAM_DEP_LIB),\
            $(if $(filter 2,$3),$$(compiler_stage2_PROGRAM_DEP_LIB),\
Ian Lynagh's avatar
Ian Lynagh committed
196
            $$(error Bad build stage)))),\
197
        $$$$($$(dep)_dist-$(if $(filter 0,$3),boot,install)_PROGRAM_DEP_LIB)))
198

199
$1_$2_PROG_NEEDS_C_WRAPPER = NO
200
$1_$2_PROG_INPLACE = $$($1_$2_PROG)
201
ifeq "$$(Windows_Host) $$($1_$2_PROGRAM_WAY)" "YES dyn"
202
203
ifneq "$$($1_$2_HS_SRCS)" ""
$1_$2_PROG_NEEDS_C_WRAPPER = YES
204
$1_$2_PROG_INPLACE = inplace-$$($1_$2_PROG)
205
206
207
208
209
endif
endif

ifeq "$$($1_$2_PROG_NEEDS_C_WRAPPER)" "YES"

210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
$1_$2_RTS_OPTS_FLAG = $$(lastword $$(filter -rtsopts -rtsopts=all -rtsopts=some -rtsopts=none -no-rtsopts,$$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_HC_OPTS)))
ifeq "$$($1_$2_RTS_OPTS_FLAG)" "-rtsopts"
$1_$2_RTS_OPTS = RtsOptsAll
else ifeq "$$($1_$2_RTS_OPTS_FLAG)" "-rtsopts=all"
$1_$2_RTS_OPTS = RtsOptsAll
else ifeq "$$($1_$2_RTS_OPTS_FLAG)" "-rtsopts=some"
$1_$2_RTS_OPTS = RtsOptsSafeOnly
else ifeq "$$($1_$2_RTS_OPTS_FLAG)" "-rtsopts=none"
$1_$2_RTS_OPTS = RtsOptsNone
else ifeq "$$($1_$2_RTS_OPTS_FLAG)" "-no-rtsopts"
$1_$2_RTS_OPTS = RtsOptsNone
else
$1_$2_RTS_OPTS = RtsOptsSafeOnly
endif

225
226
227
$1/$2/build/tmp/$$($1_$2_PROG)-inplace-wrapper.c: driver/utils/dynwrapper.c | $$$$(dir $$$$@)/.
	$$(call removeFiles,$$@)
	echo '#include <Windows.h>' >> $$@
228
	echo '#include "Rts.h"' >> $$@
229
	echo 'LPTSTR path_dirs[] = {' >> $$@
230
231
	$$(foreach d,$$($1_$2_DEP_LIB_REL_DIRS),$$(call make-command,echo '    TEXT("/../../$$d")$$(comma)' >> $$@))
	echo '    TEXT("/../../$1/$2/build/tmp/"),' >> $$@
232
233
234
	echo '    NULL};' >> $$@
	echo 'LPTSTR progDll = TEXT("../../$1/$2/build/tmp/$$($1_$2_PROG).dll");' >> $$@
	echo 'LPTSTR rtsDll = TEXT("$$($$(WINDOWS_DYN_PROG_RTS))");' >> $$@
235
	echo 'int rtsOpts = $$($1_$2_RTS_OPTS);' >> $$@
236
237
	cat driver/utils/dynwrapper.c >> $$@

238
239
240
241
242
243
244
245
246
247
248
249
250
251
$1/$2/build/tmp/$$($1_$2_PROG)-wrapper.c: driver/utils/dynwrapper.c | $$$$(dir $$$$@)/.
	$$(call removeFiles,$$@)
	echo '#include <Windows.h>' >> $$@
	echo '#include "Rts.h"' >> $$@
	echo 'LPTSTR path_dirs[] = {' >> $$@
	$$(foreach p,$$($1_$2_TRANSITIVE_DEPS),$$(call make-command,echo '    TEXT("/../lib/$$p")$$(comma)' >> $$@))
	echo '    TEXT("/../lib/"),' >> $$@
	echo '    NULL};' >> $$@
	echo 'LPTSTR progDll = TEXT("../lib/$$($1_$2_PROG).dll");' >> $$@
	echo 'LPTSTR rtsDll = TEXT("$$($$(WINDOWS_DYN_PROG_RTS))");' >> $$@
	echo 'int rtsOpts = $$($1_$2_RTS_OPTS);' >> $$@
	cat driver/utils/dynwrapper.c >> $$@

$1/$2/build/tmp/$$($1_$2_PROG_INPLACE) : $1/$2/build/tmp/$$($1_$2_PROG)-inplace-wrapper.c $1/$2/build/tmp/$$($1_$2_PROG).dll | $$$$(dir $$$$@)/.
252
	$$(call cmd,$1_$2_HC) -no-hs-main -no-auto-link-packages -optc-g -optc-O0 -Iincludes $$< -o $$@
253
254

$1/$2/build/tmp/$$($1_$2_PROG) : $1/$2/build/tmp/$$($1_$2_PROG)-wrapper.c $1/$2/build/tmp/$$($1_$2_PROG).dll | $$$$(dir $$$$@)/.
255
	$$(call cmd,$1_$2_HC) -no-hs-main -no-auto-link-packages -optc-g -optc-O0 -Iincludes $$< -o $$@
256
257
258
259

$1/$2/build/tmp/$$($1_$2_PROG).dll : $$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS) | $$$$(dir $$$$@)/.
	$$(call build-dll,$1,$2,$$($1_$2_PROGRAM_WAY),,$$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS),$$@)
else
260
ifeq "$$($1_$2_LINK_WITH_GCC)" "NO"
261
$1/$2/build/tmp/$$($1_$2_PROG) : $$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS) | $$$$(dir $$$$@)/.
262
	$$(call cmd,$1_$2_HC) -o $$@ $$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_HC_OPTS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_GHC_LD_OPTS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS) $$(addprefix -l,$$($1_$2_EXTRA_LIBRARIES))
263

Ian Lynagh's avatar
Ian Lynagh committed
264
else
265
$1/$2/build/tmp/$$($1_$2_PROG) : $$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS) | $$$$(dir $$$$@)/.
266
	$$(call cmd,$1_$2_CC) -o $$@ $$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_CC_OPTS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_LD_OPTS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_C_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_S_OBJS) $$($1_$2_OTHER_OBJS) $$($1_$2_$$($1_$2_PROGRAM_WAY)_EXTRA_CC_OPTS) $$(addprefix -l,$$($1_$2_EXTRA_LIBRARIES))
Ian Lynagh's avatar
Ian Lynagh committed
267
endif
268
endif
Ian Lynagh's avatar
Ian Lynagh committed
269
270

# Note [lib-depends] if this program is built with stage1 or greater, we
271
# need to depend on the libraries too.  NB. since $(ALL_STAGE1_LIBS) and
Ian Lynagh's avatar
Ian Lynagh committed
272
273
# $(ALL_RTS_LIBS) are not defined until after libraries/*/ghc.mk have
# been included, this introduces an ordering dependency.
274
ifneq "$$(CLEANING)" "YES"
Ian Lynagh's avatar
Ian Lynagh committed
275
ifneq "$3" "0"
276
277
278
279
ifneq "$$($1_$2_HS_SRCS)" ""
ifeq "$$(strip $$(ALL_STAGE1_LIBS))" ""
$$(error ordering failure in $1 ($2): ALL_STAGE1_LIBS is empty)
endif
280
$1/$2/build/tmp/$$($1_$2_PROG) : $$(ALL_STAGE1_LIBS) $$(ALL_RTS_LIBS) $$(OTHER_LIBS)
Ian Lynagh's avatar
Ian Lynagh committed
281
282
endif
endif
283
endif
Ian Lynagh's avatar
Ian Lynagh committed
284

285
286
287
288
# INPLACE_BIN might be empty if we're distcleaning
ifeq "$(findstring clean,$(MAKECMDGOALS))" ""
ifeq "$$($1_$2_INSTALL_INPLACE)" "YES"
$$($1_$2_INPLACE) : $1/$2/build/tmp/$$($1_$2_PROG_INPLACE) | $$$$(dir $$$$@)/.
289
	$$(INSTALL) -m 755 $$< $$@
290
291
292
endif
endif

293
294
295
296
297
298
299
endif

ifneq "$$($1_$2_INSTALL_INPLACE)" "NO"
$(call all-target,$1_$2,$$($1_$2_INPLACE))
endif
$(call clean-target,$1,$2_inplace,$$($1_$2_INPLACE))

Ian Lynagh's avatar
Ian Lynagh committed
300
ifeq "$$($1_$2_INSTALL)" "YES"
301
302
303
ifeq "$$($1_$2_PROG_NEEDS_C_WRAPPER)" "YES"
INSTALL_LIBS     += $1/$2/build/tmp/$$($1_$2_PROG).dll
endif
304
ifeq "$$($1_$2_WANT_INSTALLED_WRAPPER)" "YES"
305
306
307
INSTALL_LIBEXECS += $1/$2/build/tmp/$$($1_$2_PROG)
else ifeq "$$($1_$2_TOPDIR)" "YES"
INSTALL_TOPDIRS  += $1/$2/build/tmp/$$($1_$2_PROG)
Ian Lynagh's avatar
Ian Lynagh committed
308
else
309
INSTALL_BINS     += $1/$2/build/tmp/$$($1_$2_PROG)
Ian Lynagh's avatar
Ian Lynagh committed
310
311
312
endif
endif

313
$(call dependencies,$1,$2,$3)
Ian Lynagh's avatar
Ian Lynagh committed
314

315
316
317
318
319
320
321
322
# The Main module of a program implicitly depends on GHC.TopHandler
# so we need to add a dependency for that. As we don't know which
# module contains Main, we just make all modules in the program
# depend on it.
ifneq "$3" "0"
$$(foreach o,$$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS),$$(eval $$(call add-dependency,$$o,libraries/base/dist-install/build/GHC/TopHandler.$$($$($1_$2_PROGRAM_WAY)_osuf))))
endif

Ian Lynagh's avatar
Ian Lynagh committed
323
endef