camlp4/boot/Makefile

   1 # $Id$
   2
   3 MAX_SAVE = 10
   4
   5 backup:
   6         cp camlp4boot camlp4boot.save.0
   7         set -e; for i in camlp4boot.save.*; do \
   8           mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` + 1)); \
   9         done
  10         set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done
  11         rm -f camlp4boot.save.$(MAX_SAVE)
  12
  13 restore:
  14         set -e; for i in camlp4boot.save.*; do \
  15           mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` - 1)); \
  16         done
  17         set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done
  18         mv camlp4boot.save.0 camlp4boot
  19
  20 boot-clean:
  21         rm -f camlp4boot.save.* camlp4boot.evas.*
  22
  23 maintainer-clean:
  24         rm -f camlp4boot