From 8f5ecc14bf837a9ce164676558e3e1f3cf719ff6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 27 Feb 2011 15:24:22 +0100
Subject: [PATCH] [buddy] * examples/cmilner/Makefile.am (cmilner_LDADD): Link
 with -lm, to find the pow() function.

---
 buddy/ChangeLog                    | 5 +++++
 buddy/examples/cmilner/Makefile.am | 1 +
 2 files changed, 6 insertions(+)

diff --git a/buddy/ChangeLog b/buddy/ChangeLog
index 6bf505156..ac02a9ffb 100644
--- a/buddy/ChangeLog
+++ b/buddy/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* examples/cmilner/Makefile.am (cmilner_LDADD): Link with -lm, to
+	find the pow() function.
+
 2010-11-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/bddop.c (bdd_setxor): New function.
diff --git a/buddy/examples/cmilner/Makefile.am b/buddy/examples/cmilner/Makefile.am
index 736851736..28d69b13d 100644
--- a/buddy/examples/cmilner/Makefile.am
+++ b/buddy/examples/cmilner/Makefile.am
@@ -2,3 +2,4 @@ include ../Makefile.def
 EXTRA_DIST = readme
 check_PROGRAMS = cmilner
 cmilner_SOURCES = cmilner.c
+cmilner_LDADD = $(LDADD) -lm