r1819: further debian updates

[uffi.git] / Makefile

diff --git a/Makefile b/Makefile
index faad77b25f70845230ad04e35e0df42c9c1b9889..eec3c379847361aca7abf529d48c8a8827c31d5a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@
 #  Programer:    Kevin M. Rosenberg, M.D.
 #  Date Started: Mar 2002
 #
-#  CVS Id:   $Id: Makefile,v 1.43 2002/04/28 06:17:00 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.44 2002/04/28 08:19:55 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -14,7 +14,7 @@
 # (http://opensource.franz.com/preamble.html), also known as the LLGPL.
 
 PKG:=uffi
-SUBDIRS:= examples src
+SUBDIRS:= examples src benchmarks
 DOCSUBDIRS:=doc
 
 include Makefile.common
@@ -26,15 +26,18 @@ all:
 
 .PHONY: distclean
 distclean: clean
+       @$(MAKE) -C doc $@
 #      ./debian/rules clean
 
 
 VERSION=$(shell cat VERSION)
-DISTDIR=$(PKG)-$(VERSION)
-DIST_TARBALL=$(DISTDIR).tar.gz
-DIST_ZIP=$(DISTDIR).zip
-SOURCE_FILES=src doc examples Makefile uffi.system COPYRIGHT README TODO \
-        INSTALL uffi.lsm ChangeLog NEWS test-examples.cl set-logical.cl \
+PKGNAME=$(PKG)-$(VERSION)
+DISTDIR=$(PKGNAME)
+DIST_TARBALL=$(PKGNAME).tar.gz
+DIST_ORIG_TARBALL=$(PKGNAME).orig.tar.gz
+DIST_ZIP=$(PKGNAME).zip
+SOURCE_FILES=src doc examples Makefile uffi.system benchmarks COPYRIGHT README \
+        TODO INSTALL uffi.lsm ChangeLog NEWS test-examples.cl set-logical.cl 
 
 VERSION_UNDERSCORE=$(shell cat VERSION | tr . _)
 TAG=upstream_version_$(VERSION_UNDERSCORE)
@@ -51,23 +54,7 @@ doc:
 .PHONY: dist
 dist: distclean
        $(MAKE) -C doc $@
-       @rm -rf $(DISTDIR) $(DIST_TARBALL) $(DIST_ZIP)
-       @mkdir $(DISTDIR)
-       @cp -a $(SOURCE_FILES) $(DISTDIR)
-       @find $(DISTDIR) -type d -name CVS |xargs rm -rf
-       @rm -rf $(DISTDIR)/debian
-       @find $(DISTDIR) -type f -name .cvsignore -exec rm {} \;
-       @find $(DISTDIR)/doc -type f -name \*.tex -or -name \*.aux -or \
-                -name \*.log -or -name \*.out -or -name \*.dvi -or \
-                -name \*~ -or -name \*.ps -exec rm {} \;
-       @tar czf $(DIST_TARBALL) $(DISTDIR)
-       @find $(DISTDIR) -type f -and -name \*.cl -or -name \*.list -or \
-               -name \*.system -or -name Makefile -or -name ChangeLog -or \
-               -name COPYRIGHT -or -name TODO -or -name README -or -name INSTALL \
-               -or -name NEWS -or -name \*.sgml -or -name COPYING\* -or -name catalog \
-               | xargs unix2dos
-       @zip -rq $(DIST_ZIP) $(DISTDIR)
-       @rm -r $(DISTDIR)
+       @make-dist.sh
 
 .PHONY: wwwdist
 wwwdist: dist