diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-16 15:51:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-16 15:51:51 +0000 |
commit | aaa6a0b8d9807804a76db3eb6e9a218da55cf844 (patch) | |
tree | aeaf8df849c282889ed3b08b2faac927740ba092 | |
parent | 4941b3c516361183b4623f5660128e4f1bcce809 (diff) |
reverse the order of link arguments to -lcln -lgmp, fixes linking errors for static-binary CLN-enabled builds on greed
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e2517cbd9..e7cb9a3d3 100644 --- a/configure.ac +++ b/configure.ac @@ -293,7 +293,7 @@ else CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }$CLN_CFLAGS" CVC4CXXFLAGS="${CVC4CXXFLAGS:+$CVC4CXXFLAGS }$CLN_CFLAGS" CVC4CFLAGS="${CVC4CFLAGS:+$CVC4CFLAGS }$CLN_CFLAGS" - LIBS="${LIBS:+$LIBS }$CLN_LIBS" + LIBS="$CLN_LIBS${LIBS:+ $LIBS}" cvc4_cln_or_gmp=cln fi |