Update DISTENE tools: BLSurf 3.1, Hexotic 1.0

diff --git a/config_files/DISTENE.sh b/config_files/DISTENE.sh
index 8dc34bacc67d29ce00f6dc3979524198d73ae631..c01950783def7ef2d9df135209f1cb50f3d4a9ff 100755 (executable)
--- a/config_files/DISTENE.sh
+++ b/config_files/DISTENE.sh
@@ -18,11 +18,13 @@
 if test `uname -m` = "x86_64" ; then
 GHS3D41_VERSION=4.1_64
 GHS3D42_VERSION=4.2_64
-BLSURF_VERSION=3.0_64
+BLSURF_VERSION=3.1_64
+HEXOTIC_VERSION=1.0_64
 else
 GHS3D41_VERSION=4.1_32
 GHS3D42_VERSION=4.2_32
-BLSURF_VERSION=3.0_32
+BLSURF_VERSION=3.1_32
+HEXOTIC_VERSION=1.0_32
 fi
 
 
@@ -37,8 +39,9 @@ cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <<EOF
 #$DELIM ${PRODUCT_TYPE} $DELIM
 export DISTENE_HOME=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
 export BLSURFHOME=\${DISTENE_HOME}/Tools/BLSurf-${BLSURF_VERSION}
+export HEXOTICHOME=\${DISTENE_HOME}/Tools/Hexotic-V${HEXOTIC_VERSION}
 export LD_LIBRARY_PATH=\${BLSURFHOME}/lib:\${LD_LIBRARY_PATH} 
-export PATH=\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D41_VERSION}:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D42_VERSION}:\$PATH
+export PATH=\${HEXOTICHOME}\bin:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D41_VERSION}:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D42_VERSION}:\${PATH}
 ##
 EOF
 (test -w ${PRODUCT_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh ${PRODUCT_DIR})