[SCM] Gerris Flow Solver branch, upstream, updated. b3aa46814a06c9cb2912790b23916ffb44f1f203

Stephane Popinet popinet at users.sf.net
Fri May 15 02:55:20 UTC 2009


The following commit has been merged in the upstream branch:
commit 27157e9d8a441661cf45aae1ff3e27536b0e8874
Author: Stephane Popinet <popinet at users.sf.net>
Date:   Sat May 10 13:15:48 2008 +1000

    Added cron job script in tools/
    
    darcs-hash:20080510031548-d4795-6dda7741bd699cd93f2535b5992bf9ea0965cf4d.gz

diff --git a/tools/daily b/tools/daily
new file mode 100755
index 0000000..11dcd18
--- /dev/null
+++ b/tools/daily
@@ -0,0 +1,265 @@
+#!/bin/bash
+
+. $HOME/.bashrc
+
+# Gerris tests
+wdir=$HOME/local/src/gerris-tests
+
+gerris=gerris-stable
+gfsview=gfsview-mainline
+gts=gts-mainline
+
+darcs_gerris=$HOME/local/src/darcs/gerris
+darcs_gts=$HOME/local/src/darcs/gts
+darcs_gfsview=$HOME/local/src/darcs/gfsview
+
+gtsweb=popinet at gts.sf.net:/home/groups/g/gt/gts/htdocs
+gerrisweb=popinet at gfs.sf.net:/home/groups/g/gf/gfs/htdocs
+localgerrisweb=/var/www/gerris
+
+export PATH=$wdir/local/bin:$PATH:/usr/local/bin
+export LD_LIBRARY_PATH=$wdir/local/lib:$LD_LIBRARY_PATH:/usr/local/lib
+export PKG_CONFIG_PATH=$wdir/local/lib/pkgconfig:$PKG_CONFIG_PATH
+ulimit -c unlimited
+
+# argument #1: repository to upgrade
+# argument #2: package name
+darcs_upgrade()
+{
+    package=$localgerrisweb/version/$2
+    if ( darcs push --dry-run --no-set-default $1 | \
+	 grep "No recorded local changes to push" ) ; then :
+    else
+	if ( darcs push --dry-run --no-set-default $1 | \
+	       grep -v "^\(Making no changes\|Pushing to\|Would push\)" | \
+	       $HOME/local/bin/redate | \
+	       source-highlight -f html -s changelog -c mystyle --no-doc > $package"_changes" ) && \
+	   ( darcs changes | \
+	       $HOME/local/bin/redate | \
+	       source-highlight -f html -s changelog -c mystyle --no-doc > $package"_all_changes" ) && \
+	   ( grep -c date $package"_changes" | awk '{printf ("%d", $1)}' > $package"_changes_number" ) && \
+	   ( darcs changes --last=1 --xml-output | \
+	      awk 'BEGIN{RS=" ";FS="="} {
+                if ($1 == "date") 
+                  printf ("%s-%s-%s", substr($2,8,2), substr($2,6,2), substr($2,2,4));
+               }' > $package"_current" ) && \
+	    darcs push -a --no-set-default $1 ; then
+	    return 0;
+	else
+	    return 1;
+	fi	
+    fi
+}
+
+build_gts=false
+if ( cd $wdir/$gts && make -k clean && \
+    ( darcs pull -a | grep "No remote changes to pull in" ) ) > /dev/null 2>&1 ; then
+    gts_changed=false
+else
+    gts_changed=true
+    if ( cd $wdir/$gts && sh autogen.sh --prefix=$wdir/local && make -k && make -k install ) \
+       > $wdir/build 2>&1 ; then :
+	build_gts=true
+    else
+	echo
+        echo ============ $wdir/$gts: build failed ============
+	echo
+	cat $wdir/build
+	exit 1
+    fi
+fi
+
+build_gerris=false
+if ( cd $wdir/$gerris && make -k clean && \
+    ( darcs pull -a | grep "No remote changes to pull in" ) ) > /dev/null 2>&1 ; then
+    gerris_changed=false
+    if $build_gts ; then
+	build_gerris=true
+    fi
+else
+    gerris_changed=true
+    build_gerris=true
+fi
+if $build_gerris ; then
+    if ( cd $wdir/$gerris && sh autogen.sh --prefix=$wdir/local --disable-mpi && make -k && make -k install ) \
+       > $wdir/build 2>&1 ; then :
+    else
+	echo
+        echo ============ $wdir/$gerris: build failed ============
+	echo
+	cat $wdir/build
+	exit 1
+    fi
+fi
+
+build_gfsview=false
+if ( cd $wdir/$gfsview && make -k clean && \
+    ( darcs pull -a | grep "No remote changes to pull in" ) ) > /dev/null 2>&1 ; then :
+    gfsview_changed=false
+    if $build_gerris ; then
+	build_gfsview=true
+    fi
+else
+    gfsview_changed=true
+    build_gfsview=true
+fi
+if $build_gfsview ; then
+    if ( cd $wdir/$gfsview && sh autogen.sh --prefix=$wdir/local && make -k && make -k install ) \
+       > $wdir/build 2>&1 ; then :
+    else
+	echo
+        echo ============ $wdir/$gfsview: build failed ============
+	echo
+	cat $wdir/build
+	exit 1
+    fi
+fi
+
+if ( $build_gerris || $build_gfsview ) ; then
+   if ( cd $wdir/$gerris && make -k check ) > $wdir/check 2>&1 ; then :
+   else
+       check=1
+   fi
+   if ( cd $wdir/$gerris/test && make -k tests && \
+        cd $wdir/$gerris/doc/tutorial && make -k tutorial.pdf tutorial.tar.gz && \
+        cd $wdir/$gerris/doc/examples && make -k examples.tar.gz && \
+        cd $wdir/$gerris/doc && make -k templates sgml html ) > $wdir/tests 2>&1 ; then :
+   else
+       tests=1
+   fi
+   if test $check; then
+       echo
+       echo ============ $wdir: check failed =====================
+       if test ! $tests; then
+	   echo file://$wdir/$gerris/test/tests/index.html
+       fi
+       echo
+       cat $wdir/check
+   fi
+   if test $tests; then
+       echo
+       echo ============ $wdir: doc generation failed ============
+       echo
+       cat $wdir/tests
+   fi
+   if test -z "$check" && test -z "$tests"; then
+       if ( cd $wdir/$gts && darcs_upgrade $darcs_gts/$gts gts && \
+	    cd $wdir/$gerris && darcs_upgrade $darcs_gerris/$gerris gerris && \
+	    cd $wdir/$gfsview && darcs_upgrade $darcs_gfsview/$gfsview gfsview ) \
+	   > $wdir/darcs 2>&1 ; then
+	   gts_snapshot=true
+	   if $gts_changed ; then
+	       if ( darcs2dist gts $darcs_gts/$gts $gtsweb && \
+                    cd $wdir/$gts && make ChangeLog debian-snapshot && \
+		    rsync -rz --delete --rsh=ssh $wdir/$gts/debian/repo/ $gtsweb/debian/ ) \
+               > $wdir/snapshot 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: GTS snapshot failed ============
+		   echo
+		   cat $wdir/snapshot
+		   gts_snapshot=false
+	       fi
+	   fi
+	   gerris_snapshot=true
+	   if $gerris_changed && $gts_snapshot ; then
+	       if ( darcs2dist gerris $darcs_gerris/$gerris $gerrisweb ) \
+               > $wdir/snapshot 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: Gerris snapshot failed ============
+		   echo
+		   cat $wdir/snapshot
+		   gerris_snapshot=false
+	       fi
+	   fi
+	   gerris_debian=true
+           if $gts_snapshot && ( $gts_changed || $gerris_changed ) ; then
+	       if ( cd $wdir/$gerris && make ChangeLog debian-snapshot && \
+	 	    rm -f $HOME/local/debian/gerris-snapshot_*.deb && \
+		    mv -f $wdir/$gerris/debian/repo/*.deb $HOME/local/debian ) \
+		   > $wdir/debian 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: Gerris debian failed ============
+		   echo
+		   cat $wdir/debian
+		   gerris_debian=false
+	       fi
+	   fi
+	   if $gfsview_changed && $gerris_snapshot ; then
+	       if ( darcs2dist gfsview $darcs_gfsview/$gfsview $gerrisweb ) \
+               > $wdir/snapshot 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: GfsView snapshot failed ============
+		   echo
+		   cat $wdir/snapshot
+	       fi
+	   fi
+	   gfsview_debian=true
+	   if $gts_snapshot && $gerris_debian && \
+              ( $gts_changed || $gerris_changed || $gfsview_changed ) ; then
+	       if ( cd $wdir/$gfsview && make ChangeLog debian-snapshot && \
+		    rm -f $HOME/local/debian/gfsview-snapshot_*.deb && \
+		    mv -f $wdir/$gfsview/debian/repo/*.deb $HOME/local/debian ) \
+               > $wdir/debian 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: GfsView debian failed ============
+		   echo
+		   cat $wdir/debian
+		   gfsview_debian=false
+	       fi
+	   fi
+           if $gts_snapshot && $gerris_debian && $gfsview_debian && \
+	       ( $gts_changed || $gerris_changed || $gfsview_changed ) ; then
+	       if ( cd $HOME/local/debian && \
+                    dpkg-scanpackages . /dev/null | gzip -9c > Packages.gz && \
+		    ssh popinet at gfs.sf.net rm -f /home/groups/g/gf/gfs/htdocs/debian/* && \
+                    scp -q $HOME/local/debian/* $gerrisweb/debian ) \
+               > $wdir/debian 2>&1 ; then :
+	       else
+		   echo
+		   echo ============ $wdir: Gerris/GfsView debian failed ============
+		   echo
+		   cat $wdir/debian
+	       fi
+           fi
+       else
+	   echo
+	   echo ============ $wdir: darcs push failed ============
+	   echo
+	   cat $wdir/darcs
+       fi
+       if ( cd $wdir/$gerris/test && make tests.tar.gz && \
+           rm -r -f $localgerrisweb/tests/* && \
+           cp tests.tar.gz $localgerrisweb/tests/ && \
+	   cd $localgerrisweb/tests/ && \
+	   tar xzf tests.tar.gz && \
+	   cd $wdir/$gerris/doc/examples && \
+           rm -r -f $HOME/local/src/gerris-www/publish/examples/* && \
+           cp examples.tar.gz $HOME/local/src/gerris-www/publish/examples/ && \
+	   cd $HOME/local/src/gerris-www/publish/examples/ && \
+	   tar xzf examples.tar.gz && rm -f examples.tar.gz && \
+	   cd $wdir/$gts && rm -f ChangeLog && make ChangeLog && \
+	   $HOME/local/bin/redate < ChangeLog | source-highlight -f html -s changelog -d -T "GTS ChangeLog" > $HOME/local/src/gts-www/publish/ChangeLog.html && \
+	   cd $wdir/$gerris && rm -f ChangeLog && make ChangeLog && \
+	   $HOME/local/bin/redate < ChangeLog | source-highlight -f html -s changelog -d -T "Gerris ChangeLog" > $localgerrisweb/gerris-ChangeLog.html && \
+	   cd $wdir/$gfsview && rm -f ChangeLog && make ChangeLog && \
+	   $HOME/local/bin/redate < ChangeLog | source-highlight -f html -s changelog -d -T "GfsView ChangeLog" > $localgerrisweb/gfsview-ChangeLog.html && \
+	   cd $HOME/local/src/gerris-www && make publish_local sync && \
+	   cd $HOME/local/src/gts-www && make sync ) > $wdir/www 2>&1 ; then :
+       else
+	   echo
+	   echo ============ $wdir: www failed ============
+	   echo
+	   cat $wdir/www
+       fi
+   fi
+fi
+
+# Darcs mirroring
+rsync -az --delete --rsh=ssh $HOME/local/src/darcs/gfsview/* popinet at gfs.sourceforge.net:/home/groups/g/gf/gfs/htdocs/darcs/gfsview/
+rsync -az --delete --rsh=ssh $HOME/local/src/darcs/gerris/* popinet at gfs.sourceforge.net:/home/groups/g/gf/gfs/htdocs/darcs/gerris
+rsync -az --delete --rsh=ssh $HOME/local/src/darcs/gts/* popinet at gts.sourceforge.net:/home/groups/g/gt/gts/htdocs/darcs

-- 
Gerris Flow Solver



More information about the debian-science-commits mailing list