export PROCEDURE=$1;
export INSTALL_WORK=$2;
export SOURCE_DIR=$3;
export INSTALL_ROOT=$4;
export PRODUCT_SEQUENCE=$5;
if [ $# == 6 ] ; then export PRODUCT_TYPE=$6 ; else export PRODUCT_TYPE="HXX2SALOME" ; fi
export PROCEDURE=$1;
export INSTALL_WORK=$2;
export SOURCE_DIR=$3;
export INSTALL_ROOT=$4;
export PRODUCT_SEQUENCE=$5;
if [ $# == 6 ] ; then export PRODUCT_TYPE=$6 ; else export PRODUCT_TYPE="HXX2SALOME" ; fi