#
# Options for compiling in different `ways'. 
# 
# To configure up your own way, have a look at some of the standard ways
# such as profiling, and create your own set of WAY_*_OPTS defs below.
# After having done that, add your way string to WAYS, and after having
# run the configure script, the different projects will add the new way
# to the list of ways they support.
#

#
# Definitions of the different ways:
#   
#   * their name:
#          - tag, e.g., p
#          - description, e.g., profiling
#   * what they mean to the driver:
#          - WAY_p_HC_OPTS gives the list of command-line options
#            to the driver.
#

#
# The ways currently defined.
#
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  pp debug_pp pm debug_pm pc debug_pc l_pp l_pm l_pc

#
# The following ways currently have treated specially, p t mg,
# as the driver script treats these guys specially and needs to carefully be told
# about the options for these. Hence, we hide the required command line options
# for these in the driver, as this is the only place they are needed.
# 
# If you want to add to these default options, fill in the variables below:

# Way 'v':
WAY_v_NAME=vanilla
WAY_v_HC_OPTS= 

# Way 'p':
WAY_p_NAME=profiling
WAY_p_HC_OPTS= -prof

# Way 'l':
WAY_l_NAME=event logging
WAY_l_HC_OPTS= -eventlog

# Way `mp': 
WAY_mp_NAME=parallel
WAY_mp_HC_OPTS=-parallel

# Way `mg': 
WAY_mg_NAME=GranSim
WAY_mg_HC_OPTS=-gransim

#
# These ways apply to the RTS only:
#

# Way 'thr':
WAY_thr_NAME=threaded
WAY_thr_HC_OPTS=-optc-DTHREADED_RTS

# Way 'thr_p':
WAY_thr_p_NAME=threaded profiled
WAY_thr_p_HC_OPTS=-optc-DTHREADED_RTS -prof

# Way 'thr_l':
WAY_thr_l_NAME=threaded event logging
WAY_thr_l_HC_OPTS=-optc-DTHREADED_RTS -eventlog

# Way 'debug':
WAY_debug_NAME=debug
WAY_debug_HC_OPTS=-optc-DDEBUG

# Way 'debug_p':
WAY_debug_p_NAME=debug profiled
WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof

# Way 'thr_debug':
WAY_thr_debug_NAME=threaded
WAY_thr_debug_HC_OPTS=-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 'dyn': build dynamic shared libraries
WAY_dyn_NAME=dyn
WAY_dyn_HC_OPTS=-fPIC -dynamic

# Way 'thr_dyn':
WAY_thr_dyn_NAME=thr_dyn
WAY_thr_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS

# Way 'thr_debug_dyn':
WAY_thr_debug_dyn_NAME=thr_dyn
WAY_thr_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS -optc-DDEBUG

# Way 'debug_dyn':
WAY_debug_dyn_NAME=thr_dyn
WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG

# Parallel Haskell support, Eden group Marburg
#
# Way 'pp':
WAY_pp_NAME=gen.parallel (pvm)
WAY_pp_HC_OPTS=-parpvm

# Way 'pm':
WAY_pm_NAME=gen.parallel (mpi)
WAY_pm_HC_OPTS=-parmpi 

# Way 'pc':
WAY_pc_NAME=mcore parallel (copy)
WAY_pc_HC_OPTS=-parcp

# Way 'debug_pp':
WAY_debug_pp_NAME=debug for parallel (pvm)
WAY_debug_pp_HC_OPTS=-optc-DDEBUG -parpvm

# Way 'debug_pm':
WAY_debug_pm_NAME=debug for parallel (mpi)
WAY_debug_pm_HC_OPTS=-optc-DDEBUG -parmpi

# Way 'debug_pc':
WAY_debug_pc_NAME=debug for mcore parallel (copy)
WAY_debug_pc_HC_OPTS=-optc-DDEBUG -parcp

# combined with logging (not for -debug, which always implies it)
# Way 'l_pp':
WAY_l_pp_NAME=parallel (pvm) with event logging
WAY_l_pp_HC_OPTS=-parpvm -eventlog

# Way 'l_pm':
WAY_l_pm_NAME=parallel (mpi) with event logging
WAY_l_pm_HC_OPTS=-parmpi -eventlog

# Way 'l_pc':
WAY_l_pc_NAME=parallel (copy) with event logging
WAY_l_pc_HC_OPTS=-parcp -eventlog