whack ci

Z3Prover · Sep 3, 2024 · c60452b · c60452b
1 parent 0d389f4
commit c60452b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -282,5 +282,5 @@ def finalize_options(self):
         'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')]
     },
     data_files=[('bin',[os.path.join('bin',EXECUTABLE_FILE)])],
-    cmdclass={'build': build, 'develop': develop, 'sdist': sdist},
+    cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_wheel': bdist_wheel},
 )