build-prog.mk 9.17 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
# 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
# INPLACE_BIN might be empty if we're distcleaning
ifeq "$(findstring clean,$(MAKECMDGOALS))" ""
137
ifeq "$$($1_$2_INSTALL_INPLACE)" "YES"
Ian Lynagh's avatar
Ian Lynagh committed
138
$$($1_$2_INPLACE) : $1/$2/build/tmp/$$($1_$2_PROG) | $$$$(dir $$$$@)/.
Ian Lynagh's avatar
Ian Lynagh committed
139
140
	"$$(CP)" -p $$< $$@
endif
Ian Lynagh's avatar
Ian Lynagh committed
141
142
endif

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

145
146
147
ifeq "$$($1_$2_PROGRAM_WAY)" ""
ifeq "$3" "0"
$1_$2_PROGRAM_WAY = v
148
else ifeq "$$(DYNAMIC_GHC_PROGRAMS)" "YES"
149
150
151
152
153
154
155
$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
156

157
158
$1_$2_DYNAMIC_TOO = NO

Ian Lynagh's avatar
Ian Lynagh committed
159
160
161
162
163
$(call hs-sources,$1,$2)
$(call c-sources,$1,$2)

# --- IMPLICIT RULES

164
$(call distdir-opts,$1,$2,$3)
165
$(call distdir-way-opts,$1,$2,$$($1_$2_PROGRAM_WAY),$3)
Ian Lynagh's avatar
Ian Lynagh committed
166

167
168
169
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
170
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),YES)
171
else
Simon Marlow's avatar
Simon Marlow committed
172
ifeq "$$($1_$2_UseGhcForCC)" "YES"
173
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),YES)
Simon Marlow's avatar
Simon Marlow committed
174
else
175
$(call c-suffix-rules,$1,$2,$$($1_$2_PROGRAM_WAY),NO)
176
endif
Simon Marlow's avatar
Simon Marlow committed
177
endif
Ian Lynagh's avatar
Ian Lynagh committed
178

179
180
$$(foreach dir,$$($1_$2_HS_SRC_DIRS),\
  $$(eval $$(call hs-suffix-rules-srcdir,$1,$2,$$(dir))))
181
$(call hs-suffix-way-rules,$1,$2,$$($1_$2_PROGRAM_WAY))
Ian Lynagh's avatar
Ian Lynagh committed
182

183
184
$(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
185

186
187
$1_$2_LINK_WITH_GCC = NO

188
ifeq "$$($1_$2_$$($1_$2_PROGRAM_WAY)_HS_OBJS)" ""
189
190
191
# 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.
192
$1_$2_$$($1_$2_PROGRAM_WAY)_GHC_LD_OPTS += -no-auto-link-packages -no-hs-main
193
194
endif

195
ifneq "$$(BINDIST)" "YES"
196
# The quadrupled $'s here are because the _<way>_LIB variables aren't
197
# necessarily set when this part of the makefile is read
198
$1/$2/build/tmp/$$($1_$2_PROG) $1/$2/build/tmp/$$($1_$2_PROG).dll : \
199
200
    $$(foreach dep,$$($1_$2_DEPS),\
        $$(if $$(filter ghc%,$$(dep)),\
201
202
203
            $(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
204
            $$(error Bad build stage)))),\
205
        $$$$($$(dep)_dist-$(if $(filter 0,$3),boot,install)_PROGRAM_DEP_LIB)))
206

207
208
209
210
211
212
213
ifeq "$$(Windows_Host) $$($1_$2_PROGRAM_WAY)" "YES dyn"
$1/$2/build/tmp/$$($1_$2_PROG) : $1/$2/build/tmp/$$($1_$2_PROG).c $1/$2/build/tmp/$$($1_$2_PROG).dll | $$$$(dir $$$$@)/.
	$$(call cmd,$1_$2_HC) -no-hs-main -optc-g -optc-O0 $$< -o $$@

$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
214
ifeq "$$($1_$2_LINK_WITH_GCC)" "NO"
215
$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 $$$$@)/.
216
	$$(call cmd,$1_$2_HC) -o $$@ $$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_HC_OPTS) $$(LD_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))
217
218
219
220
ifeq "$$(TargetOS_CPP)" "darwin"
ifneq "$3" "0"
ifeq "$$($1_$2_PROGRAM_WAY)" "dyn"
# Use relative paths for all the libraries
221
ifneq "$$($1_$2_TRANSITIVE_DEP_NAMES)" ""
222
	install_name_tool $$(foreach d,$$($1_$2_TRANSITIVE_DEP_NAMES), -change $$(TOP)/$$($$($$d_INSTALL_INFO)_dyn_LIB) @loader_path/../$$d-$$($$($$d_INSTALL_INFO)_VERSION)/$$($$($$d_INSTALL_INFO)_dyn_LIB_NAME)) $$@
223
endif
224
225
# Use relative paths for the RTS. Rather than try to work out which RTS
# way is being linked, we just change it for all ways
Ian Lynagh's avatar
Ian Lynagh committed
226
	install_name_tool $$(foreach w,$$(rts_WAYS), -change $$(TOP)/$$(rts_$$w_LIB) @loader_path/../rts-$$(rts_VERSION)/$$(rts_$$w_LIB_NAME)) $$@
227
228
229
endif
endif
endif
Ian Lynagh's avatar
Ian Lynagh committed
230
else
231
232
$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 $$$$@)/.
	$$(call cmd,$1_$2_CC) -o $$@ $$($1_$2_$$($1_$2_PROGRAM_WAY)_ALL_CC_OPTS) $$(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
233
endif
234
endif
Ian Lynagh's avatar
Ian Lynagh committed
235
236

# Note [lib-depends] if this program is built with stage1 or greater, we
237
# need to depend on the libraries too.  NB. since $(ALL_STAGE1_LIBS) and
Ian Lynagh's avatar
Ian Lynagh committed
238
239
# $(ALL_RTS_LIBS) are not defined until after libraries/*/ghc.mk have
# been included, this introduces an ordering dependency.
240
ifneq "$$(CLEANING)" "YES"
Ian Lynagh's avatar
Ian Lynagh committed
241
ifneq "$3" "0"
242
243
244
245
ifneq "$$($1_$2_HS_SRCS)" ""
ifeq "$$(strip $$(ALL_STAGE1_LIBS))" ""
$$(error ordering failure in $1 ($2): ALL_STAGE1_LIBS is empty)
endif
246
$1/$2/build/tmp/$$($1_$2_PROG) : $$(ALL_STAGE1_LIBS) $$(ALL_RTS_LIBS) $$(OTHER_LIBS)
Ian Lynagh's avatar
Ian Lynagh committed
247
248
endif
endif
249
endif
250
endif
Ian Lynagh's avatar
Ian Lynagh committed
251

Ian Lynagh's avatar
Ian Lynagh committed
252
ifneq "$$($1_$2_INSTALL_INPLACE)" "NO"
Ian Lynagh's avatar
Ian Lynagh committed
253
$(call all-target,$1_$2,$$($1_$2_INPLACE))
254
endif
Ian Lynagh's avatar
Ian Lynagh committed
255
$(call clean-target,$1,$2_inplace,$$($1_$2_INPLACE))
Ian Lynagh's avatar
Ian Lynagh committed
256
257

ifeq "$$($1_$2_INSTALL)" "YES"
258
ifeq "$$($1_$2_WANT_INSTALLED_WRAPPER)" "YES"
259
260
261
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
262
else
263
INSTALL_BINS     += $1/$2/build/tmp/$$($1_$2_PROG)
Ian Lynagh's avatar
Ian Lynagh committed
264
265
266
endif
endif

267
$(call dependencies,$1,$2,$3)
Ian Lynagh's avatar
Ian Lynagh committed
268

269
270
271
272
273
274
275
276
# 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
277
endef