--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -25,7 +25,7 @@
   # a directory within the Python wheel package so that
   # the package is self-contained. It works on Linux,
   # macOS, and Windows.
-  find_package(Repairwheel 0.3.2 REQUIRED)
+  #find_package(Repairwheel 0.3.2 REQUIRED)
 endif()
 
 configure_file(genenums.py.in genenums.py)
@@ -179,7 +179,7 @@
 # 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(LICENSE_FILES
   "${CMAKE_CURRENT_BINARY_DIR}/AUTHORS"
@@ -210,43 +210,43 @@
   DEPENDS 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"
-)
-
-add_custom_command(
-  OUTPUT
-    ${COPIED_PYTHONIC_FILES}
-  COMMAND
-    ${CMAKE_COMMAND} -E copy_directory
-    "${CVC5PythonicAPI_BASEDIR}/cvc5_pythonic_api"
-    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic"
+#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"
   # 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 CVC5PythonicAPI
-)
+#  COMMAND
+#    ${CMAKE_COMMAND} -E remove
+#    "${CMAKE_CURRENT_BINARY_DIR}/cvc5/pythonic/LICENSE.txt"
+#  DEPENDS CVC5PythonicAPI
+#)
+
+#if(ONLY_PYTHON_EXT_SRC)
+
+#  add_custom_target(
+#    cvc5_python_api ALL DEPENDS
+#      ${PYTHON_EXT_SRC_FILES}
+#      ${COPIED_PYTHONIC_FILES}
+#      ${LICENSE_FILES}
+#  )
 
-if(ONLY_PYTHON_EXT_SRC)
-
-  add_custom_target(
-    cvc5_python_api ALL DEPENDS
-      ${PYTHON_EXT_SRC_FILES}
-      ${COPIED_PYTHONIC_FILES}
-      ${LICENSE_FILES}
-  )
-
-else()
+#else()
 
   add_custom_target(
     cvc5_python_api ALL DEPENDS
       ${CVC5_PYTHON_BASE_LIB}
-      ${COPIED_PYTHONIC_FILES}
-      ${LICENSE_FILES}
+#      ${COPIED_PYTHONIC_FILES}
+#      ${LICENSE_FILES}
   )
 
   set(INSTALL_CMD
@@ -273,4 +273,4 @@
     -P ${CMAKE_SOURCE_DIR}/cmake/install_python_wheel.cmake)"
     COMPONENT python-api)
 
-endif()
+#endif()
--- a/src/api/python/setup.py.in
+++ b/src/api/python/setup.py.in
@@ -26,8 +26,8 @@
 
 ext_filename = 'cvc5_python_base' + sysconfig.get_config_var('EXT_SUFFIX')
 
-packages=['cvc5', 'cvc5.pythonic']
-license_files=["COPYING", "licenses/*"]
+packages=['cvc5'] #, 'cvc5.pythonic']
+license_files=[] #"COPYING", "licenses/*"]
 
 # If we have already compiled the Python extension module,
 # include the module directly instead of recompiling it.
--- a/cmake/install_python_wheel.cmake
+++ b/cmake/install_python_wheel.cmake
@@ -32,14 +32,16 @@
 
 execute_process(COMMAND 
     ${Python_EXECUTABLE} -m pip wheel ${BUILD_DIR}/src/api/python
-    --wheel-dir=${BUILD_DIR}/unrepaired-wheel)
+    --wheel-dir=${BUILD_DIR}/repaired-wheel
+    --no-build-isolation)
 
-file(GLOB WHL_FILE ${UNREPAIRED_WHEEL_DIR}/cvc5*.whl)
+#file(GLOB WHL_FILE ${UNREPAIRED_WHEEL_DIR}/cvc5*.whl)
 
-execute_process(COMMAND
-    ${Repairwheel_EXECUTABLE} -o ${BUILD_DIR}/repaired-wheel
-    -l ${BUILD_DIR}/src -l ${BUILD_DIR}/src/parser
-    -l ${DEPS_BASE}/bin ${WHL_FILE})
+#execute_process(COMMAND
+#    ${Repairwheel_EXECUTABLE} -o ${BUILD_DIR}/repaired-wheel
+#    -l ${BUILD_DIR}/src -l ${BUILD_DIR}/src/parser
+#    -l ${DEPS_BASE}/bin ${WHL_FILE})
+#file(COPY ${WHL_FILE} DESTINATION ${REPAIRED_WHEEL_DIR})
 
 file(GLOB WHL_FILE ${REPAIRED_WHEEL_DIR}/cvc5*.whl)