Having installed OPAM on many servers (both Debian/Ubuntu and CentOS but expecially CentOS) my advice is to use the binary installer as explained here: https://opam.ocaml.org/doc/Install.html
*root is not really required*, I usually install in an unprivileged user home: *$ wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh <https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh> -O - | sh -s ~/bin* All you need is tu put *~/bin* in your *$PATH*. Regards, -- *Paolo*
_______________________________________________ opam-devel mailing list opam-devel@lists.ocaml.org http://lists.ocaml.org/listinfo/opam-devel
