Makefile.inc

   1 ## File to include in other Makefile's, defining common commands and rules
   2 # $Id$
   3 # $Name$
   4
   5 define replace-VERSION
   6   cd $(distdir); \
   7   for file in $(VERSIONED_FILES); do \
   8   sed 's/\@VERSION\@/${VERSION}/' $$file > $$file.new; \
   9   rm $$file; \
  10   mv $$file.new $$file; \
  11   done
  12 endef
  13
  14 %.tabgen.h:     %.tab.h
  15         @if [ ! -r $(srcdir)/$@ ] ; \
  16         then \
  17           echo "Creating empty file for $@"; \
  18           touch $(srcdir)/$@; \
  19         fi
  20         @if diff $< $(srcdir)/$@ > /dev/null 2>&1; \
  21         then \
  22           : ; \
  23         else \
  24           echo "Updating $@"; \
  25           rm $(srcdir)/$@; \
  26           cp $(srcdir)/$< $(srcdir)/$@; \
  27         fi