Location: LEMON/LEMON-main/m4/lx_check_soplex.m4 - annotation

Load file history
gravatar
kpeter (Peter Kovacs)
Support real types + numerical stability fix in NS (#254) - Real types are supported by appropriate inicialization. - A feature of the XTI spanning tree structure is removed to ensure numerical stability (could cause problems using integer types). The node potentials are updated always on the lower subtree, in order to prevent overflow problems. The former method isn't notably faster during to our tests.
AC_DEFUN([LX_CHECK_SOPLEX],
[
  AC_ARG_WITH([soplex],
AS_HELP_STRING([--with-soplex@<:@=PREFIX@:>@], [search for SOPLEX under PREFIX or under the default search paths if PREFIX is not given @<:@default@:>@])
AS_HELP_STRING([--without-soplex], [disable checking for SOPLEX]),
              [], [with_soplex=yes])

  AC_ARG_WITH([soplex-includedir],
AS_HELP_STRING([--with-soplex-includedir=DIR], [search for SOPLEX headers in DIR]),
              [], [with_soplex_includedir=no])

  AC_ARG_WITH([soplex-libdir],
AS_HELP_STRING([--with-soplex-libdir=DIR], [search for SOPLEX libraries in DIR]),
              [], [with_soplex_libdir=no])

  lx_soplex_found=no
  if test x"$with_soplex" != x"no"; then
    AC_MSG_CHECKING([for SOPLEX])

    if test x"$with_soplex_includedir" != x"no"; then
      SOPLEX_CXXFLAGS="-I$with_soplex_includedir"
    elif test x"$with_soplex" != x"yes"; then
      SOPLEX_CXXFLAGS="-I$with_soplex/include"
    fi

    if test x"$with_soplex_libdir" != x"no"; then
      SOPLEX_LDFLAGS="-L$with_soplex_libdir"
    elif test x"$with_soplex" != x"yes"; then
      SOPLEX_LDFLAGS="-L$with_soplex/lib"
    fi
    SOPLEX_LIBS="-lsoplex -lz"

    lx_save_cxxflags="$CXXFLAGS"
    lx_save_ldflags="$LDFLAGS"
    lx_save_libs="$LIBS"
    CXXFLAGS="$SOPLEX_CXXFLAGS"
    LDFLAGS="$SOPLEX_LDFLAGS"
    LIBS="$SOPLEX_LIBS"

    lx_soplex_test_prog='
      #include <soplex/soplex.h>

      int main(int argc, char** argv)
      {
        soplex::SoPlex soplex;
        return 0;
      }'

    AC_LANG_PUSH(C++)
    AC_LINK_IFELSE([$lx_soplex_test_prog], [lx_soplex_found=yes], [lx_soplex_found=no])
    AC_LANG_POP(C++)

    CXXFLAGS="$lx_save_cxxflags"
    LDFLAGS="$lx_save_ldflags"
    LIBS="$lx_save_libs"

    if test x"$lx_soplex_found" = x"yes"; then
      AC_DEFINE([HAVE_SOPLEX], [1], [Define to 1 if you have SOPLEX.])
      lx_lp_found=yes
      AC_DEFINE([HAVE_LP], [1], [Define to 1 if you have any LP solver.])
      AC_MSG_RESULT([yes])
    else
      SOPLEX_CXXFLAGS=""
      SOPLEX_LDFLAGS=""
      SOPLEX_LIBS=""
      AC_MSG_RESULT([no])
    fi
  fi
  SOPLEX_LIBS="$SOPLEX_LDFLAGS $SOPLEX_LIBS"
  AC_SUBST(SOPLEX_CXXFLAGS)
  AC_SUBST(SOPLEX_LIBS)
  AM_CONDITIONAL([HAVE_SOPLEX], [test x"$lx_soplex_found" = x"yes"])
])