diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/configure.ac b/configure.ac index 91772dcc..ec1a66c1 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.3.0-2009-03-25], +AC_INIT([OpenAxiom], [1.3.0-2009-04-01], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) @@ -350,15 +350,6 @@ if test x"$axiom_enable_checking" = xyes; then AC_MSG_NOTICE([runtime checking may increase compilation time]) fi -## ??? There currently seems to be a bug in ECL such that -## ??? only a debug+safety build can succeed. -case $axiom_lisp_flavor,$axiom_enable_checking in - ecl,no) - axiom_optimize_options="$axiom_optimize_options safety debug" - ;; - *) ;; -esac - AC_SUBST(axiom_enable_checking) AC_SUBST(axiom_optimize_options) |