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	# 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