aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/var-def.mk2
1 files changed, 1 insertions, 1 deletions
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@