#       Copyright (c) 2000 Tim Barbour.

# this file exists so that people can choose the kind of build they want,
# therefore the text below is only an example

BASELINE_ROOT	= $(source_root)/../baseline

# use ?= here, so that any prior settings (e.g. from $HOME/.mk_local) will take precedence

# SUBDIRS_OUTERMOST ?= yes

# DEFAULT_TARGET_PLATFORMS ?= host labrat
DEFAULT_TARGET_PLATFORMS ?= host

# DEFAULT_WAYS ?= debug optimise-profile
# DEFAULT_WAYS ?= debug bounds-debug
# DEFAULT_WAYS ?= kernel-kmodule-debug
DEFAULT_WAYS ?= debug kernel-kmodule-debug optimise kernel-kmodule-optimise

# ECHO_DEP_GENERATION ?= yes
# SHOW_CXX_PRELINK_ERRORS ?= yes

# not a good idea, in general
# SKIP_TESTS = yes

# ghc cannot handle shared libraries
#USE_SHARED_LIBS ?= no
#SHARED_LIB_TOO ?= no
# and gdb cannot debug applications that are statically linked against NPTL;
# even worse, g++ has trouble with templates in shared libraries (lots of spurious link errrors related to templates);
# work around this mess by linking against shared libraries, but not building any
# (thus project libraries are static, and okay for templates, while system libraries are shared, so okay for debugging)
USE_SHARED_LIBS ?= yes
SHARED_LIB_TOO ?= no