diff options
Diffstat (limited to 'docker_tools/Dockerfile')
-rw-r--r-- | docker_tools/Dockerfile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/docker_tools/Dockerfile b/docker_tools/Dockerfile deleted file mode 100644 index 7a3b20c..0000000 --- a/docker_tools/Dockerfile +++ /dev/null @@ -1,20 +0,0 @@ -FROM verilator/verilator:latest - -# Install python3 + pip3 for fusesoc -RUN apt-get update \ - && DEBIAN_FRONTEND=noninteractive \ - && apt-get install --no-install-recommends -y \ - curl \ - python3 \ - python3-pip \ - vim \ - neovim \ - tmux \ - && apt-get clean \ - && rm -rf /var/lib/apt/lists/* - -RUN pip3 install --upgrade fusesoc - -WORKDIR /work - -ENTRYPOINT [ "/bin/bash", "-l", "-c" ] |