Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Fix mosek library detection
Mosek was not detected on 64-bits system
  • Loading branch information
vigsterkr committed Aug 17, 2012
1 parent 7636b27 commit b3b76e8
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions src/configure
Expand Up @@ -3495,13 +3495,21 @@ int main(int argc, char **argv)
MSK_makeenv(&m_env, NULL, NULL, NULL, NULL);
}
EOF
MOSEK_LDADD="-liomp5"
if x86_64
then
MOSEK_LDADD="$MOSEK_LDADD -lmosek64"
else
MOSEK_LDADD="$MOSEK_LDADD -lmosek"
fi

echocheck "Mosek support"
if cxx_check -lmosek
if cxx_check $MOSEK_LDADD
then
echores "yes"
USE_MOSEK='#define USE_MOSEK 1'
DEFINES="$DEFINES -DUSE_MOSEK"
POSTLINKFLAGS="$POSTLINKFLAGS -lmosek"
POSTLINKFLAGS="$POSTLINKFLAGS $MOSEK_LDADD"
else
if test "$_mosek" = yes
then
Expand Down

0 comments on commit b3b76e8

Please sign in to comment.