diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index 2356193d..c2d99b1f 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -201,6 +201,7 @@ CCF=@CCF@ LDF=@LDF@ -lm LISP=@LISP@ oa_c_runtime_extra = @LIBS@ @axiom_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))) |