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 e6ecd0a1..1e6d4272 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -205,7 +205,7 @@ open_axiom_installdir = @open_axiom_installdir@ INC=$(top_srcdir)/src/include CCF=@CCF@ -oa_c_runtime_extra = @LIBS@ @axiom_c_runtime_extra@ -lm +oa_c_runtime_extra = @LIBS@ @oa_c_runtime_extra@ -lm oa_c_libs = -lopen-axiom-core $(oa_c_runtime_extra) -lm oa_yesno_to_lisp_boolean = $(subst yes,t,$(subst no,nil,$(1))) |