cmake: Add Java runtime as required dependency (required for ANTLR).

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f46d3ce301e183d4ea6ff774727283ecb656bd67..686c7b514bf1b607adb387b8ba3db99961e1f0cd 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -286,6 +286,9 @@ find_package(PythonInterp REQUIRED)
 set(ANTLR_HOME ${ANTLR_DIR})
 find_package(ANTLR REQUIRED)
 
+# Java runtime is required for ANTLR
+find_package(Java COMPONENTS Runtime REQUIRED)
+
 set(GMP_HOME ${GMP_DIR})
 find_package(GMP REQUIRED)
 libcvc4_link_libraries(${GMP_LIBRARIES})