MahnoKropotkinvich/redox
1
0
Fork 0
mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-25 06:14:18 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add miri recipe

Browse Source
This commit is contained in:
Ribbon 2026-03-13 15:34:14 -03:00
parent 2821550c85
commit 9e593fb420
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
recipes/wip/dev/rust-tools/miri/recipe.toml Normal file
View File

@ -0,0 +1,6 @@
#TODO not compiled or tested
[source]
git = "https://github.com/rust-lang/miri"
shallow_clone = true
[build]
template = "cargo"