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
Installation sous Windows
Ctrl+p
, et exécutez ext install correctnessLab.dafny-vscode
.
*.dfy
, et Dafny VSCode vous proposera d'installer Dafny, comme dans l'image ci-dessous Installation sous Mac OS
En plugin Visual Studio Code
Installation sous Ubuntu
$ 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
sudo apt install dafny
En plugin Visual Studio Code
Installation sous Fedora https://www.mono-project.com/download/stable/#download-lin-fedora
$ 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
sudo dnf install mono-devel
En plugin Visual Studio Code
Ctrl+p
, et exécutez ext install correctnessLab.dafny-vscode
.
*.dfy
, et Dafny VSCode vous proposera d'installer Dafny, comme dans l'image ci-dessous