Skip to content

Only build co-installable packages on supported compilers#40

Merged
moyodiallo merged 1 commit intoocurrent:mainfrom
benmandrew:co-installable
Feb 9, 2023
Merged

Only build co-installable packages on supported compilers#40
moyodiallo merged 1 commit intoocurrent:mainfrom
benmandrew:co-installable

Conversation

@benmandrew
Copy link
Contributor

Fix for ocurrent/ocaml-ci#470. The functionality for filtering out incompatible root packages already existed in the code, but it was prevented from working by the explicit multicore-release check.

#38 is a solution for the special case of OCaml 5, but is only necessary in the presence of the multicore check. As far as I can tell the check is no longer necessary now that OCaml 5 is released and domains/effects are packages.

While it seems to work on my end I'd appreciate feedback from someone more knowledgeable.

@moyodiallo
Copy link
Contributor

LGTM 👍 . Thanks for the PR, some work needs to be done on ocaml-multicore-ci config before the merge.

@benmandrew
Copy link
Contributor Author

@moyodiallo the work has been done here: ocurrent/ocaml-multicore-ci#41

Can this PR be merged and deployed? After that I can update ocaml-multicore-ci submodules.

@moyodiallo
Copy link
Contributor

Yes, after an extra-review, it can be merged and deployed on the live branch.

@moyodiallo moyodiallo merged commit 695da49 into ocurrent:main Feb 9, 2023
moyodiallo pushed a commit that referenced this pull request Feb 14, 2023
moyodiallo pushed a commit that referenced this pull request Feb 15, 2023
@benmandrew benmandrew deleted the co-installable branch June 1, 2023 10:45
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.

2 participants