1
1
openmpi/contrib/nightly/openmpi-release.sh
2010-09-18 09:13:38 +00:00

47 строки
847 B
Bash
Исполняемый файл

#!/bin/sh -x
# The tarballs to make
#dirs="/branches/v1.2 /branches/v1.1 /branches/v1.0 /trunk"
# The tarballs to make
if [ $# -eq 0 ] ; then
dirs="branches/v1.5"
else
dirs=$@
fi
# Build root - scratch space
build_root=/home/mpiteam/openmpi/release/
# Script to execute
script=contrib/dist/make_dist_tarball
export PATH=$HOME/local/bin:$PATH
export LD_LIBRARY_PATH=$HOME/local/lib:$LD_LIBRARY_PATH
#####
#
# Actually do stuff
#
#####
# load the modules configuration
#JJH File No longer exists: . /etc/profile.d/00-modules.sh
. /etc/profile.d/modules.sh
module use ~/modules
module load sowing
# move to the directory
# Loop making them
for dir in $dirs; do
ver=`basename $dir`
cd $build_root/$ver
module load "autotools/ompi-$ver"
./$script $@ >dist.out 2>&1
module unload "autotools"
done