Eliminate equality query dependence on quantifiers engine (#5831)
[cvc5.git] / cmake / FindHamcrest.cmake
1 #####################
2 ## FindHamcrest.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 Hamcrest
12 # Hamcrest_FOUND - system has Hamcrest lib
13 # Hamcrest_JAR - the Hamcrest jar file
14
15 find_package(Java REQUIRED)
16 include(UseJava)
17
18 find_jar(Hamcrest_JAR hamcrest-core)
19
20 include(FindPackageHandleStandardArgs)
21 find_package_handle_standard_args(Hamcrest DEFAULT_MSG Hamcrest_JAR)
22
23 mark_as_advanced(Hamcrest_JAR)