cominfra
/
vote
Archived
8
0
Fork 0
Code Issues Pull Requests Activity

Update README.md

This commit is contained in:
Adrien Bourmault 2023-03-21 23:14:14 +00:00
parent cfe31f9c64
commit bb97df9c00
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -22,7 +22,8 @@ sudo apt install belenios-tool
sudo apt install opam libgmp-dev pkg-config libpcre3-dev libssl-dev zlib1g-dev sudo apt install opam libgmp-dev pkg-config libpcre3-dev libssl-dev zlib1g-dev
opam init opam init
opam install calendar eliom csv opam install calendar eliom csv base64 hex dune atdgen zarith cryptokit calendar cmdliner sqlite3 csv ocsipersist-sqlite eliom gettext-camomile ocamlnet
``` ```
Note : il peut être nécessaire d'augmenter la valeur du timeout OPAMSOLVERTIMEOUT (variable d'environnement). Note : il peut être nécessaire d'augmenter la valeur du timeout OPAMSOLVERTIMEOUT (variable d'environnement).