Dockerfile « docker « scripts - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/scripts/docker/Dockerfile

blob: 3e9d4ff5a4a2ae97b3dbb56b0e538fe5d59ab60f (plain)

FROM nixos/nix

RUN nix-channel --add https://nixos.org/channels/nixpkgs-unstable nixpkgs
RUN nix-channel --update