From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 27 Feb 2005 23:32:51 +0000 (+0000)
Subject: Add a dist-files target to all makefiles. It outputs all files which must be placed... 
X-Git-Tag: v3.3~4262
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f70ef8a917677e839053e92a8a62e19cbfc290c9?hp=990b4c331449051f8476377ac6e67a02f639be5a

Add a dist-files target to all makefiles. It outputs all files which must be placed into the tarball; use this to fix splint invocation


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1091 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/Makefile.am b/Makefile.am
index 5243781916..63399eaeaa 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -72,8 +72,11 @@ mail:
 	       simgrid2-users@listes.ens-lyon.fr
 
 splint:
-	splint `find src -name '*.c' | grep -v RL | grep -v SG` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/include -Isrc/base -Isrc
-
+	splint `make dist-files | grep -v $(PWD) | egrep '\.[ch]$$' |sort -u` \
+	       +matchanyintegral -warnposix +boolint \
+	       +show-summary +stats\
+	       -Iinclude -Isrc/include -Isrc/base -Isrc
+.PHONY: splint
 ##
 ## Cruft for remote compilation
 ##
@@ -131,3 +134,5 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	exit $$failed
 
 endif
+
+include $(top_srcdir)/acmacro/dist-files.mk