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.

Sign up for GitHub

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

Make MPI an Extention dep? #21

Closed
mauro3 opened this issue May 3, 2024 · 4 comments
Closed

Make MPI an Extention dep? #21

mauro3 opened this issue May 3, 2024 · 4 comments

Comments

@mauro3
Copy link
Member

mauro3 commented May 3, 2024

No description provided.

@luraess
Copy link
Member

luraess commented May 3, 2024

If, rather an extension?

@mauro3
Copy link
Member Author

mauro3 commented May 3, 2024

Yes, sorry! Title updated

@mauro3 mauro3 changed the title Make MPI a weak dep? Make MPI an Extention dep? May 3, 2024
@luraess
Copy link
Member

luraess commented May 6, 2024

I guess one could yeah - although MPI is not that critical if included, but could be elegant and consistent with backend handling.

@mauro3
Copy link
Member Author

mauro3 commented May 13, 2024

Ivan and I discussed this and it looks like it's too much work for what it is worth, considering MPI is pretty slim.

@mauro3 mauro3 closed this as completed May 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mauro3 @luraess