From a98889a1c3cc77cd48b97c34a468f656d2187af5 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Thu, 29 Aug 2024 18:01:40 -0700
Subject: [PATCH] Include Cargo.lock in Dockerfile

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 79cc07f73..9fe32fffd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,13 +7,13 @@ RUN rustup set profile minimal                                  && \
     rustup toolchain uninstall stable                           && \
     rustup component add --toolchain nightly-2023-08-25            \
                          --target x86_64-unknown-linux-musl        \
-                         rust-src rustc-dev llvm-tools-preview
+                         rust-src rustc-dev llvm-tools-preview miri
 
 RUN apk add --no-cache build-base musl-dev libc-dev linux-headers
 
 WORKDIR /aquascope
 
-COPY Cargo.toml rust-toolchain.toml ./
+COPY Cargo.toml Cargo.lock rust-toolchain.toml ./
 COPY crates ./crates
 
 ENV TARGET_CC=x86_64-linux-musl-gcc