[opam-devel] .opam

Anil Madhavapeddy 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:

> Hello,
> 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?

-anil


More information about the opam-devel mailing list