cmake: Add more documentation, some fixes and cleanup.
[cvc5.git] / cmake / FindHamcrest.cmake
1 # Find Hamcrest
2 # Hamcrest_FOUND - system has Hamcrest lib
3 # Hamcrest_JAR - the Hamcrest jar file
4
5 find_package(Java REQUIRED)
6 include(UseJava)
7
8 find_jar(Hamcrest_JAR hamcrest-core)
9
10 include(FindPackageHandleStandardArgs)
11 find_package_handle_standard_args(Hamcrest DEFAULT_MSG Hamcrest_JAR)
12
13 mark_as_advanced(Hamcrest_JAR)