adjust the installation process so that it doesn't redownload z3#297
Open
rfindler wants to merge 1 commit intoemina:masterfrom
Open
adjust the installation process so that it doesn't redownload z3#297rfindler wants to merge 1 commit intoemina:masterfrom
rfindler wants to merge 1 commit intoemina:masterfrom
Conversation
…when the existing z3 appears to work
Author
|
I tried the new function on windows (just copied it over and ran it and got it to return #t) so I think that it works there, but I didn't install it via |
rfindler
changed the title
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.
It seems to take about a second to download z3 (when I'm tethered using my phone's internet) each time I do "raco setup", and this commit saves that time. Also, when not online the installation doesn't fail (well, assuming z3 was installed previously, of course).