-SUBDIRS= src doc
+SUBDIRS= include src examples doc testsuite
DISTCLEANFILES = *~
ACLOCAL = aclocal -I acmacro -I /usr/share/aclocal/gnome2-macros
AUTOMAKE_OPTIONS = gnu
+DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc
EXTRA_DIST = bootstrap COPYING INSTALL NEWS README README.IEEE TODO AUTHORS ChangeLog\
acmacro/aci.m4 \
dput local *.changes
publish: dist
+ @echo "----[ Put the documentation on the local filesystem ]----"
+ rm -rf ~/public_html/gras/doc
+ mkdir ~/public_html/gras/doc
+ cp -r doc/html ~/public_html/gras/doc
@echo "----[ Put the tarball @VERSION@ on the local filesystem ]----"
cp @PACKAGE@-@VERSION@.tar.gz ~/public_html/gras/dl
+ @echo "----[ Sync remote host ]----"
make -C public_html publish
mail:
splint:
- splint `find src examples -name '*.c'` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/
+ splint `find src -name '*.c' | grep -v RL | grep -v SG` +matchanyintegral -warnposix +boolint -Inws_portability/Include/ -Isrc/include -Isrc/base -Isrc
##
## Cruft for remote compilation
\
echo "-- Compiling... (the output gets into buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; \
if echo $$site | grep '%' >/dev/null ; then \
- if ssh -CA $$machine "env REMOTE_PREFIX=$(REMOTE_PREFIX) ssh -A $$machine2 $$cmd" 2>&1 > buildlogs/@PACKAGE@-@VERSION@/$$site.log;\
+ if ssh $$machine "env REMOTE_PREFIX=$(REMOTE_PREFIX) ssh -A $$machine2 $$cmd" 2>&1 > buildlogs/@PACKAGE@-@VERSION@/$$site.log;\
then echo "Sucessful"; else failed=1;echo "Failed (check buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
else \
- if ssh -CA $$machine "eval $$cmd" 2>&1 > buildlogs/@PACKAGE@-@VERSION@/$$site.log ;\
+ if ssh $$machine "eval $$cmd" 2>&1 > buildlogs/@PACKAGE@-@VERSION@/$$site.log ;\
then echo "Sucessful"; else failed=1;echo "Failed (check buildlogs/@PACKAGE@-@VERSION@/$$site.log)"; fi;echo; \
fi;\
done;\
+ tools/compile-stats;\
exit $$failed
endif