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 | |
parent | 550c49a7dd2b13ea29743458336f0c0a0fb6099a (diff) |
Rename CVC4_ macros to CVC5_. (#6327)
Diffstat (limited to 'examples')
-rw-r--r-- | examples/CMakeLists.txt | 10 | ||||
-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 | ||||
-rw-r--r-- | examples/nra-translate/CMakeLists.txt | 4 |
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 |