From a05221176805fb1cc9fd07a5eb72a9c561517e3d Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Thu, 6 Sep 2018 16:46:37 -0700 Subject: [PATCH] cmake: Add Java runtime as required dependency (required for ANTLR). --- CMakeLists.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index f46d3ce30..686c7b514 100644 --- 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}) -- 2.30.2