X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1de2b066fc5b533e3bedba2757d4f45eb41ce380..14e6dcce07002bc18c89cb86feb6c379bc912fc0:/Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 5243781916..842fe078f7 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
 ##
@@ -84,6 +87,7 @@ MACHINES ?= graal.ens-lyon.fr   allo-psmn.ens-lyon.fr \
 
 # ACTIONS: What to do there
 # possible values:
+#  - scp:     copy a tarball over
 #  - clean:   erase any previously existing source tree and 
 #             open the new open
 #  - untar:   open the tarball which was just copied
@@ -95,7 +99,7 @@ MACHINES ?= graal.ens-lyon.fr   allo-psmn.ens-lyon.fr \
 #  - check:   run 'make check'
 #
 # default value:
-ACTIONS ?= clean untar config compile check
+ACTIONS ?= scp clean untar config compile check
 
 REMOTE_PREFIX ?='simgrid'
 
@@ -114,9 +118,11 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	     echo "----[ Compile on $$machine ]----";\
 	   fi;\
 	   \
-	   echo "-- Copy the data over"; \
-	   scp @srcdir@/@PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker \
+	   if echo $(ACTIONS) |grep -q scp ; then \
+ 	     echo "-- Copy the data over"; \
+	     scp @srcdir@/@PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker \
 	       $$machine:$(REMOTE_PREFIX)/src;\
+	   fi; \
 	   \
 	   echo "-- Compiling... (the output gets into @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; \
 	   if echo $$site | grep  '%' >/dev/null ; then \
@@ -131,3 +137,5 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
 	exit $$failed
 
 endif
+
+include $(top_srcdir)/acmacro/dist-files.mk