leanproject: "dot" not found in path

Stream: new members

[Antoine Chambert-Loir]

Trying to learn how to port sth to mathlib4, I follow Scott's video scrupulously, and I get this error message, regarding import-graph:

8:34) pro-acl > leanproject import-graph --to data.rat.order --exclude-tactics  data.rat.order.pdf
[Errno 2] "dot" not found in path.

Any help?

[Eric Wieser]

You likely need to install dot / graphviz

[Patrick Massot]

https://www.graphviz.org/

[Kevin Buzzard]

But if you just want to know the state of data.rat.order, you can look here.