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
##
# 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
# - check: run 'make check'
#
# default value:
-ACTIONS ?= clean untar config compile check
+ACTIONS ?= scp clean untar config compile check
REMOTE_PREFIX ?='simgrid'
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 \
exit $$failed
endif
+
+include $(top_srcdir)/acmacro/dist-files.mk