diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-14 19:55:40 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-14 19:55:40 +0200 |
| commit | ff4fec663cc7e9da0ffb178e835e7bb33199f163 (patch) | |
| tree | f03496405ce36db5c849a23124c9313c4893f1fd | |
| parent | ea17cde8c571e8b2f0b999b25de57d331267b4f4 (diff) | |
| download | verismith-ff4fec663cc7e9da0ffb178e835e7bb33199f163.tar.gz verismith-ff4fec663cc7e9da0ffb178e835e7bb33199f163.zip | |
Add a Dockerfile
| -rw-r--r-- | scripts/Dockerfile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/Dockerfile b/scripts/Dockerfile new file mode 100644 index 0000000..3fa39a3 --- /dev/null +++ b/scripts/Dockerfile @@ -0,0 +1,11 @@ +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 cabal-install + +COPY . /verismith + +WORKDIR /verismith +RUN nix-shell --run "true" |