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

Windows - MacOS - Ubuntu - Fedora

Windows

Installation sous Windows

  1. Avant de commencer installez Visual Studio Code https://wiki.student.info.ucl.ac.be/Logiciels/VSCode
  2. Dans Visual Studio Code, tapez Ctrl+p, et exécutez ext install correctnessLab.dafny-vscode.
  3. Ouvrez un fichier *.dfy, et Dafny VSCode vous proposera d'installer Dafny, comme dans l'image ci-dessous

  4. Il ne reste plus qu'à accepter l'installation.

Mac OS

Installation sous Mac OS

En plugin Visual Studio Code

  1. Commencez par installer VSCode si ce n'est pas déjà fait (https://wiki.student.info.ucl.ac.be/Logiciels/VSCode)
  2. Installez ensuite Mono en téléchargeant l'archive sur le lien suivant : https://www.mono-project.com/download/stable/#download-mac

  3. Dans VSCode, installez maintenant le plugin pour le langage Dafny

  4. Sur la page du plugin se trouvent les explications quant à son utilisation

Ubuntu

Installation 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

En command line

  1. Exécutez ensuite la commande sudo apt install dafny

En plugin Visual Studio Code

  1. Commencez par installer VSCode si ce n'est pas déjà fait (https://wiki.student.info.ucl.ac.be/Logiciels/VSCode)
  2. Dans VSCode, allez dans l'onglet "Extensions" et recherchez le plugin Dafny. Installez-le alors.

  3. Sur la page du plugin se trouvent les explications quant à son utilisation

Fedora

Installation 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

En command line

  1. Exécutez ensuite la commande sudo dnf install mono-devel

En plugin Visual Studio Code

  1. Installez Visual Studio Code https://wiki.student.info.ucl.ac.be/Logiciels/VSCode
  2. Dans Visual Studio Code, tapez Ctrl+p, et exécutez ext install correctnessLab.dafny-vscode.
  3. Ouvrez un fichier *.dfy, et Dafny VSCode vous proposera d'installer Dafny, comme dans l'image ci-dessous

  4. Il ne reste plus qu'à accepter l'installation.