source environment variable

runtimeverification · Aug 26, 2024 · c300070 · c300070
1 parent 25bfdb1
commit c300070
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy
@@ -20,6 +20,7 @@ RUN    apt-get update
 COPY pyk /pyk
 RUN pipx install poetry       \
     && pipx ensurepath        \
+    && source /root/.bashrc   \
     && cd /pyk                \
     && make build             \
     && pip install dist/*.whl \

diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
@@ -20,6 +20,7 @@ RUN    apt-get update
 COPY pyk /pyk
 RUN pipx install poetry       \
     && pipx ensurepath        \
+    && source /root/.bashrc   \
     && cd /pyk                \
     && make build             \
     && pip install dist/*.whl \