3 echo "##########################################################################"
5 echo "##########################################################################"
7 LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
10 function version_ge() { test "$(echo "$@" | tr " " "\n" | sort -rV | head -n 1)" == "$1"; }
12 if version_ge $VERSION "2.4.2"; then
13 $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --enable-shared --with-python PYTHON=$(which python3) PYTHON_CONFIG=$(which python3-config) CFLAGS='-m64 -fPIC' CPPFLAGS='-m64 -fPIC'
15 $SOURCE_DIR/configure --prefix=$PRODUCT_INSTALL --enable-shared --without-octave
17 echo "*** configure --prefix=$PRODUCT_INSTALL $CONFIGURE_ARGUMENTS"
20 echo "ERROR on configure"
25 echo "*** make" $MAKE_OPTIONS
34 echo "*** make install"
38 echo "ERROR on make install"
42 case $LINUX_DISTRIBUTION in
44 echo "WARNING: move files from lib64 to lib"
45 mv $PRODUCT_INSTALL/lib64/python$PYTHON_VERSION/site-packages/* $PRODUCT_INSTALL/lib/python$PYTHON_VERSION/site-packages/
46 rm -rf $PRODUCT_INSTALL/lib64/