T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

deps: Bump z3 to 0.5.1

Browse Source 
This fixes Windows builds.
This commit is contained in:
Nick Fitzgerald
2020-05-12 12:22:40 -07:00
parent 8d7ed0fd13
commit 923a73be7b
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Cargo.lock generated
View File

@@ -2589,9 +2589,9 @@ dependencies = [
[[package]] [[package]]
name = "z3" name = "z3"
version = "0.5.0" version = "0.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "afd636f549e919f8058567000156e19efbb4728ddb3be226dcc332d0ff622ab5" checksum = "ded00cd90f8e3a7ea3155bddd72573f2b099ea201877542d924e47b58dd04e72"
dependencies = [ dependencies = [
"lazy_static", "lazy_static",
"log", "log",
@@ -2600,9 +2600,9 @@ dependencies = [
[[package]] [[package]]
name = "z3-sys" name = "z3-sys"
version = "0.6.0" version = "0.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2487974559d1494e8e8925df85362d6109ae5555092510508a5b1077346c2833" checksum = "4002d8a1facb54d02dbfb86151281e5450618ab330936bc2f3acaab31eae11ae"
dependencies = [ dependencies = [
"cmake", "cmake",
] ]

2
cranelift/peepmatic/Cargo.toml
View File

@@ -12,4 +12,4 @@ peepmatic-automata = { version = "0.1.0", path = "crates/automata", features = [
peepmatic-macro = { version = "0.1.0", path = "crates/macro" } peepmatic-macro = { version = "0.1.0", path = "crates/macro" }
peepmatic-runtime = { version = "0.1.0", path = "crates/runtime", features = ["construct"] } peepmatic-runtime = { version = "0.1.0", path = "crates/runtime", features = ["construct"] }
wast = "15.0.0" wast = "15.0.0"
z3 = { version = "0.5.0", features = ["static-link-z3"] } z3 = { version = "0.5.1", features = ["static-link-z3"] }