cmake/FindHamcrest.cmake

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Mathias Preiner
   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 Hamcrest
  14 # Hamcrest_FOUND - system has Hamcrest lib
  15 # Hamcrest_JAR - the Hamcrest jar file
  16 ##
  17
  18 find_package(Java REQUIRED)
  19 include(UseJava)
  20
  21 find_jar(Hamcrest_JAR hamcrest-core)
  22
  23 include(FindPackageHandleStandardArgs)
  24 find_package_handle_standard_args(Hamcrest DEFAULT_MSG Hamcrest_JAR)
  25
  26 mark_as_advanced(Hamcrest_JAR)