Closed foxfriends closed 4 months ago
Ah I see it's because the toolchain is 1.72 which is used when I build from the repo, and something does not work on 1.76 which is used when I use cargo install
(even cargo install --path .
)
Note that PRs #104 and #106 are also failing - those try to update some dependencies, but I think what needs to happen is that all of these dependencies are upgraded together (plus some source changes are required).
It looks like mdbook 0.4.37 bumped pulldown-cmark to 10.0.0, but mdbook-graphviz depends on pulldown-cmark-to-cmark 11.2 (which does not yet support pulldown-cmark 10.0.0). I am able to build it with mdbook 0.4.36 and pulldown-cmark 0.9.6, but as @tautschnig mentioned source changes in pulldown-cmark-to-cmark and here are needed.
Does installing with the --locked flag fix the problem?
You may also have to stay back on mdbook version 0.4.26 until this crate's dependencies can be updated.
cargo install --locked mdbook-graphviz
0.4.26
was yanked from
Even 0.4.36 worked for me, it's only the latest 0.4.37 that has issues
Should be fixed in https://github.com/dylanowen/mdbook-graphviz/pull/116
Just need a new release to go out.
Confirming that this works fine now (https://github.com/model-checking/kani/pull/3136 demonstrates it). Thank you!
Can confirm as well, updated to latest together with mdbook
in https://github.com/plabayo/rama/commit/ff5c4e52940de1d7fd75dc7673568849ee8b6ebc, and it builds fine both in CI and on my dev machine.
I have a version already installed from before, so I know it's working... but when I try to
cargo install mdbook-graphviz --force
it no longer works, using all the latest (Rust 1.76).Works when I build from the repo directly though, might just be a dependency version thing and needs a republish