diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 2 |
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@ |