export PRODUCT="SIERPINSKY_${SALOME_VERSION}"
export PRODUCT_SRC="SIERPINSKY_SRC_${SALOME_VERSION}"
export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT_SRC}
export PRODUCT="SIERPINSKY_${SALOME_VERSION}"
export PRODUCT_SRC="SIERPINSKY_SRC_${SALOME_VERSION}"
export PRODUCT_DIR=${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
export PRODUCT_SRC_DIR=${INST_ROOT}/${PRODUCT_SRC}