#377: improve bitwuzla build scripts and documentation#378
Merged
Conversation
We want to avoid complex and time-consuming steps when building and maintaining Docker images, such as compiling cmake from source, whenever an SMT solver requires a dependency that is not natively available on a given Ubuntu version. The number of JavaSMT users still using an Ubuntu version older than 22.04 might be quite low, so we plan to use Ubuntu 22.04 for building upcoming releases of solver binaries.
Instead of compiling towards several shared libraries, we can combine several static libraries into one shared library. This simplifies packaging and publishing. This is part of #377.
This is part of #377.
This is part of #377.
kfriedberger
force-pushed
the
377/improve-bitwuzla-build-scripts
branch
from
7662777 to
cb6f689
Compare
kfriedberger
force-pushed
the
377/improve-bitwuzla-build-scripts
branch
from
cb6f689 to
c8aad5d
Compare
The version of Mingw provided with Ubuntu 22.04 comes with two alternatives (posix and win32) for handling low-level things like threads and file-access. It seems as if the win32-version does not yet support C17/C++17. Thus, we use the posix-pendant.
The published Bitwuzla library is shipped with an all-inclusive Windows-DLL, and also the shared library for Linux.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.