From f3d09f3108f460682fb178b7d361f21f4e1d21e3 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 7 Oct 2018 14:18:09 +0200
Subject: [PATCH] build: add missing gnulib libs

* src/local.mk (LDADD): Here.
---
 src/local.mk | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/local.mk b/src/local.mk
index 45888f95..f1384c0c 100644
--- a/src/local.mk
+++ b/src/local.mk
@@ -13,7 +13,15 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-LDADD = lib/libbison.a $(LIBINTL)
+LDADD =                                         \
+  $(ISNAND_LIBM)                                \
+  $(ISNANF_LIBM)                                \
+  $(ISNANL_LIBM)                                \
+  $(LDEXPL_LIBM)                                \
+  $(LDEXP_LIBM)                                 \
+  $(LIBINTL)                                    \
+  $(LIBTHREAD)                                  \
+  lib/libbison.a
 
 bin_PROGRAMS = src/bison
 # Prettify Automake-computed names of compiled objects.