Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / mk / ways.mk
1 #
2 # Options for compiling in different `ways'.
3 #
4 # To configure up your own way, have a look at some of the standard ways
5 # such as profiling, and create your own set of WAY_*_OPTS defs below.
6 # After having done that, add your way string to WAYS, and after having
7 # run the configure script, the different projects will add the new way
8 # to the list of ways they support.
9 #
10
11 #
12 # Definitions of the different ways:
13 #
14 # * their name:
15 # - tag, e.g., p
16 # - description, e.g., profiling
17 # * what they mean to the driver:
18 # - WAY_p_HC_OPTS gives the list of command-line options
19 # to the driver.
20 #
21
22 #
23 # The ways currently defined.
24 #
25 ALL_WAYS=v p t l s mp mg debug dyn thr thr_l p_dyn debug_dyn thr_dyn thr_p_dyn thr_debug_dyn thr_p thr_debug debug_p thr_debug_p l_dyn thr_l_dyn
26
27 #
28 # The following ways currently have treated specially, p t mg,
29 # as the driver script treats these guys specially and needs to carefully be told
30 # about the options for these. Hence, we hide the required command line options
31 # for these in the driver, as this is the only place they are needed.
32 #
33 # If you want to add to these default options, fill in the variables below:
34
35 # Way 'v':
36 WAY_v_NAME=vanilla
37 WAY_v_HC_OPTS= -static
38
39 # Way 'p':
40 WAY_p_NAME=profiling
41 WAY_p_HC_OPTS= -static -prof
42
43 # Way 'l':
44 WAY_l_NAME=event logging
45 WAY_l_HC_OPTS= -static -eventlog
46
47 # Way `mp':
48 WAY_mp_NAME=parallel
49 WAY_mp_HC_OPTS= -static -parallel
50
51 # Way `mg':
52 WAY_mg_NAME=GranSim
53 WAY_mg_HC_OPTS= -static -gransim
54
55 #
56 # These ways apply to the RTS only:
57 #
58
59 # Way 'thr':
60 WAY_thr_NAME=threaded
61 WAY_thr_HC_OPTS= -static -optc-DTHREADED_RTS
62
63 # Way 'thr_p':
64 WAY_thr_p_NAME=threaded profiled
65 WAY_thr_p_HC_OPTS= -static -optc-DTHREADED_RTS -prof
66
67 # Way 'thr_l':
68 WAY_thr_l_NAME=threaded event logging
69 WAY_thr_l_HC_OPTS= -static -optc-DTHREADED_RTS -eventlog
70
71 # Way 'debug':
72 WAY_debug_NAME=debug
73 WAY_debug_HC_OPTS= -static -optc-DDEBUG -ticky -DTICKY_TICKY
74
75 # Way 'debug_p':
76 WAY_debug_p_NAME=debug profiled
77 WAY_debug_p_HC_OPTS= -static -optc-DDEBUG -prof
78
79 # Way 'thr_debug':
80 WAY_thr_debug_NAME=threaded debug
81 WAY_thr_debug_HC_OPTS= -static -optc-DTHREADED_RTS -optc-DDEBUG
82
83 # Way 'thr_debug_p':
84 WAY_thr_debug_p_NAME=threaded debug profiling
85 WAY_thr_debug_p_HC_OPTS= -static -optc-DTHREADED_RTS -optc-DDEBUG -prof
86
87 # Way 'dyn': build dynamic shared libraries
88 WAY_dyn_NAME=dyn
89 WAY_dyn_HC_OPTS=-fPIC -dynamic
90
91 WAY_p_dyn_NAME=p_dyn
92 WAY_p_dyn_HC_OPTS=-fPIC -dynamic -prof
93
94 WAY_thr_p_dyn_NAME=thr_p_dyn
95 WAY_thr_p_dyn_HC_OPTS=-fPIC -dynamic -prof -optc-DTHREADED_RTS
96
97 # Way 'thr_dyn':
98 WAY_thr_dyn_NAME=thr_dyn
99 WAY_thr_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS
100
101 # Way 'thr_debug_dyn':
102 WAY_thr_debug_dyn_NAME=thr_debug_dyn
103 WAY_thr_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS -optc-DDEBUG
104
105 # Way 'debug_dyn':
106 WAY_debug_dyn_NAME=debug_dyn
107 WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG -ticky -DTICKY_TICKY
108
109 # Way 'l_dyn':
110 WAY_l_dyn_NAME=event logging dynamic
111 WAY_l_dyn_HC_OPTS= -fPIC -dynamic -eventlog
112
113 # Way 'thr_l_dyn':
114 WAY_thr_l_dyn_NAME=threaded event logging dynamic
115 WAY_thr_l_dyn_HC_OPTS= -fPIC -dynamic -optc-DTHREADED_RTS -eventlog
116