#
# Add generic libc headers to standard include search paths
#
REP_INC_DIR += include/libc

#
# Genode-specific supplements to standard libc headers
#
REP_INC_DIR += include/libc-genode

#
# Add platform-specific libc headers to standard include search paths
#
ifeq ($(filter-out $(SPECS),x86),)
  ifeq ($(filter-out $(SPECS),32bit),)
    LIBC_REP_INC_DIR = include/libc-i386
  endif # 32bit

  ifeq ($(filter-out $(SPECS),64bit),)
    LIBC_REP_INC_DIR = include/libc-amd64
  endif # 32bit
  LIBC_REP_INC_DIR += include/libc-x86
endif # x86

ifeq ($(filter-out $(SPECS),arm),)
  LIBC_REP_INC_DIR = include/libc-arm
endif # ARM

#
# If we found no valid include path for the configured target platform,
# we have to prevent the build system from building the target. This is
# done by adding an artificial requirement.
#
ifeq ($(LIBC_REP_INC_DIR),)
  REQUIRES += libc_support_for_your_target_platform
endif

REP_INC_DIR += $(LIBC_REP_INC_DIR)

#
# Prevent gcc headers from defining __size_t. This definition is done in
# machine/_types.h.
#
CC_OPT += -D__FreeBSD__=8

#
# Prevent gcc-4.4.5 from generating code for the family of 'sin' and 'cos'
# functions because the gcc-generated code would actually call 'sincos'
# or 'sincosf', which is a GNU extension, not provided by our libc.
#
CC_OPT += -fno-builtin-sin -fno-builtin-cos -fno-builtin-sinf -fno-builtin-cosf

#
# Automatically add the base library for targets that use the libc
#
# We test for an empty 'LIB_MK' variable to determine whether we are currently
# processing a library or a target. We only want to add the base library to
# targets, not libraries.
#
ifeq ($(LIB_MK),)
LIBS += base
endif
