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 + + * examples/cmilner/Makefile.am (cmilner_LDADD): Link with -lm, to + find the pow() function. + 2010-11-07 Alexandre Duret-Lutz * 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