[SCM] gawk branch, feature/m1-pma, updated. gawk-4.1.0-4933-g8c76dbf2

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, feature/m1-pma has been updated
       via  8c76dbf27619f450f35153b116ff045235a7690f (commit)
      from  a3652d3a3de4b4a8e2aa2cdc124725d7264189c3 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=8c76dbf27619f450f35153b116ff045235a7690f

commit 8c76dbf27619f450f35153b116ff045235a7690f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Oct 21 13:44:16 2022 +0300

    Fix in extension/configure.ac

diff --git a/extension/configure b/extension/configure
index 1f9de569..5e4a7ca6 100755
--- a/extension/configure
+++ b/extension/configure
@@ -807,6 +807,7 @@ ac_subst_files=''
 ac_user_opts='
 enable_option_checking
 enable_silent_rules
+enable_pma
 enable_dependency_tracking
 enable_mpfr
 enable_nls
@@ -1463,6 +1464,8 @@ Optional Features:
   --enable-FEATURE[=ARG]  include FEATURE [ARG=yes]
   --enable-silent-rules   less verbose build output (undo: "make V=1")
   --disable-silent-rules  verbose build output (undo: "make V=0")
+  --disable-pma           do not build gawk with the persistent memory
+                          allocator
   --enable-dependency-tracking
                           do not reject slow dependency extractors
   --disable-dependency-tracking
@@ -3559,6 +3562,18 @@ END
 fi
 
 
+SKIP_PERSIST_MALLOC=no
+# Check whether --enable-pma was given.
+if test ${enable_pma+y}
+then :
+  enableval=$enable_pma; if test "$enableval" = no
+       then
+               SKIP_PERSIST_MALLOC=yes
+       fi
+
+fi
+
+
 
 
   # Make sure we can run config.sub.
diff --git a/extension/configure.ac b/extension/configure.ac
index 7ac7d3b2..f45565ef 100644
--- a/extension/configure.ac
+++ b/extension/configure.ac
@@ -32,6 +32,15 @@ AC_CONFIG_AUX_DIR([../build-aux])
 
 AM_INIT_AUTOMAKE([1.16 -Wall -Werror])
 
+SKIP_PERSIST_MALLOC=no
+AC_ARG_ENABLE([pma],
+       [AS_HELP_STRING([--disable-pma],[do not build gawk with the persistent 
memory allocator])],
+       if test "$enableval" = no
+       then
+               SKIP_PERSIST_MALLOC=yes
+       fi
+)
+
 GAWK_CANONICAL_HOST
 AC_USE_SYSTEM_EXTENSIONS
 AC_ZOS_USS

-----------------------------------------------------------------------

Summary of changes:
 extension/configure    | 15 +++++++++++++++
 extension/configure.ac |  9 +++++++++
 2 files changed, 24 insertions(+)


hooks/post-receive
-- 
gawk