Pour utiliser les images Docker, vous devez installer Docker.

Pour l'interface graphique (utilisée par certains outils comme Why3 ou Frama-C), il vous faudra un serveur X11 :

• sous MacOS, utilisez XQuartz, soit avec brew install --cask xquartz, soit à partir de https://www.xquartz.org/
• sous Windows, utilisez VcXsrv

Dans un répertoire de votre choix (il sera utilisé par la suite pour y mettre les fichiers utilisés avec ce conteneur, dans le répertoire /workspace), exécutez les commandes suivantes (remplacez fredblgr/framac:2021 par l'image que vous souhaitez utiliser) :

sous Windows PowerShell :

• lancez le serveur X11 avec :
  • $env:Path += ";C:\Program Files\VcXsrv"
  • $env:DISPLAY = "localhost:0"
  • vcxsrv :0 -multiwindow
• lancer le conteneur Docker avec :
  • docker run --rm -it -v "$(PWD):/workspace:rw" --name 3asl2020 --env="DISPLAY=host.docker.internal:0" fredblgr/framac:2021
    ce qui peut prendre du temps la première fois à cause du téléchargement de l'image.

sous MacOS :

• lancez le serveur X11 avec :
  • open -a XQuartz
• autorisez les connexions locales avec :
  • xhost +localhost
• lancer le conteneur Docker avec :
  • docker run --rm -it -v "$(PWD):/workspace:rw" --name 3asl2020 --env="DISPLAY=host.docker.internal:0" fredblgr/framac:2021
    ce qui peut prendre du temps la première fois à cause du téléchargement de l'image.

sous Linux, la commande docker seule devrait fonctionner.

Arrêt

Quand vous avez terminé, quittez le shell de la machine virtuelle avec Ctrl-D ou exit. Ceci termine immédiatement le conteneur, l'image n'est pas modifiée, seuls les fichiers de /workspace sont enregistrés dans le dossier courant.