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