Replies: 4 comments
|
Thanks, @MarkAA-uw. Could you please try this PR? #6237 |
0 replies
|
Thanks. That worked for a dynamic build. I also need a static build, which is failing. I've attached log files. I've poked into the problem a bit. The linker cannot find -mark |
0 replies
|
Thanks, @MarkAA-uw. Could you please try this PR #6280? |
0 replies
|
@lucasccordeiro - |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
I tried compiling ESMBC using a dynamic linked library to bitwuzla. I've attached log files for cmake and ninja.
-mark
log-cmake.txt
log-ninja.txt
All reactions