diff options
author | Rene Engelhard <rene@openoffice.org> | 2010-06-22 19:22:18 +0200 |
---|---|---|
committer | Rene Engelhard <rene@openoffice.org> | 2010-06-22 19:22:18 +0200 |
commit | 66e597c747c53303ec67edc6eb0f52b4ffa6615f (patch) | |
tree | afbaf53199135f6d216a5f7442b99e1a09b4894c /configure.in | |
parent | 02689c759baefc21fa2709126142aa22c2dc4202 (diff) |
configure25: check for some more functions in libm in lpsolve check, needed on some systems
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in index dd07942b2eae..d521763e9fbb 100644 --- a/configure.in +++ b/configure.in @@ -5158,6 +5158,9 @@ if test -n "$with_system_lpsolve" -o -n "$with_system_libs" && \ SYSTEM_LPSOLVE=YES AC_CHECK_HEADER(lpsolve/lp_lib.h, [], [ AC_MSG_ERROR(lpsolve headers not found.)], []) + # some systems need this. Like Ubuntu.... + AC_CHECK_LIB(m, floor) + AC_CHECK_LIB(dl, dlopen) AC_CHECK_LIB(lpsolve55, make_lp, , [ AC_MSG_ERROR(lpsolve library not found or too old.)], []) else |