|
Last change
on this file since 3096 was
2919,
checked in by fguidi, 8 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 | |
|---|
| 3 | H = @ |
|---|
| 4 | |
|---|
| 5 | MATITADEP_OUT = redundant_includes.txt |
|---|
| 6 | MATITADEP_DIR = $(MATITA_COMPONENTS)binaries/matitadep/ |
|---|
| 7 | MATITADEP = $(MATITADEP_DIR)matitadep.native |
|---|
| 8 | |
|---|
| 9 | all: |
|---|
| 10 | |
|---|
| 11 | matitadep: |
|---|
| 12 | $(MAKE) --no-print-directory -C $(MATITADEP_DIR) |
|---|
| 13 | |
|---|
| 14 | deps: |
|---|
| 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.
