diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index 73b95dd6..2356193d 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -202,6 +202,12 @@ LDF=@LDF@ -lm LISP=@LISP@ oa_c_runtime_extra = @LIBS@ @axiom_c_runtime_extra@ -lm +oa_yesno_to_lisp_boolean = $(subst yes,t,$(subst no,nil,$(1))) + +oa_enable_profiling = @oa_enable_profiling@ +oa_enable_lisp_profiling = \ + $(call oa_yesno_to_lisp_boolean,$(oa_enable_profiling)) + axiom_use_x = @axiom_use_x@ AXIOM_X11_CFLAGS = @X_CFLAGS@ AXIOM_X11_LDFLAGS = @X_LIBS@ @X_PRE_LIBS@ -lX11 @X_EXTRA_LIBS@ |