No more need of these ones...

[simgrid.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index b93da68..e737ec2 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,8 +1,9 @@
-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 \
@@ -25,13 +26,19 @@ release: distcheck remote debian publish
 
 debian: dist
        make -C ~/CVSIMPORT/pkg-grid/gras maintainerclean
-       cp @PACKAGE@-@VERSION@.tar.gz ~/CVSIMPORT/pkg-grid/gras
+       cp @PACKAGE@-@VERSION@.tar.gz ~/CVSIMPORT/pkg-grid/gras/
+       cp @PACKAGE@-@VERSION@.tar.gz ~/CVSIMPORT/pkg-grid/gras/@PACKAGE@_@VERSION@.orig.tar.gz
        make -C ~/CVSIMPORT/pkg-grid/gras deb check
        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:
@@ -52,7 +59,7 @@ 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
@@ -99,13 +106,14 @@ remote: @PACKAGE@-@VERSION@.tar.gz tools/compile-remote-worker
           \
           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