Skip to content

chore: hardcode unix and threads library in bootstrap#11624

Closed
Alizter wants to merge 1 commit intoocaml:mainfrom
Alizter:fix-bootstrap-promotion
Closed

chore: hardcode unix and threads library in bootstrap#11624
Alizter wants to merge 1 commit intoocaml:mainfrom
Alizter:fix-bootstrap-promotion

Conversation

@Alizter
Copy link
Collaborator

@Alizter Alizter commented Apr 13, 2025

It was discussed that we should be doing something like this in #11199.

@Alizter Alizter requested a review from rgrinberg April 13, 2025 15:24
@Alizter Alizter force-pushed the fix-bootstrap-promotion branch from fb25cdf to 63e99b5 Compare April 13, 2025 16:44
@Alizter Alizter marked this pull request as ready for review April 13, 2025 16:49
Signed-off-by: Ali Caglayan <alizter@gmail.com>
@Alizter Alizter force-pushed the fix-bootstrap-promotion branch from 63e99b5 to b1e0eec Compare April 13, 2025 16:51
@maiste maiste added the chore Something that just needs to be done. label Apr 14, 2025
])
|> Action_builder.of_memo
in
let externals =
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I understand that Dune generates the thread.posix every time, but I don't understand where it comes from. What is a change in the compiler?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't understand why this is reported like this. Maybe @nojb knows the reason?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I believe we are using findlib (or dune's version) for finding these external libraries. At some point ~ OCaml 5.2 we started getting threads.posix rather than both unix and threads.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is a bug in 153fcd1, which inverted the condition. threads.posix is supposed to be filtered out.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@nojb Good catch! I will open another PR with a fix.

@Alizter
Copy link
Collaborator Author

Alizter commented Apr 17, 2025

Fix is here: #11636

@Alizter Alizter closed this Apr 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Something that just needs to be done.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants