Makefile

   1 PACKAGE=cost-plug-in
   2 VERSION=0.1
   3 PACKAGE_RES=$(PACKAGE)-$(VERSION).tgz
   4
   5 JESSIE=frama-c_jessie
   6
   7 all:
   8         make -C plugin
   9         make -C wrapper
  10
  11 install:
  12         mkdir -p /usr/local/bin
  13         cp $(JESSIE) /usr/local/bin
  14         make -C plugin install
  15         make -C wrapper install
  16
  17 clean:
  18         rm -fr $(PACKAGE) $(PACKAGE_RES) doc
  19         make -C plugin clean
  20         make -C wrapper clean
  21
  22 distclean: clean
  23         make -C plugin distclean
  24         make -C wrapper distclean
  25
  26 dist:
  27         rm -fr $(PACKAGE) $(PACKAGE_RES)
  28         mkdir $(PACKAGE)
  29         for i in `cat distributed_files` doc/html/*.html; do    \
  30           if test -f $$i; then                                  \
  31             cp -fr --parents $$i $(PACKAGE);                    \
  32           else                                                  \
  33             mkdir -p $$i;                                       \
  34           fi;                                                   \
  35         done
  36         tar cvfz $(PACKAGE_RES) $(PACKAGE)
  37
  38 .PHONY = install clean distclean dist