diff options
Diffstat (limited to 'cmake/CVC4Config.cmake.in')
-rw-r--r-- | cmake/CVC4Config.cmake.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in index ac6bccb20..20ffeb71e 100644 --- a/cmake/CVC4Config.cmake.in +++ b/cmake/CVC4Config.cmake.in @@ -10,17 +10,17 @@ ## @PACKAGE_INIT@ -set(CVC4_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) -set(CVC4_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@) -set(CVC4_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@) +set(CVC5_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) +set(CVC5_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@) +set(CVC5_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@) if(NOT TARGET CVC4::cvc4) include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) endif() # TODO(project wishue #83): enable these lines -# if(CVC4_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) -# set_and_check(CVC4_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") +# if(CVC5_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) +# set_and_check(CVC5_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") # include(${CMAKE_CURRENT_LIST_DIR}/CVC4JavaTargets.cmake) # endif() |