From e9a79a0ed79609c1e293c7b221fce577200b2eb7 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Sat, 31 Aug 2024 20:23:24 -0500
Subject: The start of a new librarified organization.

---
 nix/miri.nix | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 nix/miri.nix

(limited to 'nix')

diff --git a/nix/miri.nix b/nix/miri.nix
new file mode 100644
index 0000000..5a8c39d
--- /dev/null
+++ b/nix/miri.nix
@@ -0,0 +1,22 @@
+{ fenix, pkgs }:
+
+let
+  rust-nightly-toolchain = fenix.combine [
+    fenix.latest.cargo
+    fenix.latest.rustc
+    fenix.latest.clippy
+    fenix.latest.miri
+  ];
+in
+pkgs.writeShellApplication {
+  name = "cargo-miri";
+  runtimeInputs = [ rust-nightly-toolchain ];
+  text = ''
+    set -x
+    # https://github.com/proptest-rs/proptest/issues/253#issuecomment-1850534278
+    : "''${PROPTEST_DISABLE_FAILURE_PERSISTENCE:=true}"
+    : "''${MIRIFLAGS:=-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE}"
+    export PROPTEST_DISABLE_FAILURE_PERSISTENCE MIRIFLAGS
+    exec cargo "$@"
+  '';
+}
-- 
cgit v1.2.3