On Mon, Jul 27, 2020 at 1:29 PM Jeff Law <law(a)redhat.com> wrote:
Whatever you committed in the last couple days seems to have fixed
the issue. I
just got a clean build of z3 on x86_64.
Hmmm. That's mysterious. All I did was switch us from building with
the old python script method to building with cmake. I suppose it's
possible that different flags are passed to the compiler this way, but
the sources are exactly the same.
--
Jerry James
http://www.jamezone.org/