diff options
| -rw-r--r-- | docker_tools/Dockerfile | 24 | ||||
| -rwxr-xr-x | docker_tools/build.sh | 4 |
2 files changed, 28 insertions, 0 deletions
diff --git a/docker_tools/Dockerfile b/docker_tools/Dockerfile new file mode 100644 index 0000000..a9e88d7 --- /dev/null +++ b/docker_tools/Dockerfile @@ -0,0 +1,24 @@ +FROM verilator/verilator:latest + +# Install fusesoc +RUN apt-get update \ + && DEBIAN_FRONTEND=noninteractive \ + && apt-get install --no-install-recommends -y \ + python3-pip \ + && pip3 install --upgrade fusesoc \ + && apt-get clean \ + && rm -rf /var/lib/apt/lists/* + +# Create developer user (Change if your UID for your personal account is different +ARG UNAME=developer +ARG UID=1000 +ARG GID=1000 + +RUN groupadd -g $GID -o $UNAME \ + && useradd -m -u $UID -g $GID -o -s /bin/bash $UNAME + +USER $UNAME + +WORKDIR /home/developer/work + +ENTRYPOINT [ "/bin/bash", "-l", "-c" ] diff --git a/docker_tools/build.sh b/docker_tools/build.sh new file mode 100755 index 0000000..9ba5d00 --- /dev/null +++ b/docker_tools/build.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +docker image rm verif_runner +docker build -t verif_runner:latest . |