merge from master

[tools/sat_salome.git] / products / compil_scripts / omniORB.sh

diff --git a/products/compil_scripts/omniORB.sh b/products/compil_scripts/omniORB.sh
index 3475c3860067f3f88254cc894dc751f4b82a4311..abd2a8e20f25ad6e3dd82af61f2c1ec2b597afde 100755 (executable)
--- a/products/compil_scripts/omniORB.sh
+++ b/products/compil_scripts/omniORB.sh
@@ -10,7 +10,7 @@ PYTHON_HOME=$PYTHONHOME
 
 echo
 echo "*** configure --prefix=$PRODUCT_INSTALL --disable-ipv6"
-$SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --disable-ipv6 
+PYTHON=$PYTHONBIN $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --disable-ipv6
 if [ $? -ne 0 ]
 then
     echo "ERROR on configure"
@@ -34,6 +34,7 @@ then
     echo "ERROR on make install"
     exit 3
 fi
+
 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
 
 if version_ge $VERSION "4.1" ; then
@@ -41,10 +42,10 @@ if version_ge $VERSION "4.1" ; then
     echo
     echo "*** fix headers"
     cd $PRODUCT_INSTALL/bin
-    sed -e "s%#\!.*python%#\!/usr/bin/env python3%" omniidl > _omniidl
+    sed -e "s%#\!.*python[0-9]*%#\!/usr/bin/env python3%" omniidl > _omniidl
     mv -f _omniidl omniidl
     chmod a+x omniidl
-    sed -e "s%#\!.*python%#\!/usr/bin/env python3%" omniidlrun.py > _omniidlrun.py
+    sed -e "s%#\!.*python[0-9]*%#\!/usr/bin/env python3%" omniidlrun.py > _omniidlrun.py
     mv -f _omniidlrun.py omniidlrun.py
     chmod a+x omniidlrun.py
 fi