Fixed /*@i@*/ splintme errors.

[splint.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 305210fa46f88aa08df069ba9f15bc7f5335e405..c77eedafc081e33bb6dd7157fe90852b1982c452 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,8 +1,9 @@
 ## Process this file with automake to create Makefile.in. -*-Makefile-*-
-
-## Makefile for lclint 3.0
 ##
-## Copyright (C) 2001 University of Virginia,
+## Makefile for Splint 3.0
+## For more information: http://www.splint.org
+##
+## Copyright (C) 2001-2 University of Virginia,
 ##         Massachusetts Institute of Technology
 ##
 ## This program is free software; you can redistribute it and/or modify it
@@ -19,10 +20,60 @@
 ## the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
 ## MA 02111-1307, USA.
 ##
-## For information on lclint: lclint-request@cs.virginia.edu
-## To report a bug: lclint-bug@cs.virginia.edu
-## For more information: http://lclint.cs.virginia.edu
+## For information on spint: info@splint.org
+## To report a bug: splint-bug@splint.org
+## 
+
+.PHONY: test
 
 AUTOMAKE_OPTIONS = 1.5 foreign
 
-SUBDIRS = src lib imports test
+binaryfixscript = ./fixBinaryDist.sh
+SUBDIRS =   src lib imports test doc
+
+binaryDir = bin
+binaryDirFiles =  $(binaryDir)/Makefile.am $(binaryDir)/Makefile.in
+
+binaryBuiltFiles = Makefile.binary.am configure.binary.ac
+
+#include these in case we're trying to build on a systems
+#without the bleeding edge versions of automake and autoconf
+binaryDerivedFiles = Makefile.binary.in configure.binary
+
+#try to remake these but don't stop if it fails.
+configure.binary:configure.binary.ac
+       -autoconf -oconfigure.binary configure.binary.ac
+
+
+Makefile.binary.in:Makefile.binary.am
+       -automake Makefile.binary
+       $(SED) -e s/Makefile\.binary/Makefile/ Makefile.binary.in > tMakefile.binary.in
+#      $(RM) Makefile.binary.in
+       $(CP) tMakefile.binary.in Makefile.binary.in
+#drl add this hack 3/1/2003
+#make the generated makefile depend on Makefile not Makefile.binary
+
+
+
+
+$(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
+       -automake $(binaryDir)/Makefile
+
+EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles) install.html
+
+preDist:  $(binaryDir)/Makefile.in  $(binaryDerivedFiles) 
+
+bindist: $(binaryDerivedFiles) 
+       $(MAKE)
+       $(RM) -f $(binaryDir)/splint
+       $(CP) src/splint $(binaryDir)/splint
+       $(MV) install.html installSource.html
+       $(CP) doc/` uname | tr [A-Z] [a-z]`.html install.html
+       $(MAKE) -e dist dh_script=$(binaryfixscript) SUBDIRS="$(binaryDir) lib imports  doc"
+       $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz
+       $(MV) installSource.html install.html
+
+dist-hook:
+       cd $(distdir);  pwd; $(dh_script)
+
+