From aea37a788977ecc8cee811372d7f2a41b878e1e6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 14 Jul 2021 20:02:06 +0200 Subject: Add a cabal update to the Dockerfile --- scripts/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/Dockerfile b/scripts/Dockerfile index 9788b92..c482168 100644 --- a/scripts/Dockerfile +++ b/scripts/Dockerfile @@ -8,4 +8,4 @@ RUN nix-env -i yosys git tmux vim gcc iverilog cabal-install wget COPY . /verismith WORKDIR /verismith -RUN nix-shell --run "true" +RUN nix-shell --run "cabal update" -- cgit