2 # Options for compiling in different `ways'.
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.
12 # Definitions of the different ways:
16 # - description, e.g., profiling
17 # * what they mean to the driver:
18 # - WAY_p_HC_OPTS gives the list of command-line options
23 # The ways currently defined.
25 ALL_WAYS=v p t l s mp mg debug dyn thr thr_l debug_dyn thr_dyn thr_debug_dyn thr_p thr_debug debug_p thr_debug_p
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.
33 # If you want to add to these default options, fill in the variables below:
44 WAY_l_NAME=event logging
45 WAY_l_HC_OPTS= -eventlog
49 WAY_mp_HC_OPTS=-parallel
53 WAY_mg_HC_OPTS=-gransim
56 # These ways apply to the RTS only:
61 WAY_thr_HC_OPTS=-optc-DTHREADED_RTS
64 WAY_thr_p_NAME=threaded profiled
65 WAY_thr_p_HC_OPTS=-optc-DTHREADED_RTS -prof
68 WAY_thr_l_NAME=threaded event logging
69 WAY_thr_l_HC_OPTS=-optc-DTHREADED_RTS -eventlog
73 WAY_debug_HC_OPTS=-optc-DDEBUG
76 WAY_debug_p_NAME=debug profiled
77 WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof
80 WAY_thr_debug_NAME=threaded
81 WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG
84 WAY_thr_debug_p_NAME=threaded debug profiling
85 WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof
87 # Way 'dyn': build dynamic shared libraries
89 WAY_dyn_HC_OPTS=-fPIC -dynamic
92 WAY_thr_dyn_NAME=thr_dyn
93 WAY_thr_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS
95 # Way 'thr_debug_dyn':
96 WAY_thr_debug_dyn_NAME=thr_dyn
97 WAY_thr_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS -optc-DDEBUG
100 WAY_debug_dyn_NAME=thr_dyn
101 WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG