From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 6 Sep 2018 23:46:37 +0000 (-0700)
Subject: cmake: Add Java runtime as required dependency (required for ANTLR).
X-Git-Tag: cvc5-1.0.0~4573
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a05221176805fb1cc9fd07a5eb72a9c561517e3d;p=cvc5.git

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

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})