Changeset 3395 for src/Makefile


Ignore:
Timestamp:
Nov 1, 2013, 5:29:55 PM (6 years ago)
Author:
fguidi
Message:

scan for redundant includes with new version of matitadep

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Makefile

    r2919 r3395  
    55MATITADEP_OUT = redundant_includes.txt
    66MATITADEP_DIR = $(MATITA_COMPONENTS)binaries/matitadep/
    7 MATITADEP     = $(MATITADEP_DIR)matitadep.native
     7MATITADEP     = $(MATITADEP_DIR)matitadep.native -c
    88
    99all:
     
    1414deps:
    1515        @echo "  MATITADEP > $(MATITADEP_OUT)"
    16         $(H)find -name "*.ma" | xargs grep "^include \"" | sed "s/.\///" | $(MATITADEP) > $(MATITADEP_OUT)
     16        $(H)find -name "*.ma" | xargs grep "^include \"" | $(MATITADEP) > $(MATITADEP_OUT)
Note: See TracChangeset for help on using the changeset viewer.