Give miri access to the home and target folder

Signed-off-by: Marcel Müller <neikos@neikos.email>

1 files changed, 6 insertions, 4 deletions

diff --git a/flake.nix b/flake.nix
index c064afb..c2b0cdd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -89,17 +89,19 @@
             cargoVendorDir = null;
             doRemapSourcePathPrefix = false;
 
-            cargoBuildCommand = "cargo miri test";
+            cargoBuildCommand = "cargo miri test --workspace --offline";
             doCheck = false;
 
             nativeBuildInputs = [ xargo ];
 
-            preInstallPhases = [ "ensureTargetDir" ];
-            ensureTargetDir = ''
+            preBuild = ''
+              mkdir -p home
+              cd home
               mkdir -p ''${CARGO_TARGET_DIR:-target}
+              export HOME="$(pwd)"
             '';
             XARGO_RUST_SRC = "${unstableRustTarget}/lib/rustlib/src/rust/library";
-            RUST_BACKTRACE=1;
+            RUST_BACKTRACE = 1;
           };
         };