From ebb3b87346c4dcf5dfd099802dfc4847c733f73a Mon Sep 17 00:00:00 2001
From: Joshua Yun <joshua@joshuayun.com>
Date: Tue, 11 Mar 2025 04:04:36 +0000
Subject: Dockerfile features

---
 docker_tools/Dockerfile | 24 ++++++++++++++++++++++++
 docker_tools/build.sh   |  4 ++++
 2 files changed, 28 insertions(+)
 create mode 100644 docker_tools/Dockerfile
 create mode 100755 docker_tools/build.sh

(limited to 'docker_tools')

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 .
-- 
cgit v1.2.3