From 3496f507d97547c8f544be8219768b000cadb840 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 12 Jul 2021 17:14:07 +0200 Subject: Update instructions and fix test --- scripts/docker/artifact.org | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'scripts/docker/artifact.org') diff --git a/scripts/docker/artifact.org b/scripts/docker/artifact.org index c728320..663afbf 100644 --- a/scripts/docker/artifact.org +++ b/scripts/docker/artifact.org @@ -22,14 +22,13 @@ In addition to that, the Vivado synthesis tool by Xilinx[fn:3] is also commercia First, the docker image needs to be downloaded and run, which contains the git repository: #+begin_src shell -docker pull ymherklotz/vericert -docker run -it ymherklotz/vericert sh +docker pull ymherklotz/vericert:1.0 +docker run -it ymherklotz/vericert:1.0 sh #+end_src -Then, one just has to go into the directory which contains the git repository and open a ~nix-shell~, which will load a shell with all the correct dependencies loaded: +Then, one just has to go into the directory which contains the git repository (~/vericert~) and open a ~nix-shell~, which will load a shell with all the correct dependencies loaded: #+begin_src shell -cd /vericert nix-shell #+end_src -- cgit