diff options
| author | Ralf Jung <post@ralfj.de> | 2022-09-02 16:49:38 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-09-02 16:49:38 +0200 |
| commit | fe7e207e282d17cf1ab7a0bfad58600704f3f477 (patch) | |
| tree | 9824055fa3c6c07b50066e7f8c53272d5c96ce36 | |
| parent | 9353538c7bea6edb245457712cec720305c4576e (diff) | |
| download | rust-fe7e207e282d17cf1ab7a0bfad58600704f3f477.tar.gz rust-fe7e207e282d17cf1ab7a0bfad58600704f3f477.zip | |
update Miri
| -rw-r--r-- | Cargo.lock | 20 | ||||
| m--------- | src/tools/miri | 18 |
2 files changed, 28 insertions, 10 deletions
diff --git a/Cargo.lock b/Cargo.lock index 97a64feca1b..08b377d8214 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1991,6 +1991,25 @@ dependencies = [ ] [[package]] +name = "libffi" +version = "3.0.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "1e454b3efb16fba3b17810ae5e41df02b649e564ab3c5a34b3b93ed07ad287e6" +dependencies = [ + "libc", + "libffi-sys", +] + +[[package]] +name = "libffi-sys" +version = "2.0.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ab4106b7f09d7b87d021334d5618fac1dfcfb824d4c5fe111ff0074dfd242e15" +dependencies = [ + "cc", +] + +[[package]] name = "libgit2-sys" version = "0.14.0+1.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" @@ -2284,6 +2303,7 @@ dependencies = [ "getrandom 0.2.0", "lazy_static", "libc", + "libffi", "libloading", "log", "measureme", diff --git a/src/tools/miri b/src/tools/miri -Subproject 8c8b479be723fb103b0b1203faf9246a3f58725 +Subproject dba35d2be72f4b78343d1a0f0b4737306f31067 |