Rename occurrences of CVC4 to CVC5. (#6351)

This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.

3 files changed, 8 insertions, 8 deletions

diff --git a/src/api/python/cvc4.pxd b/src/api/python/cvc4.pxd
index 8072dbfa7..213372892 100644
--- a/src/api/python/cvc4.pxd
+++ b/src/api/python/cvc4.pxd
@@ -14,7 +14,7 @@ cdef extern from "<iostream>" namespace "std":
     ostream cout
 
 
-cdef extern from "api/cpp/cvc5.h" namespace "CVC4":
+cdef extern from "api/cpp/cvc5.h" namespace "cvc5":
     cdef cppclass Options:
         pass
 
diff --git a/src/api/python/genkinds.py.in b/src/api/python/genkinds.py.in
index f65ccdc5a..a78372e71 100644
--- a/src/api/python/genkinds.py.in
+++ b/src/api/python/genkinds.py.in
@@ -13,8 +13,8 @@
 ##
 
 """
-This script reads CVC4/src/api/cpp/cvc5_kind.h and generates
-.pxd and .pxi files which declare all the CVC4 kinds and
+This script reads cvc5/src/api/cpp/cvc5_kind.h and generates
+.pxd and .pxi files which declare all the cvc5 kinds and
 implement a Python wrapper for kinds, respectively. The
 default names are kinds.pxd / kinds.pxi, but the name is
 configurable from the command line with --kinds-file-prefix.
@@ -28,7 +28,7 @@ import argparse
 import os
 import sys
 
-# get access to CVC4/src/api/parsekinds.py
+# get access to cvc5/src/api/parsekinds.py
 sys.path.insert(0, os.path.abspath('${CMAKE_SOURCE_DIR}/src/api'))
 
 from parsekinds import *
diff --git a/src/api/python/setup.py.in b/src/api/python/setup.py.in
index c5d21eb88..8919dd3f1 100644
--- a/src/api/python/setup.py.in
+++ b/src/api/python/setup.py.in
@@ -11,7 +11,7 @@
 # directory for licensing information.
 # #############################################################################
 #
-# This script is automatically configured with cmake when CVC4
+# This script is automatically configured with cmake when cvc5
 # is built with --python-bindings. It is called during make
 # install to automatically install the python bindings using
 # distutils.
@@ -24,7 +24,7 @@ from distutils.core import setup
 from distutils.command.clean import clean
 from distutils.command.install import install
 
-class PyCVC4Install(install):
+class PyCVC5Install(install):
 
     # Calls the default run command, then deletes the build area
     # (equivalent to "setup clean --all").
@@ -36,8 +36,8 @@ class PyCVC4Install(install):
         c.run()
 
 setup(name='pycvc4',
-      version='${CVC5_MAJOR}.${CVC5_MINOR}.${CVC4_RELEASE}',
+      version='${CVC5_MAJOR}.${CVC5_MINOR}.${CVC5_RELEASE}',
       packages=['pycvc4'],
       package_dir={'pycvc4': '${CMAKE_CURRENT_BINARY_DIR}/pycvc4'},
       package_data={'pycvc4': ['pycvc4.so']},
-      cmdclass={'install': PyCVC4Install})
+      cmdclass={'install': PyCVC5Install})