feature/igc3 6627d881991 1/5: * configure.ac (--enable-igc-ephemeron-pool): New option.
Helmut Eller <[email protected]>
| Newsgroups | gmane.emacs.diffs |
|---|---|
| Message-ID | <[email protected]> |
branch: feature/igc3 commit 6627d8819918133ae9b0cc561588479969e3d227 Author: Helmut Eller <[email protected]> Commit: Helmut Eller <[email protected]> * configure.ac (--enable-igc-ephemeron-pool): New option. --- configure.ac | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/configure.ac b/configure.ac index 307fe6b2719..09bd782240f 100644 --- a/configure.ac +++ b/configure.ac @@ -5587,6 +5587,19 @@ if test "${with_mps}" != "no"; then AC_CONFIG_SUBDIRS([mps]) fi +AC_ARG_ENABLE([igc-ephemeron-pool], + [AS_HELP_STRING([--enable-igc-ephemeron-pool], + [use the AEPH pool])], + [ac_enable_igc_ephemeron_pool="$enableval"], + [ac_enable_igc_ephemeron_pool=no]) + +if test "$ac_enable_igc_ephemeron_pool" = yes; then + if test "$HAVE_MPS" = no; then + AC_MSG_ERROR([--enable-igc-ephemeron-pool requires --with-mps]). + fi + AC_DEFINE([USE_EPHEMERON_POOL], [1], [Define to use the AEPH pool.]) +fi + AC_SUBST([MPS_CFLAGS]) AC_SUBST([MPSOBJ]) AC_SUBST([IGCOBJ])