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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add build field to XML-Light 2.4 #23369

Merged
merged 1 commit into from
Feb 20, 2023

Conversation

Leonidas-from-XIV
Copy link
Contributor

The current instructions are missing a build field (that xml-light.2.3 has). It works because the install field uses the install_ocamlfind target which depends on all and opt but it seems a bit inelegant to build in the install step.

This was detected as opam-monorepo classifies packages without build instructions as packages without a source, which is not the case for xml-light. A PR exists
tarides/opam-monorepo#376 but there is the question whether missing build steps is a packaging mistake or not.

In any case, this PR is a proposal to fix the issue and I'm looking forward to hear the input of opam-repository maintainers on this question.

The current instructions are missing a `build` field (that
`xml-light.2.3` has). It works because the `install` field uses the
`install_ocamlfind` target which depends on `all` and `opt` but it seems
a bit inelegant to build in the `install` step.

This was detected as opam-monorepo classifies packages without `build`
instructions as packages without a source, which is not the case for
`xml-light`. A PR exists
tarides/opam-monorepo#376 but there is the
question whether missing `build` steps is a packaging mistake or not.

In any case, this PR is a proposal to fix the issue and I'm looking
forward to hear the input of opam-repository maintainers on this
question.
@kit-ty-kate
Copy link
Member

Thanks

@kit-ty-kate kit-ty-kate merged commit 50746b2 into ocaml:master Feb 20, 2023
@Leonidas-from-XIV Leonidas-from-XIV deleted the xml-light-build branch February 20, 2023 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants