trunk/libf/make.sh

# This is a script in Bash.

# This script builds LMDZE. It is useful only to build into a
# directory other than "libf". If you want to build into "libf", you
# can just invoke "make" directly.

dest_dir=/home/guez/In_transit/LMDZE_work/Compil_prod
##dest_dir=$workdir/LMDZE/Compil_prod

set -xe
gmake -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD
1	guez	3	# This is a script in Bash.
2
3			# This script builds LMDZE. It is useful only to build into a
4			# directory other than "libf". If you want to build into "libf", you
5			# can just invoke "make" directly.
6
7			dest_dir=/home/guez/In_transit/LMDZE_work/Compil_prod
8			##dest_dir=$workdir/LMDZE/Compil_prod
9
10			set -xe
11			gmake -C $dest_dir -f $PWD/GNUmakefile -I$PWD $* libf_dir=$PWD