From aaa6a0b8d9807804a76db3eb6e9a218da55cf844 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 16 Jul 2012 15:51:51 +0000
Subject: [PATCH] reverse the order of link arguments to -lcln -lgmp, fixes
 linking errors for static-binary CLN-enabled builds on greed

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.30.2