Changeset 2919

Timestamp:
Mar 20, 2013, 7:21:23 PM (4 years ago)
Author:
fguidi
Message:

"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"

Location:
src
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.