# TICKY_TICKY can't be used together, so we omit TICKY_TICKY for now.
rts_dist_MKDEPENDC_OPTS += -DPROFILING -DTHREADED_RTS -DDEBUG
# TICKY_TICKY can't be used together, so we omit TICKY_TICKY for now.
rts_dist_MKDEPENDC_OPTS += -DPROFILING -DTHREADED_RTS -DDEBUG
# -----------------------------------------------------------------------------
# compile dtrace probes if dtrace is supported
# -----------------------------------------------------------------------------
# compile dtrace probes if dtrace is supported