[MirageOS-devel] How to disable depexts?

[Thomas Leonard <talex5@xxxxxxxxx>]

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?


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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