Repository navigation

More flexible OPAM source installation

avsm released this 29 Mar 16:53

· 1008 commits to master since this release

7d1ab38

Add a ?prefix argument to install_opam_from_source to let it be installed in a custom location such as /usr (useful for CentOS).

Assets 2