From db25df02c09aec697fe7165473d5ea4d68c4b342 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Thu, 17 May 2018 10:34:35 +0200 Subject: [PATCH] Doc/Howto: remove libsodium --- docs/introduction/howto.rst | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/docs/introduction/howto.rst b/docs/introduction/howto.rst index 389c8090f..e0b67d8f6 100644 --- a/docs/introduction/howto.rst +++ b/docs/introduction/howto.rst @@ -61,11 +61,7 @@ OS, but it has not been tested recently. A Windows port is in progress. Note that, when executing ``make build-deps``, OPAM will detect if required system dependencies are installed. However, it is not able to -detect which versions you actually have. Typically, ``make`` will -probably fail if you have an libsodium < 1.0.11. In this case, make sure -you have a recent version of libsodium and libsodium-dev, or download -and install them from, eg, https://pkgs.org/download/libsodium18 and -https://pkgs.org/download/libsodium-dev +detect which versions you actually have. If after a ``git pull``, the build fails (either at ``make build-deps`` or ``make``), you might try to clean up a little bit the