aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rw-r--r--config/var-def.mk2
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index a31369d3..15a18f8c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-01-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * config/var-def.mk (LDF): Include -lm.
+
2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>
* configure.ac.pamphlet: For mingw host, default $prefix to
diff --git a/config/var-def.mk b/config/var-def.mk
index 3281f17a..8809d1ae 100644
--- a/config/var-def.mk
+++ b/config/var-def.mk
@@ -179,7 +179,7 @@ open_axiom_installdir = @open_axiom_installdir@
INC=$(top_srcdir)/src/include
PLF=@PLF@
CCF=@CCF@
-LDF=@LDF@
+LDF=@LDF@ -lm
LISP=@LISP@
axiom_use_x = @axiom_use_x@