5 files changed, 13 insertions, 13 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 03cbe1b2c..4b0e547dc 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -83,23 +83,23 @@ if(TARGET CVC4::cvc4jar)
   include(UseJava)
 
   ## disabled until bindings for the new API are in place (issue #2284)
-  # get_target_property(CVC4_JAR CVC4::cvc4jar JAR_FILE)
+  # get_target_property(CVC5_JAR CVC4::cvc4jar JAR_FILE)
   #
-  # add_jar(SimpleVC SimpleVC.java INCLUDE_JARS "${CVC4_JAR}")
+  # add_jar(SimpleVC SimpleVC.java INCLUDE_JARS "${CVC5_JAR}")
   #
   # add_test(
   #   NAME java/SimpleVC
   #   COMMAND
   #     ${Java_JAVA_EXECUTABLE}
-  #       -cp "${CVC4_JAR}:${CMAKE_BINARY_DIR}/SimpleVC.jar"
-  #       -Djava.library.path=${CVC4_JNI_PATH}
+  #       -cp "${CVC5_JAR}:${CMAKE_BINARY_DIR}/SimpleVC.jar"
+  #       -Djava.library.path=${CVC5_JNI_PATH}
   #       SimpleVC
   # )
   # TODO(project wishue #83): enable java examples
   # add_subdirectory(api/java)
 endif()
 
-if(CVC4_BINDINGS_PYTHON)
+if(CVC5_BINDINGS_PYTHON)
   # If legacy Python API has been built
   add_subdirectory(api/python)
 endif()
diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt
index a19349669..5612b10f7 100644
--- a/examples/api/CMakeLists.txt
+++ b/examples/api/CMakeLists.txt
@@ -8,7 +8,7 @@
 ## All rights reserved.  See the file COPYING in the top-level source
 ## directory for licensing information.
 ##
-set(CVC4_EXAMPLES_API
+set(CVC5_EXAMPLES_API
   bitvectors
   bitvectors_and_arrays
   combination
@@ -24,6 +24,6 @@ set(CVC4_EXAMPLES_API
   sygus-inv
 )
 
-foreach(example ${CVC4_EXAMPLES_API})
+foreach(example ${CVC5_EXAMPLES_API})
   cvc4_add_example(${example} "" "api")
 endforeach()
diff --git a/examples/api/java/CMakeLists.txt b/examples/api/java/CMakeLists.txt
index ca4f467ab..338cf193e 100644
--- a/examples/api/java/CMakeLists.txt
+++ b/examples/api/java/CMakeLists.txt
@@ -28,7 +28,7 @@ set(EXAMPLES_API_JAVA
 
 foreach(example ${EXAMPLES_API_JAVA})
   add_jar(${example} ${example}.java
-          INCLUDE_JARS "${CVC4_JAR}"
+          INCLUDE_JARS "${CVC5_JAR}"
           OUTPUT_DIR "${CMAKE_BINARY_DIR}/bin/api/java")
 
   set(EXAMPLE_TEST_NAME api/java/${example})
@@ -37,8 +37,8 @@ foreach(example ${EXAMPLES_API_JAVA})
     NAME ${EXAMPLE_TEST_NAME}
     COMMAND
       ${Java_JAVA_EXECUTABLE}
-        -cp "${CVC4_JAR}:${CMAKE_BINARY_DIR}/bin/api/java/${example}.jar"
-        -Djava.library.path=${CVC4_JNI_PATH}
+        -cp "${CVC5_JAR}:${CMAKE_BINARY_DIR}/bin/api/java/${example}.jar"
+        -Djava.library.path=${CVC5_JNI_PATH}
         ${example}
   )
   set_tests_properties(${EXAMPLE_TEST_NAME} PROPERTIES SKIP_RETURN_CODE 77)
diff --git a/examples/api/python/CMakeLists.txt b/examples/api/python/CMakeLists.txt
index 0a8b8cefd..f460c8841 100644
--- a/examples/api/python/CMakeLists.txt
+++ b/examples/api/python/CMakeLists.txt
@@ -26,7 +26,7 @@ set(EXAMPLES_API_PYTHON
   sygus-inv
 )
 
-find_package(PythonInterp ${CVC4_BINDINGS_PYTHON_VERSION} REQUIRED)
+find_package(PythonInterp ${CVC5_BINDINGS_PYTHON_VERSION} REQUIRED)
 
 # Find Python bindings in the corresponding python-*/site-packages directory.
 # Lookup Python module directory and store path in PYTHON_MODULE_PATH.
diff --git a/examples/nra-translate/CMakeLists.txt b/examples/nra-translate/CMakeLists.txt
index 373560748..2a4ef4799 100644
--- a/examples/nra-translate/CMakeLists.txt
+++ b/examples/nra-translate/CMakeLists.txt
@@ -10,7 +10,7 @@
 ##
 set(EXAMPLES_NRA_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/nra-translate)
 
-set(CVC4_EXAMPLES_NRA_TRANSLATE
+set(CVC5_EXAMPLES_NRA_TRANSLATE
   normalize
   smt2info
   smt2todreal
@@ -20,7 +20,7 @@ set(CVC4_EXAMPLES_NRA_TRANSLATE
   smt2toredlog
 )
 
-foreach(example ${CVC4_EXAMPLES_NRA_TRANSLATE})
+foreach(example ${CVC5_EXAMPLES_NRA_TRANSLATE})
   cvc4_add_example(${example} "" "nra-translate"
     # arguments to binary (for testing)
     # input file is required by all tests