diff options
author | dos-reis <gdr@axiomatics.org> | 2009-07-03 02:48:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-07-03 02:48:59 +0000 |
commit | 9cbc59b328898f7a0966be5ec1665409f6aa836f (patch) | |
tree | 04c8a44171f367c8df21487f6157fdf59b03bf7c /configure.ac.pamphlet | |
parent | f28f87186f166f68374a132ef89065adb6752bc8 (diff) | |
download | open-axiom-9cbc59b328898f7a0966be5ec1665409f6aa836f.tar.gz |
Support ECL-based build profiling.
* configure.ac.pamphlet: Support --enable-profiling.
* config/var-def.mk (oa_yesno_to_lisp_boolean): New.
(oa_enable_profiling): Likewise.
(oa_enable_lisp_profiling): Likewise.
src/
* lisp/Makefile.in (edit): Substitute for oa_enable_profiling.
* lisp/core.lisp.in ($EnableLispProfiling): New.
(compileLispFile): Use it.
Diffstat (limited to 'configure.ac.pamphlet')
-rw-r--r-- | configure.ac.pamphlet | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 69fdf684..db7b72f6 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -489,6 +489,16 @@ fi AC_SUBST(axiom_enable_checking) AC_SUBST(axiom_optimize_options) + +## Parse args for profiling-enabled build. +oa_enable_profiling=no +AC_ARG_ENABLE([profiling], [ --enable-profiling turn profiling on], + [case $enableval in + yes|no) oa_enable_profiling=$enableval ;; + *) AC_MSG_ERROR([erroneous value for --enable-profiling]) ;; + esac]) + +AC_SUBST(oa_enable_profiling) @ |