-
Notifications
You must be signed in to change notification settings - Fork 139
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SymCC fails to compile with -DTARGET_32BIT=ON #159
Comments
I think you're right, and apparently nobody noticed in more than two years 😅 We'll need to have a look at how to fix this properly in CMake. As a workaround, can you try to give CMake some dummy C and C++ flags, either via |
I tried setting the c and cxxflags to
|
@sebastianpoeplau I would like to investigate this further and either find a simple workaround or fix this issue for 32 bit builds. Is it possible for you to maybe hop on a quick call or give me some insight into how I can help in fixing this? |
Any updates on this bug? I'm also stuck on this. |
This error can be prevented by simply removing the leading space of the -m32 tags in the CMakeFile.txt. |
Here are the steps to reproduce the issue. Note that I have already built z3 separately.
Fails with -
The reason I see is that it's trying to use the -m32 flag as " -m32" in it's arguments. Please let me know if I'm missing something trivial.
The text was updated successfully, but these errors were encountered: