Skip to content

Conversation

kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented Sep 6, 2025

@dra27
Copy link
Member

dra27 commented Sep 15, 2025

This is very timely, thanks! Relocatable needs to update one of the other gen_ocaml_config.ml scripts, and one of the things I'd dealt with is the very strange situation where we appear to be making this "archive" repository the primary location of development for some of these scripts 😁

@dra27 dra27 self-assigned this Sep 15, 2025
@dra27
Copy link
Member

dra27 commented Sep 15, 2025

(the commits are in dra27/ocaml#ocaml-config - I'll do a PR for that relatively soon... GitHub's ridiculous display of commits in date order rather than graph order makes looking at that branch very strange)

@mseri
Copy link
Member

mseri commented Sep 16, 2025

Should we wait for an update to this PR then?

@dra27
Copy link
Member

dra27 commented Sep 16, 2025

Yes, please! I'm also not instantly certain that the change is a good idea (but that also means I'm not instantly certain that it's a bad idea either!!), so I'd await @Octachron's opinion. I have encountered in my own testing before the issue here with ocaml-system, but my instinct then was not to change ocaml-system. What's different now, of course, is that ocaml-system is very de-prioritised since opam 2.4 for normal users.

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.

3 participants