Re: [MirageOS-devel] How to disable depexts?

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> I'm trying to build mirage on a machine without root access (the new
> Travis container builds). The problem is that mirage wants to download
> depexts with sudo, which fails.
> 
> I see from the code that I can disable depext downloads by passing
> --no-opam-version-check (which seems a bit odd). However, this also
> disables installing regular packages. Is there some way to tell
> mirage/opam/opam-depext that I don't have root?
> 

It's not possible at the moment and it would probably wise to fix that before 
the 2.5.0 release. This is already tracked by 
https://github.com/mirage/mirage/issues/401 and a patch is more than welcome.

Best,
Thomas


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel