Skip to content

Instantly share code, notes, and snippets.

@InnovativeInventor

InnovativeInventor/Dockerfile

Created May 8, 2023 05:01
Show Gist options
  • Save InnovativeInventor/d515d9b9bd9ca1a1d9b7d0ff2ebaa983 to your computer and use it in GitHub Desktop.
Save InnovativeInventor/d515d9b9bd9ca1a1d9b7d0ff2ebaa983 to your computer and use it in GitHub Desktop.
Download ZIP
Dockerfile for using Dafny 4.0.0
Raw
Dockerfile
FROM ubuntu:latest
RUN apt-get update && apt-get install -y dotnet-sdk-6.0 curl zip neovim emacs && rm -rf /var/lib/apt/lists/*
RUN curl -L https://github.com/dafny-lang/dafny/releases/download/v4.0.0/dafny-4.0.0-x64-ubuntu-20.04.zip -o dafny-4.0.0.zip
RUN sh -c 'curl -fLo "${XDG_DATA_HOME:-$HOME/.local/share}"/nvim/site/autoload/plug.vim --create-dirs \
https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vim'
RUN unzip dafny-4.0.0.zip
ENV PATH /dafny:$PATH
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment