Stream: Coq Platform devs & users

Topic: System components on platforms without sudo


view this post on Zulip Michael Soegtrop (Nov 09 2020 at 08:28):

I did some more tests on various Linux platforms. One issue is that some don't have sudo enabled by default. Since the script installs system components e.g. with opam depext and sudo is in the end called via opam, it is hard to get around this. Any suggestion how this could be handled besides recommending the user to enable sudo and/or install required components manually?

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 11:13):

When sudo is disabled, there is su; would you want to use that?

view this post on Zulip Michael Soegtrop (Nov 09 2020 at 13:08):

@Paolo Giarrusso : the issue is that opam depext calls the system package installer with sudo. So one does not run "sudo opam depext xyz" but "opam depext xyz" and opam adds the sudo. There is no way to tell opam depext to use su (afaik).

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 13:13):

so would “opam-depext does not seem to support some platforms” be an accurate summary? That would suggest your solution, plus maybe a feature request for opam-depext.

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 13:15):

it doesn’t seem like the Coq platform (in its first release) needs to address all issues in installing software with opam.

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 13:18):

relatedly, some Linux users might like/need anyway the option of _not_ using depext and installing required components manually, maybe because their install is not standard.

view this post on Zulip Théo Zimmermann (Nov 09 2020 at 13:18):

I agree with Paolo. I think it is fine to assume that the Linux platforms we want to target have sudo.

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 13:19):

last unsolicited tip (treat accordingly): having a first release supporting “main” platforms, and adding other platforms as they’re tested, doesn’t sound so bad.

view this post on Zulip Paolo Giarrusso (Nov 09 2020 at 13:21):

especially if installers for 8.12.1 on Mac seem in trouble?

view this post on Zulip Michael Soegtrop (Nov 09 2020 at 13:34):

All this has also to do with opam CI. Opam tests on many platforms and in many cases it easier to fix it on a platform than to negotiate a waver. So I started to test on the same platforms as opam CI has. But this is not one of these cases.

Maybe there is a way for opam depext to just produce the required package names for platform xyz rather than running the install commands. The checks is a package is there anyway should not need sudo.


Last updated: Jan 30 2023 at 10:03 UTC