--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -175,30 +175,30 @@ python_extension_module(cvc5_python_base
 # Copy the pythonic API to the right place. It does not come with its own
 # installation routine and consists only of a few files that need to go to
 # the right place.
-find_package(CVC5PythonicAPI)
+#find_package(CVC5PythonicAPI)
 
-set(COPIED_PYTHONIC_FILES
-  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/__init__.py"
-  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic.py"
-  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic_printer.py"
-)
+#set(COPIED_PYTHONIC_FILES
+#  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/__init__.py"
+#  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic.py"
+#  "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/cvc5_pythonic_printer.py"
+#)
 
-add_custom_command(
-  OUTPUT
-    ${COPIED_PYTHONIC_FILES}
-  COMMAND
-    ${CMAKE_COMMAND} -E copy_directory
-    "${CVC5PythonicAPI_BASEDIR}/cvc5_pythonic_api"
-    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic"
+#add_custom_command(
+#  OUTPUT
+#    ${COPIED_PYTHONIC_FILES}
+#  COMMAND
+#    ${CMAKE_COMMAND} -E copy_directory
+#    "${CVC5PythonicAPI_BASEDIR}/cvc5_pythonic_api"
+#    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic"
   # Remove the license of the Pythonic API from the package's source files.
   # The license file is included in the package's dist-info dir by setup()
-  COMMAND
-    ${CMAKE_COMMAND} -E remove
-    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/LICENSE.txt"
-  DEPENDS cvc5_python_base CVC5PythonicAPI
-)
+#  COMMAND
+#    ${CMAKE_COMMAND} -E remove
+#    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/LICENSE.txt"
+#  DEPENDS cvc5_python_base CVC5PythonicAPI
+#)
 
-add_custom_target(cvc5_python_api ALL DEPENDS ${COPIED_PYTHONIC_FILES})
+#add_custom_target(cvc5_python_api ALL DEPENDS ${COPIED_PYTHONIC_FILES})
 
 set(LICENSE_FILES
   "${CMAKE_BINARY_DIR}/COPYING"
--- a/src/api/python/setup.py.in
+++ b/src/api/python/setup.py.in
@@ -29,7 +29,7 @@ setup(name='cvc5',
       long_description='Python bindings for cvc5 ' + CVC5_VERSION,
       url='https://github.com/cvc5/cvc5',
       zip_safe=False,
-      packages=['cvc5', 'cvc5.pythonic'],
+      packages=['cvc5'], #, 'cvc5.pythonic'],
       package_dir={'':'${CMAKE_CURRENT_BINARY_DIR}'},
       package_data={'': ['cvc5_python_base*.so']},
       extras_require={'test': ['pytest']})