Small correction for Linux platforms

diff --git a/src/WOKTclLib/templates/env.sh b/src/WOKTclLib/templates/env.sh
index ec74e68a759dca9b5f5f97139d742092f43f6421..8637089b109c4127357da336bbc5ccb96065e6a0 100755 (executable)
--- a/src/WOKTclLib/templates/env.sh
+++ b/src/WOKTclLib/templates/env.sh
@@ -125,7 +125,7 @@ do
   if [ "${LD_LIBRARY_PATH}" == "" ]; then
     export LD_LIBRARY_PATH="${anItem}"
   else
-    export LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${anItem}"
+    export LD_LIBRARY_PATH="${anItem}:${LD_LIBRARY_PATH}"
   fi
   OPT_LINKER_OPTIONS="${OPT_LINKER_OPTIONS} -L${anItem}"
 done

diff --git a/src/WOKsite/wok_env.sh b/src/WOKsite/wok_env.sh
index ce08e5023c8d029131615192672920ab4e5d571d..dd87cf0378f51f4d035fcaf1aa82ac7067798fa2 100644 (file)
--- a/src/WOKsite/wok_env.sh
+++ b/src/WOKsite/wok_env.sh
@@ -67,7 +67,7 @@ fi
 
 # ----- 3rd-parties root -----
 if [ "$PRODUCTS_PATH" == "" ]; then
-  export PRODUCTS_PATH="${WOKHOME}/3rdparty/${WOKSTATION}${ARCH}"
+  export PRODUCTS_PATH="${WOKHOME}/3rdparty/lin32"
 fi
 
 # ----- Setup Environment Variables for WOK -----