chore: Update Dockerfile to use /src as volume and working directory

KS1019 · Jul 6, 2024 · b04a9c5 · b04a9c5
1 parent 5fb2f46
commit b04a9c5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -17,8 +17,8 @@ RUN source "$HOME/.sdkman/bin/sdkman-init.sh" \
     && git clone https://github.com/uclid-org/uclid.git \
     && cd /uclid && sbt update clean compile "set fork:=true" && sbt universal:packageBin
 
-VOLUME /uclid
-WORKDIR /uclid
+VOLUME /src
+WORKDIR /src
 
 # Download from release https://github.com/uclid-org/uclid/releases/download/v0.9.5d-prerelease/uclid-0.9.5.zip
 # RUN curl -LO https://github.com/uclid-org/uclid/releases/download/v0.9.5d-prerelease/uclid-0.9.5.zip