docker: fix dockerfiles

seahorn · Sep 16, 2023 · 26dacab · 26dacab
1 parent 3068206
commit 26dacab
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/docker/crab.apron.Dockerfile b/docker/crab.apron.Dockerfile
@@ -16,6 +16,7 @@ FROM seahorn/buildpack-deps-crab:$UBUNTU
 COPY . /crab
 # Re-create the build directory that might have been present in the source tree
 RUN rm -rf /crab/build /crab/debug /crab/release && mkdir /crab/build
+WORKDIR /crab/build
 
 ARG BUILD_TYPE
 # Build configuration.

diff --git a/docker/crab.elina.Dockerfile b/docker/crab.elina.Dockerfile
@@ -17,6 +17,7 @@ FROM seahorn/buildpack-deps-crab:$UBUNTU
 COPY . /crab
 # Re-create the build directory that might have been present in the source tree
 RUN rm -rf /crab/build /crab/debug /crab/release && mkdir /crab/build
+WORKDIR /crab/build
 
 ARG BUILD_TYPE
 # Build configuration.

diff --git a/docker/crab.pplite.Dockerfile b/docker/crab.pplite.Dockerfile
@@ -16,6 +16,7 @@ FROM seahorn/buildpack-deps-crab:$UBUNTU
 COPY . /crab
 # Re-create the build directory that might have been present in the source tree
 RUN rm -rf /crab/build /crab/debug /crab/release && mkdir /crab/build
+WORKDIR /crab/build
 
 ARG BUILD_TYPE
 # Build configuration.