cmake/Toolchain-aarch64.cmake

   1 #####################
   2 ## Toolchain-aarch64.cmake
   3 ## Top contributors (to current version):
   4 ##   Mathias Preiner
   5 ## This file is part of the CVC4 project.
   6 ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
   7 ## in the top-level source directory and their institutional affiliations.
   8 ## All rights reserved.  See the file COPYING in the top-level source
   9 ## directory for licensing information.
  10 ##
  11 # Toolchain file for building for ARM on Ubuntu host.
  12 #
  13 # Use: cmake .. -DCMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-aarch64.cmake
  14
  15 SET(CMAKE_SYSTEM_NAME Linux)
  16 SET(CMAKE_SYSTEM_PROCESSOR arm)
  17
  18 set(TOOLCHAIN_PREFIX aarch64-linux-gnu)
  19
  20 SET(CMAKE_C_COMPILER ${TOOLCHAIN_PREFIX}-gcc)
  21 SET(CMAKE_CXX_COMPILER ${TOOLCHAIN_PREFIX}-g++)
  22
  23 # Set target environment path
  24 SET(CMAKE_FIND_ROOT_PATH /usr/${TOOLCHAIN_PREFIX})
  25
  26 # Adjust the default behaviour of the find_XXX() commands:
  27 # search headers and libraries in the target environment, search
  28 # programs in the host environment
  29 set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER)
  30 set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY BOTH)
  31 set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE BOTH)