diff options
| -rw-r--r-- | tools/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Dockerfile b/tools/Dockerfile index 56fd099..7a3b20c 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -4,6 +4,7 @@ FROM verilator/verilator:latest RUN apt-get update \ && DEBIAN_FRONTEND=noninteractive \ && apt-get install --no-install-recommends -y \ + curl \ python3 \ python3-pip \ vim \ |