anil at recoil.org
Thu Sep 19 10:28:18 BST 2013
On 19 Sep 2013, at 10:19, Dagnat Fabien <fabien.dagnat at telecom-bretagne.eu> wrote:
> The documentation abstracts .opam as $opam suggesting that we can install the opam repository anywhere but I can't find any documentation on how to do that. Can someone point me where to look at?
From `man opam`:
-r ROOT, --root=ROOT (absent=~/.opam)
Use ROOT as the current root path. This is equivalent to setting $OPAMROOT to ROOT.
> Are there any experiments on sharing part of a repository to avoid duplicating some basic common elements?
Not sure what you're looking to do here -- what do you want to vary between repositories?
More information about the opam-devel