diff options
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index db35ea70..73e82a62 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -428,6 +428,7 @@ runtime checking. This may be useful when chasing Heinsenbugs. It probably should be the default mode on development or experimental branches. <<runtime checking>>= +axiom_optimize_options=speed ## Shall we proclaim safety? axiom_enable_checking=no # don't turn on checking by default. AC_ARG_ENABLE([checking], [ --enable-checking turn runtime checking on], @@ -436,9 +437,11 @@ AC_ARG_ENABLE([checking], [ --enable-checking turn runtime checking on], *) AC_MSG_ERROR([erroneous value for --enable-checking]) ;; esac]) if test x"axiom_enable_checking" = xyes; then + axiom_optimize_options="$axiom_optimize_options safety" AC_MSG_NOTICE([runtime checking may increase compilation time]) fi AC_SUBST(axiom_enable_checking) +AC_SUBST(axiom_optimize_options) @ @@ -1076,6 +1079,7 @@ AXIOM_MAKEFILE([Makefile]) AXIOM_MAKEFILE([src/Makefile]) AXIOM_MAKEFILE([src/lib/Makefile]) AXIOM_MAKEFILE([src/lisp/Makefile]) +AC_CONFIG_FILES([src/lisp/core.lisp]) AXIOM_MAKEFILE([src/boot/Makefile]) AXIOM_MAKEFILE([src/interp/Makefile]) AXIOM_MAKEFILE([src/share/Makefile]) |