Remove HappyDoc dependencies

[tools/install.git] / config_files / omniORB-4.0.5.sh

diff --git a/config_files/omniORB-4.0.5.sh b/config_files/omniORB-4.0.5.sh
index 7fcb7bf31bfa9dab52e109c5764af2b1b4cb8510..e07f9aa26782c1b4db515f84976d15f090f40341 100755 (executable)
--- a/config_files/omniORB-4.0.5.sh
+++ b/config_files/omniORB-4.0.5.sh
@@ -131,8 +131,19 @@ EOF
 check_job ${PRODUCT_DIR}/MAKE_OMNINOTIFY.LOG make
 check_job ${PRODUCT_DIR}/INSTALL_OMNINOTIFY.LOG make install
 
+cd ${PRODUCT_DIR}/bin
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
+mv -f _omniidl omniidl
+chmod a+x omniidl
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
+mv -f _omniidlrun.py omniidlrun.py
+chmod a+x omniidlrun.py
+
 #du -sk ${PRODUCT_WORK} > ${PRODUCT_DIR}/size.log
-rm -fr ${PRODUCT_WORK}
+cd ${PRODUCT_DIR}
+rm -fr ${INSTALL_WORK}/omniORB-4.0.5
+rm -fr ${INSTALL_WORK}/omniORBpy-2.5
+rm -fr ${INSTALL_WORK}/omniNotify
 print_env
 }
 
@@ -143,12 +154,15 @@ source ${INSTALL_WORK}/$SHRC
 
 check_jb tar xfz ${SOURCE_DIR}/omniORB-4.0.5.tar.gz -C ${INSTALL_ROOT}
 
-ln -s ${PRODUCT_DIR} ${INSTALL_ROOT}/omni
+ln -sf ${PRODUCT_DIR} ${INSTALL_ROOT}/omni
 
 cd ${PRODUCT_DIR}/bin
-sed -e "s%#\!.*python%#\!`which python`%" omniidl > _omniidl
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
 mv -f _omniidl omniidl
 chmod a+x omniidl
+sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
+mv -f _omniidlrun.py omniidlrun.py
+chmod a+x omniidlrun.py
 
 print_env
 }