Merge pull request #1272 from GaloisInc/T1271-CRUX_RUST_LIBRARY_PATH-…

…Dockerfile `crux-mir` Dockerfile: Define `CRUX_RUST_LIBRARY_PATH` once more
GaloisInc · Jan 9, 2025 · 7ccc4d9 · 7ccc4d9
2 parents 95b39e3 + 074554d
commit 7ccc4d9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/Dockerfile-crux-mir b/.github/Dockerfile-crux-mir
@@ -89,6 +89,7 @@ WORKDIR /
 
 ENV LANG=C.UTF-8 \
     LC_ALL=C.UTF-8 \
-    PATH=/home/crux-mir/.cargo/bin:$PATH
+    PATH=/home/crux-mir/.cargo/bin:$PATH \
+    CRUX_RUST_LIBRARY_PATH=/crux-mir/rlibs
 
 ENTRYPOINT ["/usr/local/bin/cargo", "crux-test"]