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"
37 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
39 if version_ge $VERSION "4.1" ; then
42 echo "*** fix headers"
43 cd $PRODUCT_INSTALL/bin
44 sed -e "s%#\!.*python%#\!/usr/bin/env python3%" omniidl > _omniidl
45 mv -f _omniidl omniidl
47 sed -e "s%#\!.*python%#\!/usr/bin/env python3%" omniidlrun.py > _omniidlrun.py
48 mv -f _omniidlrun.py omniidlrun.py
49 chmod a+x omniidlrun.py