INCLUDE(CMakeForceCompiler)

SET(CMAKE_SYSTEM_NAME Genode)
SET(CMAKE_SYSTEM_VERSION @SDK_VERSION@)

SET(CMAKE_FORCE_C_COMPILER   @COMPILER_PREFIX@gcc GNU)
SET(CMAKE_FORCE_CXX_COMPILER @COMPILER_PREFIX@g++ GNU)

# where is the target environment
SET(CMAKE_FIND_ROOT_PATH @SDK_PREFIX@)
SET(CMAKE_PREFIX_PATH @SDK_PREFIX@/cmake)

# search for programs in the build host directories
SET(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER)
# for libraries and headers in the target directories
SET(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY ONLY)
SET(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY)
