1.2 KiB
1.2 KiB
Service VOTE
Service de vote à distance Belenios. Documentation inspirée de la documentation officielle.
Utilisation du service
Voir la documentation pour organiser les élections et l'utilisation du service en tant qu'électeur et électrice.
Installation du service
Installation de Belenios
sudo apt install belenios-tool
Installation du serveur web
Installation des dépendances
sudo apt install opam libgmp-dev pkg-config libpcre3-dev libssl-dev zlib1g-dev libsqlite3-dev
opam init
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).
Compilation du serveur web depuis le dépôt
sudo mkdir -p /srv/belenios_web
cd /srv/belenios_web
sudo git clone https://gitlab.inria.fr/belenios/belenios.git
cd belenios
make build-release-server