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

Support dep variables and 2.0.0~beta5 command-line format #81

Closed
wants to merge 1 commit into from

Conversation

AltGr
Copy link
Contributor

@AltGr AltGr commented Oct 13, 2017

This is not backwards compatible. The system analysis and generation of the
variable is done according to ocaml/opam#3058
(https://gist.github.com/AltGr/5bfc8cea6f01e74b95de79ceaba39369), but is
intended to be moved to opam at some point.

When that happens, this tool will be limited to handling the various package
managers, deciding from the opam variables using e.g. opam var os-distribution.

Note that this drops support for "source" tags, which aren't supported by
beta5 anymore.

This is not backwards compatible. The system analysis and generation of
the variable is done according to
ocaml/opam#3058 (https://gist.github.com/AltGr/5bfc8cea6f01e74b95de79ceaba39369),
but is intended to be moved to opam at some point.

When that happens, this tool will be limited to handling the various
package managers, deciding from the opam variables using e.g. `opam var
os-distribution`.

Note that this drops support for "source" tags, which aren't supported
by beta5 anymore.
@AltGr AltGr mentioned this pull request Oct 13, 2017
| "linux" ->
(String.lowercase @@
try android_release () with Failure _ ->
try command_output "lsb_release -s -r" with Failure _ ->
Copy link
Contributor

Choose a reason for hiding this comment

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

This lsb_release needs to redirect stderr, or else you get lsb_release: command not found on (e.g.) Alpine

@avsm
Copy link
Contributor

avsm commented Nov 7, 2017

Going to merge this soon and work on the remaining problems in trunk...

@avsm avsm mentioned this pull request Nov 11, 2017
@dra27
Copy link
Member

dra27 commented Aug 5, 2021

This got pushed directly (or otherwise merged in 23abbd0) a loooooong time ago

@dra27 dra27 closed this Aug 5, 2021
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