about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLuuuXXX <luuux98@163.com>2025-03-04 20:30:57 +0800
committerLuuuXXX <luuux98@163.com>2025-03-04 20:41:34 +0800
commitf3312609f7a9db95047196387fdd8c69edaa898e (patch)
tree0445c95b72a90789c6237d094301fb5a24d7ca54
parent3eb04fd590527a103a70027a9da5ed9b20b76238 (diff)
downloadrust-f3312609f7a9db95047196387fdd8c69edaa898e.tar.gz
rust-f3312609f7a9db95047196387fdd8c69edaa898e.zip
add note for miri
-rw-r--r--src/doc/rustc/src/platform-support/openharmony.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/doc/rustc/src/platform-support/openharmony.md b/src/doc/rustc/src/platform-support/openharmony.md
index a2107b48a86..e772a3d09f3 100644
--- a/src/doc/rustc/src/platform-support/openharmony.md
+++ b/src/doc/rustc/src/platform-support/openharmony.md
@@ -29,6 +29,9 @@ The targets require a reasonably up-to-date OpenHarmony SDK on the host.
 
 The targets support `cargo`, which require [ohos-openssl](https://github.com/ohos-rs/ohos-openssl).
 
+`miri` isn't supported yet, since its dependencies (`libffi` and `tikv-jemalloc-sys`) don't support
+compiling for the OHOS targets.
+
 ## Setup
 
 The OpenHarmony SDK doesn't currently support Rust compilation directly, so