depgraph

package

v0.2.3 Latest Latest Go to latest Published: Dec 6, 2025 License: MIT Imports: 6 Imported by: 0

Details

depgraph analyzes a Makefile dependency graph

Intended to process Rocq dependencies generated by `rocq dep`.

This section is empty.

This section is empty.

func RocqDeps(deps *Graph, args []string) []string

Get the dependencies of files in args.

Args can be a list of .v or .vo files: this function always uses the .vo files for dependencies

type Dep struct {
	Target string
	Source string
}

type DepChain struct {
	// contains filtered or unexported fields
}

func (c DepChain) Source() string

func (c DepChain) Sources() []string

type Graph struct {
	// contains filtered or unexported fields
}

func Parse(r io.Reader) (*Graph, error)

Parse dependencies from a .d file

func ParseRocqdep(rocqdepFileName string) (*Graph, error)

func (g *Graph) Deps(targets []string) []DepChain

Deps gets all transitive dependencies of targets

func (g *Graph) FilterNodes(keep func(string) bool)

func (g *Graph) Len() int