New versions of optional libraries #17
Merged
Conversation
This file contains 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
davexparker
force-pushed
the
newlibs
branch
7 times, most recently
from
2479aba to
a128765
Compare
…ests". Sometimes, CI testing generates failures that are not reproducible locally.
Also update documentation: * Version info in ext/README.md * Compile info in ext/z3/README.md (not in etc/prism-install-*) And add z3 test to CI testing.
* update Makefile and libs storage to support multiple archs (as done already for Z3) * document build process in add ext/yices/README.md (and remove from prism-install-ubuntu) * add yices test to CI testing.
All files/links in OS-specific subdirectory are copied (don't need to list in Makefile, warning printed if none) OS-independent files go in 'common' subdirectory. OS-specific directories can override files in common. Clean targets remove native libraries for any OS.
And update install process to match the ones for Z3/Yices. Updated build instructions (including Cygwin) in ext/ppl/README.md (and removed from prism-install-ubuntu)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Updates to optional libraries and integration of PPL:
Also: