3 echo "##########################################################################"
4 echo "omniORB" $VERSION
5 echo "##########################################################################"
9 PYTHON_HOME=$PYTHONHOME
12 echo "*** configure --prefix=$PRODUCT_INSTALL --disable-ipv6"
13 $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --disable-ipv6
16 echo "ERROR on configure"
21 echo "*** make" $MAKE_OPTIONS
30 echo "*** make install"
34 echo "ERROR on make install"
38 if [[ $VERSION == "4.1.6" ]]
42 echo "*** fix headers"
43 cd $PRODUCT_INSTALL/bin
44 sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
45 mv -f _omniidl omniidl
47 sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
48 mv -f _omniidlrun.py omniidlrun.py
49 chmod a+x omniidlrun.py