diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-02-07 11:28:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-02-07 11:28:15 +0000 |
| commit | 511d7f753a42d2ec117e2c52fcaf3f3e7615f676 (patch) | |
| tree | 477b25f320f341da71fdf8ea6f41718016f4dec3 /configure.ac | |
| parent | 433490e3bdb3fca9fe28027c761f0438407b2acc (diff) | |
| download | open-axiom-511d7f753a42d2ec117e2c52fcaf3f3e7615f676.tar.gz | |
* configure.ac.pamphlet: Add support for --enable-threads.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 4874103d..57d5ca28 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2010-01-30], +AC_INIT([OpenAxiom], [1.4.0-2010-02-06], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) @@ -351,6 +351,22 @@ if test -z $axiom_fasl_type; then fi AC_SUBST(axiom_fasl_type) +## Does it make sense to pretend that we support multithreading? +oa_enable_threads=no +AC_ARG_ENABLE([threads], [ --enable-threads turn on threads support], + [case $enableval in + yes|no) oa_enable_threads=$enableval ;; + *) AC_MSG_ERROR([erroneous value for --enable-threads]) ;; + esac]) + +# GNU compiler wants to have a hint about multithreading. +case $GCC,$oa_enable_threads in + yes,yes) + axiom_cflags="$axiom_cflags -pthread" +esac + +AC_SUBST(oa_enable_threads) + AC_SUBST(axiom_all_prerequisites) axiom_optimize_options=speed ## Shall we proclaim safety? |