Tutoriel d'installation du langage Dafny

Note : La documentation officielle pour l'installation de Dafny se trouve sur la page https://github.com/dafny-lang/dafny/wiki/INSTALL

En plugin Visual Studio Code - En ligne de commande

En plugin Visual Studio Code

Installation en plugin dans Visual Studio Code (recommandé)

  1. Avant de commencer, installez Visual Studio Code https://wiki.student.info.ucl.ac.be/Logiciels/VSCode ou https://code.visualstudio.com
  2. Dans Visual Studio Code, cherchez "Dafny" dans le Marketplace des Extensions. L'extension que vous devez installer est "Dafny" (Dafny for Visual Studio Code, la seule extension dont le domaine est vérifié).
  3. Pour terminer l'installation, ouvrez un fichier Dafny *.dfy avec VSCode qui contient par exemple le mot clé function.
    (Il n'est pas nécessaire d'avoir un programme complet, mais un fichier vide ne permettra pas l'installation complète de Dafny.)
  4. Vous pourriez recevoir le message d'erreur suivant ou un message similaire: "No compatible dotnet runtime found. Dafny requires the .NET Core Runtime 5.0 or greater." Dans ce cas, cliquez sur "Get .NET SDK" et suivez les instructions pour installer ASP.NET Core. (Lisez bien ce que vous télécharger, à priori vous avez besoin de "ASP.NET Core" et pas du SDK.)
    La version 8.0. de ASP.NET est conseillée. Les instructions d'installation sont également disponibles via ce lien : https://dotnet.microsoft.com/download/dotnet/8.0.
    Après l'installation de .NET Core, redémarrez VSCode et ré-ouvrez votre fichier Dafny.
  5. Le processus d'installation devrait se poursuivre. Vous devrez peut-être indiquer que vous avez confiance en ce programme pour permettre à Dafny de fonctionner.
  6. Si Dafny indique qu'il y a une erreur dans votre code, comme dans l'image ci-dessous, c'est que l'installation s'est bien déroulée.


En ligne de commande

Ubuntu
Installation de Dafny sous Ubuntu

  1. Commencez par installer Mono à l'aide des commandes suivantes : 
$ sudo apt install gnupg ca-certificates
$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
$ echo "deb https://download.mono-project.com/repo/ubuntu stable-focal main" | sudo tee /etc/apt/sources.list.d/mono-official-stable.list
$ sudo apt update
  1. Exécutez ensuite la commande sudo apt install dafny

Fedora
Installation de Dafny sous Fedora https://www.mono-project.com/download/stable/#download-lin-fedora

  1. Commencez par installer Mono (https://www.mono-project.com/download/stable/#download-lin-fedora) à l'aide des commandes suivantes : 
$ sudo rpm --import "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF"
$ sudo su -c 'curl https://download.mono-project.com/repo/centos8-stable.repo | tee /etc/yum.repos.d/mono-centos8-stable.repo'
$ sudo dnf update
  1. Exécutez ensuite la commande sudo dnf install mono-devel

Mac OS
Installer Mono sous MacOS (n'inclus pas les instructions d'installation de Dafny)