Update PATH

gussmith23 · Feb 18, 2024 · 18125d3 · 18125d3
1 parent cb18d29
commit 18125d3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -76,6 +76,9 @@ RUN source /root/churchroad/dependencies.sh \
   && PREFIX="/root/.local" CPLUS_INCLUDE_PATH="/usr/include/tcl8.6/:$CPLUS_INCLUDE_PATH" make -j ${MAKE_JOBS} install \
   && rm -rf /root/yosys
 
+# Add /root/.local/bin to PATH.
+ENV PATH="/root/.local/bin:$PATH"
+
 # Build Yosys plugin.
 WORKDIR /root/churchroad/yosys-plugin
 RUN make -j ${MAKE_JOBS}