Skip to content
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

Jump to bottom

MacOS OpenMP Support #2250

Merged
merged 3 commits into from Apr 19, 2019
Merged

MacOS OpenMP Support #2250

merged 3 commits into from Apr 19, 2019

Conversation

rahulmutt
Copy link
Contributor

This PR will resolve #1788 as soon as the snarky submodule is bumped. I haven't bumped it in this PR because it requires a lot more work. snarky master uses upgraded dependencies so using it causes the overall build to fail.

Checklist:

  • Tests were added for the new behavior
  • All tests pass (CI will check this if you didn't)
  • Serialized types are in stable-versioned modules
  • Does this close issues? Kinda. openmp not enabled on mac builds #1788

@rahulmutt rahulmutt mentioned this pull request Apr 17, 2019
Closed
@jkrauska jkrauska added the ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR label Apr 19, 2019
@mergify mergify bot merged commit c9c1f6c into MinaProtocol:master Apr 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@emberian emberian emberian approved these changes

@mrmr1993 mrmr1993 Awaiting requested review from mrmr1993

Assignees
No one assigned
Labels
ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

openmp not enabled on mac builds
3 participants
@rahulmutt @emberian @jkrauska