diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-09 17:22:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-09 17:22:07 -0700 |
| commit | f87f038c5f0821d0fefb01cea00bfdec6004da91 (patch) | |
| tree | d948178e1c0d2dc459a976f0d187d2d41a5437c0 /examples/api | |
| parent | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (diff) | |
Rename CVC4_ macros to CVC5_. (#6327)
Diffstat (limited to 'examples/api')
| -rw-r--r-- | examples/api/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | examples/api/java/CMakeLists.txt | 6 | ||||
| -rw-r--r-- | examples/api/python/CMakeLists.txt | 2 |
3 files changed, 6 insertions, 6 deletions
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. |