diff options
| author | Ian Lynagh <ian@well-typed.com> | 2012-10-03 13:12:23 +0100 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2012-10-03 13:12:23 +0100 |
| commit | 7c0b5182d30b2c1ca31eb288724d9f72bfd580ee (patch) | |
| tree | d8b411fa1e962655386d7ae6f447b78ef354b702 /mk/ways.mk | |
| parent | 898cb090c8812704448ec4cb1c10d50df4b7d664 (diff) | |
| download | haskell-7c0b5182d30b2c1ca31eb288724d9f72bfd580ee.tar.gz | |
The non-dynamic ways now need to explicitly use -static
as x86_64/Linux now defaults to -dynamic
Diffstat (limited to 'mk/ways.mk')
| -rw-r--r-- | mk/ways.mk | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/mk/ways.mk b/mk/ways.mk index c2dcf072fb..1270a28596 100644 --- a/mk/ways.mk +++ b/mk/ways.mk @@ -34,23 +34,23 @@ ALL_WAYS=v p t l s mp mg debug dyn thr thr_l debug_dyn thr_dyn thr_debug_dyn thr # Way 'v': WAY_v_NAME=vanilla -WAY_v_HC_OPTS= +WAY_v_HC_OPTS= -static # Way 'p': WAY_p_NAME=profiling -WAY_p_HC_OPTS= -prof +WAY_p_HC_OPTS= -static -prof # Way 'l': WAY_l_NAME=event logging -WAY_l_HC_OPTS= -eventlog +WAY_l_HC_OPTS= -static -eventlog # Way `mp': WAY_mp_NAME=parallel -WAY_mp_HC_OPTS=-parallel +WAY_mp_HC_OPTS= -static -parallel # Way `mg': WAY_mg_NAME=GranSim -WAY_mg_HC_OPTS=-gransim +WAY_mg_HC_OPTS= -static -gransim # # These ways apply to the RTS only: @@ -58,31 +58,31 @@ WAY_mg_HC_OPTS=-gransim # Way 'thr': WAY_thr_NAME=threaded -WAY_thr_HC_OPTS=-optc-DTHREADED_RTS +WAY_thr_HC_OPTS= -static -optc-DTHREADED_RTS # Way 'thr_p': WAY_thr_p_NAME=threaded profiled -WAY_thr_p_HC_OPTS=-optc-DTHREADED_RTS -prof +WAY_thr_p_HC_OPTS= -static -optc-DTHREADED_RTS -prof # Way 'thr_l': WAY_thr_l_NAME=threaded event logging -WAY_thr_l_HC_OPTS=-optc-DTHREADED_RTS -eventlog +WAY_thr_l_HC_OPTS= -static -optc-DTHREADED_RTS -eventlog # Way 'debug': WAY_debug_NAME=debug -WAY_debug_HC_OPTS=-optc-DDEBUG +WAY_debug_HC_OPTS= -static -optc-DDEBUG # Way 'debug_p': WAY_debug_p_NAME=debug profiled -WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof +WAY_debug_p_HC_OPTS= -static -optc-DDEBUG -prof # Way 'thr_debug': WAY_thr_debug_NAME=threaded -WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG +WAY_thr_debug_HC_OPTS= -static -optc-DTHREADED_RTS -optc-DDEBUG # Way 'thr_debug_p': WAY_thr_debug_p_NAME=threaded debug profiling -WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof +WAY_thr_debug_p_HC_OPTS= -static -optc-DTHREADED_RTS -optc-DDEBUG -prof # Way 'dyn': build dynamic shared libraries WAY_dyn_NAME=dyn |