serialized/Makefile

   1
   2 SPECIAL_TARGETS=Utf8Case.ser
   3 ALL_TARGETS=$(SPECIAL_TARGETS)
   4 DIST_TARGETS=$(SPECIAL_TARGETS)
   5
   6 .PHONY: all dist clean
   7
   8 all: $(ALL_TARGETS)
   9         @echo 'Warning: messages are no longer serialized by this makefile.'
  10
  11 dist: $(DIST_TARGETS)
  12
  13 clean:
  14         rm -f $(ALL_TARGETS)
  15
  16 Utf8Case.ser : ../includes/normal/Utf8Case.php
  17         php serialize.php -o $@ $<
  18