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.2 2006/10/27 15:40:37 mlhuang Exp $
   8 #
   9
  10 all: plc_api.php
  11
  12 methods.php: methods.py ../PLC/__init__.py ../PLC/Methods/__init__.py
  13         PYTHONPATH=.. python $< > $@
  14         # Indent all lines by a couple of spaces
  15         sed -i -e "s/^/  /" $@
  16
  17 plc_api.php: header.php methods.php footer.php
  18         # Set timestamp
  19         sed -e "s/@DATE@/$$(date)/" header.php > $@
  20         cat methods.php footer.php >> $@
  21
  22 clean:
  23         rm -f plc_api.php methods.php
  24
  25 .PHONY: all clean