Note that LICENSE.txt is already included in the sdist, but just not in the right place to get picked up when building the wheels. setup.py already copies it to the core folder. It's not clear to me whether it's supposed to be in core or not so I just left the original code as is and added a separate copy to core's parent.

Thanks,

I am merging and checking with nightly build. In case it does the job it is good otherwise, I will revert.
I don't understand what reasoning is behind ROOT_DIR vs LOCAL_SRC_DIR, as the update only uses ROOT_DIR for LICENSE.txt. @rhelmot

the difference between ROOT_DIR and LOCAL_SRC_DIR is that ROOT_DIR is the folder that setup.py lives and LOCAL_SRC_DIR is the folder that CMakeLists.txt lives in (specifically, LOCAL_SRC_DIR is the subset of the whole z3 src tree that is copied into the python bindings dir for the purpose of isolated builds).

This is probably a correct change, but I'm not sure if it completes the job of making sure that the license shows up in the binary distributions. Do we still use the configuration where we assemble a wheel from the canonical z3 build? iirc no, and this should solve the problem in the case I remember building which builds z3 in the manylinux docker container, but just covering my bases.

I checked, the license does show up.