From 074554dc883375698c0132406613404370cbe649 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Thu, 9 Jan 2025 08:06:45 -0500
Subject: [PATCH] crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more

Fixes #1271.
---
 .github/Dockerfile-crux-mir | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/Dockerfile-crux-mir b/.github/Dockerfile-crux-mir
index 073eeb84a..147654193 100644
--- 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"]