balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Doc/Howto: remove libsodium

Browse Source
This commit is contained in:
Vincent Bernardoff 2018-05-17 10:34:35 +02:00 committed by Grégoire Henry
parent e1622c7b77
commit db25df02c0
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/introduction/howto.rst
View File

@ -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