products/compil_scripts/omniORB.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "omniORB" $VERSION
   5 echo "##########################################################################"
   6
   7
   8
   9 PYTHON_HOME=$PYTHONHOME
  10
  11 echo
  12 echo "*** configure --prefix=$PRODUCT_INSTALL --disable-ipv6"
  13 PYTHON=$PYTHONBIN $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --disable-ipv6
  14 if [ $? -ne 0 ]
  15 then
  16     echo "ERROR on configure"
  17     exit 1
  18 fi
  19
  20 echo
  21 echo "*** make" $MAKE_OPTIONS
  22 make $MAKE_OPTIONS
  23 if [ $? -ne 0 ]
  24 then
  25     echo "ERROR on make"
  26     exit 2
  27 fi
  28
  29 echo
  30 echo "*** make install"
  31 make install
  32 if [ $? -ne 0 ]
  33 then
  34     echo "ERROR on make install"
  35     exit 3
  36 fi
  37
  38 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
  39
  40 if version_ge $VERSION "4.1" ; then
  41     # fix headers
  42     echo
  43     echo "*** fix headers"
  44     cd $PRODUCT_INSTALL/bin
  45     sed -e "s%#\!.*python[0-9]*%#\!/usr/bin/env python3%" omniidl > _omniidl
  46     mv -f _omniidl omniidl
  47     chmod a+x omniidl
  48     sed -e "s%#\!.*python[0-9]*%#\!/usr/bin/env python3%" omniidlrun.py > _omniidlrun.py
  49     mv -f _omniidlrun.py omniidlrun.py
  50     chmod a+x omniidlrun.py
  51 fi
  52
  53 echo
  54 echo "########## END"
  55