3 echo "##########################################################################"
4 echo "omniORB" $VERSION
5 echo "##########################################################################"
7 rm -Rf $PRODUCT_INSTALL
9 PYTHON_HOME=$PYTHONHOME
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"
41 echo "*** fix headers"
42 cd $PRODUCT_INSTALL/bin
43 sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidl > _omniidl
44 mv -f _omniidl omniidl
46 sed -e "s%#\!.*python%#\!/usr/bin/env python%" omniidlrun.py > _omniidlrun.py
47 mv -f _omniidlrun.py omniidlrun.py
48 chmod a+x omniidlrun.py