source: src/Makefile @ 3042

Last change on this file since 3042 was 2919, checked in by fguidi, 7 years ago

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

File size: 439 bytes
Line 
1# MATITA_COMPONENTS: /-terminated path of matita "components" directory
2
3H = @
4
5MATITADEP_OUT = redundant_includes.txt
6MATITADEP_DIR = $(MATITA_COMPONENTS)binaries/matitadep/
7MATITADEP     = $(MATITADEP_DIR)matitadep.native
8
9all:
10
11matitadep:
12        $(MAKE) --no-print-directory -C $(MATITADEP_DIR)
13
14deps:
15        @echo "  MATITADEP > $(MATITADEP_OUT)"
16        $(H)find -name "*.ma" | xargs grep "^include \"" | sed "s/.\///" | $(MATITADEP) > $(MATITADEP_OUT)
Note: See TracBrowser for help on using the repository browser.