diff options
| author | Rene Engelhard <rene@debian.org> | 2011-10-18 21:26:40 +0200 |
|---|---|---|
| committer | Rene Engelhard <rene@debian.org> | 2011-10-18 21:26:40 +0200 |
| commit | aaf48368c80e60d6bf325573bab89a2efae6da4c (patch) | |
| tree | 7ac743f89906a5ebd5dd29934d13d9a6314bcc32 | |
| parent | d0a0513a9cbd25b2bcd933ec337f6366c86917cb (diff) | |
remove accidential Debian-only commit
| -rw-r--r-- | configure.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.in b/configure.in index 0fb9e7b85b09..157a527c5d7d 100644 --- a/configure.in +++ b/configure.in @@ -6485,9 +6485,8 @@ if test -n "$with_system_lpsolve" -o -n "$with_system_libs" && \ # some systems need this. Like Ubuntu.... AC_CHECK_LIB(m, floor) AC_CHECK_LIB(dl, dlopen) - AC_CHECK_LIB(colamd, colamd) AC_CHECK_LIB(lpsolve55, make_lp, , - [ AC_MSG_ERROR(lpsolve library not found or too old.)], [-L/usr/lib/lpsolve]) + [ AC_MSG_ERROR(lpsolve library not found or too old.)], []) MINGW_EXTERNAL_DLLS="$MINGW_EXTERNAL_DLLS lpsolve55.dll" else AC_MSG_RESULT([internal]) |