Skip to content
Snippets Groups Projects
Commit 83528c8a authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[doc] Mention python3 as a requirement for CAISAR to work properly.

parent 3c1b0b7d
No related branches found
No related tags found
No related merge requests found
...@@ -8,13 +8,15 @@ The latest release of CAISAR is available as an ...@@ -8,13 +8,15 @@ The latest release of CAISAR is available as an
a `Docker <https://www.docker.com/>`_ image. a `Docker <https://www.docker.com/>`_ image.
The development version of CAISAR is available only by compiling the source code. The development version of CAISAR is available only by compiling the source code.
CAISAR needs access to a ``python3`` interpreter, which is
a default in all major GNU/Linux distributions.
Install through Opam Install through Opam
-------------------- --------------------
**Please note:** CAISAR requires the OCaml package manager This method requires requires the OCaml package manager
(Opam) v2.1 or higher, which is typically avaible in all major (Opam) v2.1 or higher to be installed in your system.
GNU/Linux distributions. It is typically avaible in all major GNU/Linux distributions.
To install CAISAR via opam, do the following: To install CAISAR via opam, do the following:
...@@ -52,7 +54,9 @@ To run the CAISAR Docker image, do the following: ...@@ -52,7 +54,9 @@ To run the CAISAR Docker image, do the following:
Compile from source Compile from source
------------------- -------------------
To build and install CAISAR, do the following: To build and install CAISAR, do the following (this may take
some time, as it will download a full OCaml toolchain,
required dependencies and compile them):
.. code-block:: console .. code-block:: console
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment