source: src/Makefile

Last change on this file was 3395, checked in by fguidi, 6 years ago

scan for redundant includes with new version of matitadep

File size: 426 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 -c
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 \"" | $(MATITADEP) > $(MATITADEP_OUT)
Note: See TracBrowser for help on using the repository browser.