[2854] make the default mapped_files directory by make install

diff --git a/src/bin/memmgr/Makefile.am b/src/bin/memmgr/Makefile.am
index 94a380a0eabade5b5dbc2eb4be361af05e0b2629..a1fb2097c87d3f9cbaea88bdb26017af673d38d7 100644 (file)
--- a/src/bin/memmgr/Makefile.am
+++ b/src/bin/memmgr/Makefile.am
@@ -48,5 +48,14 @@ b10-memmgr: memmgr.py $(PYTHON_LOGMSGPKG_DIR)/work/memmgr_messages.py
 
 CLEANDIRS = __pycache__
 
+# install the default directory for memory-mapped files.  Note that the
+# path must be identical to the default value in memmgr.spec.  We'll make
+# it readable only for the owner to minimize the risk of accidents.
+install-data-local:
+       $(mkinstalldirs) $(DESTDIR)@localstatedir@/@PACKAGE@/mapped_files
+
+install-data-hook:
+       -chmod 700 $(DESTDIR)@localstatedir@/@PACKAGE@/mapped_files
+
 clean-local:
        rm -rf $(CLEANDIRS)