-- The C compiler identification is unknown
-- The CXX compiler identification is unknown
CMake Error in CMakeLists.txt:
 The CMAKE_C_COMPILER:

   arm-linux-gnueabi-gcc

 is not a full path and was not found in the PATH.

 Tell CMake where to find the compiler by setting either the environment
 variable "CC" or the CMake cache entry CMAKE_C_COMPILER to the full path to
 the compiler, or to the compiler name if it is in the PATH.


CMake Error in CMakeLists.txt:
 The CMAKE_CXX_COMPILER:

   arm-linux-gnueabi-g++

 is not a full path and was not found in the PATH.

 Tell CMake where to find the compiler by setting either the environment
 variable "CXX" or the CMake cache entry CMAKE_CXX_COMPILER to the full path
 to the compiler, or to the compiler name if it is in the PATH.


-- Configuring incomplete, errors occurred!
See also "/home/usds/Documents/sel4bench/build/CMakeFiles/CMakeOutput.log".
See also "/home/usds/Documents/sel4bench/build/CMakeFiles/CMakeError.log"