php/Makefile

   1 #
   2 # (Re)builds PHP API. PHP classes must be defined in a single file.
   3 #
   4 # Mark Huang <mlhuang@cs.princeton.edu>
   5 # Copyright (C) 2006 The Trustees of Princeton University
   6 #
   7 # $Id: Makefile,v 1.1 2006/09/06 15:34:41 mlhuang Exp $
   8 #
   9
  10 all: plcapi.php
  11
  12 methods.php: methods.py ../PLC/__init__.py ../PLC/Methods/__init__.py
  13         PYTHONPATH=.. python $< | \
  14         sed -e "s/^/  /" > $@
  15
  16 plcapi.php: header.php methods.php footer.php
  17         sed -e "s/@DATE@/$$(date)/" header.php | \
  18         cat - methods.php footer.php > $@
  19
  20 clean:
  21         rm -f plcapi.php methods.php
  22
  23 .PHONY: all clean