"MATITA_COMPONENTS=/path/to/matita/components/ make deps" outputs
redundant and circular dependences in redundent_includes.txt
the lines of redundent_includes.txt mean:
"file: redundant file1" inclusion of file1 is redundant in file
"circular: file1 file2 ...." circular inclusion of file1 file2 ...
the dependences analizer is compiled by
"MATITA_COMPONENTS=/path/to/matita/components/ make matitadep"
Powered by Trac 1.0.2
By Edgewall Software.
Visit the Trac open source project athttp://trac.edgewall.org/