Commit bad50774 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

In INSTALL, give guidance in case a third-party site is down

parent 7be3a4b4
......@@ -170,8 +170,36 @@ tool_ section above.
### OCamlDuce incompatibility
OCamlDuce is an optional transitive dependency of Belenios, but
Belenios does not use it. If OCamlDuce was installed outside of OPAM
(e.g. via your system package manager), you may face issues. You can
work around them by uninstalling OCamlDuce and restarting the
installation procedure.
### Missing sources
The instructions outlined in this document and in the
`` script imply downloading files from third-party
servers. Sometimes, these servers can be down. For example, you can
=-=-= Installing ocamlnet.3.7.3 =-=-=
ocamlnet.3.7.3 Downloading
[ERROR] is not available
===== ERROR while installing ocamlnet.3.7.3 =====
Could not get the source for ocamlnet.3.7.3.
This can be worked around with the following steps:
* source the generated `` file (you must adapt it if you use an
incompatible shell such as tcsh);
* download the file from an alternate source (for example
[Debian source packages](;
* run `opam pin <package-name> <path-to-file-download-above>` (in the
example above, `<package-name>` would be `ocamlnet`);
* resume the installation by running again the `opam install` command
found in ``;
* follow the instructions given at the end of ``.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment