cmake/FindSymFPU.cmake

   1 #####################
   2 ## FindSymFPU.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 # Find SymFPU
  12 # SymFPU_FOUND - system has SymFPU lib
  13 # SymFPU_INCLUDE_DIR - the SymFPU include directory
  14
  15 find_path(SymFPU_INCLUDE_DIR NAMES symfpu/core/unpackedFloat.h)
  16
  17 include(FindPackageHandleStandardArgs)
  18 find_package_handle_standard_args(SymFPU DEFAULT_MSG SymFPU_INCLUDE_DIR)
  19
  20 mark_as_advanced(SymFPU_INCLUDE_DIR)