Thanks for the great writeup Simon! I do wonder why Thomas thinks that OPAMROOT is a bad solution though. It seems quite clean to me -- you can have an OPAM installation pointing to (e.g.) /usr/local/opam and either add that your global PATH or symlink binaries into /usr/local/bin.
This could be scripted up with a fairly trivial shell script (caveat: that I haven't actually written). -anil > On 10 Dec 2014, at 23:12, Thomas Gazagnaire <[email protected]> wrote: > > A (bad) solution is to set change OPAMROOT to an appropriate location. > > Thanks for the write-up, this is very helpful to understand the use-cases. > I've created https://github.com/ocaml/opam/issues/1895 to track that. > > Best, > Thomas > > >> On 10 Dec 2014, at 13:16, Simon Cruanes <[email protected]> wrote: >> >> Hello, >> >> Is there a blessed way to install packages system-wide using Opam? I >> suspect there isn't, so I attached a document [1] that describes my >> use-cases and what I'm thinking of (of course I know you opam >> developers are busy). >> >> Thanks! >> >> Best, >> >> -- >> Simon >> >> [1] http://cedeela.fr/~simon/files/opam_system.html >> or joined file >> >> http://weusepgp.info/ >> key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 >> <opam_system.md>_______________________________________________ >> opam-devel mailing list >> [email protected] >> http://lists.ocaml.org/listinfo/opam-devel > > _______________________________________________ > opam-devel mailing list > [email protected] > http://lists.ocaml.org/listinfo/opam-devel > _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
