X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d22fa76b3b4e16afa64dbcf5b3e76ddb4f7355d9..a309a043e137fa21b5ef01306270a042f527b5a7:/Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 129012e644..63399eaeaa 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -59,7 +59,7 @@ mail:
 	 @ver=`dpkg-parsechangelog -lChangeLog | egrep '^Version: ' | sed 's/Version: //'`;\
 	  (echo "Hello," ; \
 	   echo; \
-           echo "A new version of GRAS is available. Here is the changelog:";\
+           echo "A new version of SimGrid is available. Here is the changelog:";\
 	   echo;echo;\
            dpkg-parsechangelog -lChangeLog ;\
            echo;echo; \
@@ -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
 ##
@@ -82,10 +85,11 @@ MACHINES ?= graal.ens-lyon.fr   allo-psmn.ens-lyon.fr \
             valnure.cs.ucsb.edu sperm.cs.ucsb.edu     basalt.cs.ucsb.edu \
 	    nala.cs.utk.edu     AIX
 
-# ACTION: What to do there
+# ACTIONS: What to do there
 # possible values:
 #  - clean:   erase any previously existing source tree and 
 #             open the new open
+#  - untar:   open the tarball which was just copied
 #  - touch:   touch every file of the source tree to deal with 
 #             clock brokenness. May help, may harm.
 #  - config:  launch configure
@@ -94,7 +98,7 @@ MACHINES ?= graal.ens-lyon.fr   allo-psmn.ens-lyon.fr \
 #  - check:   run 'make check'
 #
 # default value:
-ACTION ?= clean untar config compile check
+ACTIONS ?= clean untar config compile check
 
 REMOTE_PREFIX ?='simgrid'
 
@@ -105,7 +109,7 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	 for site in $(MACHINES) ; do \
 	   machine=`echo $$site |sed 's/^\([^%]*\)%.*$$/\1/'`;\
 	   machine2=`echo $$site |sed 's/^\([^%]*\)%\(.*\)$$/\2/'`;\
-	   cmd="\"sh -c 'env REMOTE_PREFIX=$(REMOTE_PREFIX) $(REMOTE_PREFIX)/src/compile-remote-worker $(ACTION) 2>&1'\"";\
+	   cmd="\"sh -c 'env REMOTE_PREFIX=$(REMOTE_PREFIX) $(REMOTE_PREFIX)/src/compile-remote-worker $(ACTIONS) 2>&1'\"";\
 	   if echo $$site | grep  '%' >/dev/null ; then \
 	     echo "----[ Compile on $$machine2 (behind $$machine) ]----";\
 	   else \
@@ -130,3 +134,5 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	exit $$failed
 
 endif
+
+include $(top_srcdir)/acmacro/dist-files.mk