Makefile

   1 # FILE IDENTIFICATION
   2 #
   3 #  Name:         Makefile
   4 #  Purpose:      Makefile for the uffi package
   5 #  Programer:    Kevin M. Rosenberg, M.D.
   6 #  Date Started: Mar 2002
   7 #
   8 #  CVS Id:   $Id: Makefile,v 1.49 2002/05/05 11:35:54 kevin Exp $
   9 #
  10 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
  11 #
  12 # UFFI users are granted the rights to distribute and use this software
  13 # as governed by the terms of the Lisp Lesser GNU Public License
  14 # (http://opensource.franz.com/preamble.html), also known as the LLGPL.
  15
  16 PKG:=uffi
  17 DEBPKG=cl-uffi
  18 SUBDIRS:= examples src benchmarks
  19 DOCSUBDIRS:=doc
  20
  21 include Makefile.common
  22
  23
  24 .PHONY: all
  25 all:
  26
  27
  28 .PHONY: distclean
  29 distclean: clean
  30         @$(MAKE) -C doc $@
  31 #       ./debian/rules clean
  32
  33
  34 SOURCE_FILES=src doc examples Makefile uffi.system uffi.debian.system \
  35         benchmarks COPYRIGHT README TODO INSTALL ChangeLog NEWS \
  36         test-examples.cl set-logical.cl
  37
  38 .PHONY: doc
  39 doc:
  40         $(MAKE) -C doc
  41
  42 .PHONY: dist
  43 dist: clean
  44         $(MAKE) -C doc $@
  45         @./make-dist.sh
  46
  47 .PHONY: wwwdist
  48 wwwdist: dist
  49         @./copy
  50
  51
  52 .PHONY: freeze
  53 freeze:
  54         @echo tagging with frozen tag
  55         cvs -q rtag -d frozen uffi
  56         cvs -q tag -F frozen .
  57