From f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 10 Jul 2021 21:06:31 +0200
Subject: Add more documentation and clean up benchmarks

---
 scripts/docker/Dockerfile | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'scripts/docker/Dockerfile')

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index 3e9d4ff..9612938 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -2,3 +2,12 @@ FROM nixos/nix
 
 RUN nix-channel --add https://nixos.org/channels/nixpkgs-unstable nixpkgs
 RUN nix-channel --update
+
+RUN nix-env -i yosys git tmux vim gcc iverilog
+
+RUN git clone --recursive https://github.com/ymherklotz/vericert
+
+WORKDIR /vericert
+RUN git checkout -b oopsla21
+RUN nix-shell --run "make -j7"
+RUN nix-shell --run "make install"
-- 
cgit