-
Notifications
You must be signed in to change notification settings - Fork 184
Avoid installing gmp when executing install-macos.sh
#2063
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
base: main
Are you sure you want to change the base?
Conversation
install-macos.sh
|
Benchmark Results for unmodified programs 🚀
|
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #2063 +/- ##
=======================================
Coverage 96.58% 96.58%
=======================================
Files 102 102
Lines 42924 42924
=======================================
Hits 41456 41456
Misses 1468 1468 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
if ! type foobar &> /dev/null; then | ||
brew install gmp | ||
fi |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What is type foobar
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe we can do:
brew install --force gmp
Instead of checking if it exists.
Waiting for this conversation to be resolved
Add a check in install-macos.sh to see if gmp is already installed
Description
Description of the pull request changes and motivation.
Checklist