From 9e593fb42024a8d490585a6684aa7d60b30abc93 Mon Sep 17 00:00:00 2001 From: Ribbon Date: Fri, 13 Mar 2026 15:34:14 -0300 Subject: [PATCH] Add miri recipe --- recipes/wip/dev/rust-tools/miri/recipe.toml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 recipes/wip/dev/rust-tools/miri/recipe.toml diff --git a/recipes/wip/dev/rust-tools/miri/recipe.toml b/recipes/wip/dev/rust-tools/miri/recipe.toml new file mode 100644 index 000000000..db20e0cae --- /dev/null +++ b/recipes/wip/dev/rust-tools/miri/recipe.toml @@ -0,0 +1,6 @@ +#TODO not compiled or tested +[source] +git = "https://github.com/rust-lang/miri" +shallow_clone = true +[build] +template = "cargo"