products/compil_scripts/nlopt.sh

   1 #!/bin/bash
   2
   3 echo "##########################################################################"
   4 echo "nlopt" $VERSION
   5 echo "##########################################################################"
   6
   7
   8 #
   9 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
  10
  11 if version_ge $VERSION "2.4.2"; then
  12     $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --enable-shared --with-python PYTHON=$(which python3) PYTHON_CONFIG=$(which python3-config) CFLAGS='-m64 -fPIC' CPPFLAGS='-m64 -fPIC'
  13 else
  14     $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --enable-shared --without-octave
  15 fi
  16 echo   "*** configure --prefix=$PRODUCT_INSTALL $CONFIGURE_ARGUMENTS"
  17 if [ $? -ne 0 ]
  18 then
  19     echo "ERROR on configure"
  20     exit 1
  21 fi
  22
  23 echo
  24 echo "*** make" $MAKE_OPTIONS
  25 make $MAKE_OPTIONS
  26 if [ $? -ne 0 ]
  27 then
  28     echo "ERROR on make"
  29     exit 2
  30 fi
  31
  32 echo
  33 echo "*** make install"
  34 make install
  35 if [ $? -ne 0 ]
  36 then
  37     echo "ERROR on make install"
  38     exit 3
  39 fi
  40
  41 echo
  42 echo "########## END"
  43