-
Notifications
You must be signed in to change notification settings - Fork 414
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’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
pkg: allow pkg for release builds #11378
base: main
Are you sure you want to change the base?
Conversation
Signed-off-by: Stephen Sherratt <[email protected]>
Shouldn't |
-p triggers --release. So yes, this is the reason. Opam release builds should ignore lock directories |
@rgrinberg would there be any harm in moving |
Grepping through the opam repository shows me there's a handful of packages that use |
Looks like there's only 5 or so packages whose latest version uses |
We could already switch the existing releases to |
Given the small number of packages in question, I think you should add a step to create an issue in the respective bug trackers telling people they need to switch. You could also add a new flag ( |
I was thinking I'd just send a PR that fixes the issue directly, though raising an issue would be less work.
Why not just let people use |
Fixes #11375
@rgrinberg do you remember why "--ignore-lock-dir" was added to the arguments passed by "--release"? Is it now safe to remove?