+ 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
+##
+
+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
+
+# 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
+# - touch: touch every file of the source tree to deal with
+# clock brokenness. May help, may harm.
+# - config: launch configure
+# - compile: run 'make'
+# - install: run 'make install'
+# - check: run 'make check'
+#
+# default value:
+ACTIONS ?= scp clean untar config compile check
+
+REMOTE_PREFIX ?='simgrid'
+
+remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
+ @echo;echo "----[ Recompile the package on remote hosts ]----"
+ @test -e @srcdir@/buildlogs/@PACKAGE@-@VERSION@ || mkdir -p @srcdir@/buildlogs/@PACKAGE@-@VERSION@
+ @failed=0;\
+ 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 $(ACTIONS) 2>&1'\"";\
+ if echo $$site | grep '%' >/dev/null ; then \
+ echo "----[ Compile on $$machine2 (behind $$machine) ]----";\
+ else \
+ machine=$$site;\
+ echo "----[ Compile on $$machine ]----";\
+ fi;\
+ \
+ 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 \
+ if ssh $$machine "env REMOTE_PREFIX=$(REMOTE_PREFIX) ssh -A $$machine2 $$cmd" 2>&1 > @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log;\
+ then echo "Sucessful"; else failed=1;echo "Failed (check @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
+ else \
+ if ssh $$machine "eval $$cmd" 2>&1 > @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log ;\
+ then echo "Sucessful"; else failed=1;echo "Failed (check @srcdir@/buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
+ fi;\
+ done;\
+ @srcdir@/tools/compile-stats;\
+ exit $$failed
+
+endif
+
+include $(top_srcdir)/acmacro/dist-files.mk