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 03d0b6a5..a32bccac 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -198,6 +198,7 @@ PLF=@PLF@ CCF=@CCF@ LDF=@LDF@ -lm LISP=@LISP@ +oa_c_runtime_extra = @axiom_c_runtime_extra@ -lm axiom_use_x = @axiom_use_x@ AXIOM_X11_CFLAGS = @X_CFLAGS@ |