cmake/FindLFSC.cmake

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Gereon Kremer, Mathias Preiner, Andres Noetzli
   4 #
   5 # This file is part of the cvc5 project.
   6 #
   7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
   8 # in the top-level source directory and their institutional affiliations.
   9 # All rights reserved.  See the file COPYING in the top-level source
  10 # directory for licensing information.
  11 # #############################################################################
  12 #
  13 # Find LFSC
  14 # LFSC_FOUND - system has LFSC lib
  15 # LFSC_INCLUDE_DIR - the LFSC include directory
  16 # LFSC_LIBRARIES - Libraries needed to use LFSC
  17 ##
  18
  19 find_program(LFSC_BINARY
  20     NAMES lfscc
  21     PATHS ${CMAKE_SOURCE_DIR}/deps/bin
  22 )
  23 find_path(LFSC_INCLUDE_DIR
  24     NAMES lfscc.h
  25     PATHS ${CMAKE_SOURCE_DIR}/deps/include
  26 )
  27 find_library(LFSC_LIBRARIES
  28     NAMES lfscc
  29     PATHS ${CMAKE_SOURCE_DIR}/deps/lib
  30 )
  31
  32 include(FindPackageHandleStandardArgs)
  33 find_package_handle_standard_args(LFSC
  34     QUIET
  35     LFSC_BINARY LFSC_INCLUDE_DIR LFSC_LIBRARIES)
  36
  37 mark_as_advanced(LFSC_BINARY LFSC_INCLUDE_DIR LFSC_LIBRARIES)
  38 if(LFSC_FOUND)
  39   message(STATUS "Found LFSC: ${LFSC_BINARY}")
  40 endif()