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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Package cudajit.0.1.1 #25821

Closed
wants to merge 1 commit into from

Conversation

lukstafi
Copy link
Contributor

@lukstafi lukstafi commented May 9, 2024

cudajit.0.1.1

Bindings to the cuda and nvrtc libraries with a unified interface
Bindings to manually selected parts of lcuda and lnvrtc, with a few types and conversion functions to facilitate use.



馃惈 Pull-request generated by opam-publish v2.3.0

@lukstafi lukstafi marked this pull request as draft May 9, 2024 15:19
@raphael-proust
Copy link
Collaborator

There are CI failures in most (all?) distributions apart from Debian. They are all related to the cuda-toolkit package rather than this here package being released.

I don't think these failures are blockers for this PR. Although it would be good to fix the cuda-toolkit package too (in a separate PR, later).

@lukstafi
Copy link
Contributor Author

There are CI failures in most (all?) distributions apart from Debian. They are all related to the cuda-toolkit package rather than this here package being released.

Depending on cuda-toolkit unconditionally was a very bad idea, because users may not have this package for good reasons.

I decided to follow the recommended practice and have a separate depexts package conf-cuda. Due to opam's technical limitations, this first became two packages conf-cuda-config and conf-cuda, and then I gave up on depexts and instead conf-cuda prints suggested installation instructions. The best case scenario would be that we had passing CI for Ubuntu and ArchLinux, but the current limitation on package variables means we will not have any passing CI.

I will re-submit cudajit.0.1.1 once the conf-cuda PR is submitted. Apologies for this distracting PR!

@lukstafi lukstafi closed this May 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants