Just use /home/user instead of opt

runtimeverification · May 22, 2024 · 7a96f9f · 7a96f9f
1 parent 1496323
commit 7a96f9f
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
@@ -41,12 +41,11 @@ RUN curl -sSL https://install.python-poetry.org | python3 -
 
 RUN pip3 install git+https://github.com/riscv/riscof.git
 
-RUN mkdir /opt/riscv && \
-    chown root /opt/riscv
-
-ENV RISCV=/opt/riscv
+ENV RISCV=/home/user/riscv
 ENV PATH=$PATH:$RISCV/bin
 
+RUN mkdir $RISCV
+
 RUN git clone --recursive https://github.com/riscv/riscv-gnu-toolchain -b 2024.04.12 && \
     cd riscv-gnu-toolchain && \
     ./configure --prefix=$RISCV --enable-multilib && \