diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-06 16:46:37 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | a05221176805fb1cc9fd07a5eb72a9c561517e3d (patch) | |
tree | 87b91e0510085cfcf0742b6fc20977754f814313 /CMakeLists.txt | |
parent | 8b0870f933986c29bb40e685d7f3f3fa56ef6b7b (diff) |
cmake: Add Java runtime as required dependency (required for ANTLR).
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
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}) |