reverse the order of link arguments to -lcln -lgmp, fixes linking errors for static...

diff --git a/configure.ac b/configure.ac
index e2517cbd9f32726e9040a0eb7c3e3711c4474b7f..e7cb9a3d3fe93728b627741f1d871e40802b6381 100644 (file)
--- 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