1
1
openmpi/etc/Makefile.am
Brian Barrett aa4157fc60 * fix for bug #1291 - remove configuration files during make uninstall if
they are the same as the versions in the source tree

This commit was SVN r5277.
2005-04-12 20:56:29 +00:00

60 строки
2.1 KiB
Makefile

#
# Copyright (c) 2004-2005 The Trustees of Indiana University.
# All rights reserved.
# Copyright (c) 2004-2005 The Trustees of the University of Tennessee.
# All rights reserved.
# Copyright (c) 2004-2005 High Performance Computing Center Stuttgart,
# University of Stuttgart. All rights reserved.
# Copyright (c) 2004-2005 The Regents of the University of California.
# All rights reserved.
# $COPYRIGHT$
#
# Additional copyrights may follow
#
# $HEADER$
#
include $(top_srcdir)/config/Makefile.options
ompi_config_files = \
openmpi-default-hostfile \
openmpi-mca-params.conf
EXTRA_DIST = $(ompi_config_files)
sysconf_DATA =
# Steal a little trickery from a generated Makefile to only install
# lam-bhost.def if one does not already exist at the target.
install-data-local:
@ p="$(ompi_config_files)"; \
for file in $$p; do \
if test -f $(DESTDIR)$(sysconfdir)/$$file; then \
echo "******************************* WARNING ************************************"; \
echo "*** Not installing new $$file over existing file in:"; \
echo "*** $(DESTDIR)$(sysconfdir)/$$file"; \
echo "******************************* WARNING ************************************"; \
else \
if test -f "$$file"; then d=; else d="$(srcdir)/"; fi; \
f="`echo $$file | sed -e 's|^.*/||'`"; \
echo " $(INSTALL_DATA) $$d$$file $(DESTDIR)$(sysconfdir)/$$f"; \
$(INSTALL_DATA) $$d$$file $(DESTDIR)$(sysconfdir)/$$f; \
fi; \
done
# Only remove if exactly the same as what in our tree
# NOTE TO READER: Bourne shell if ... fi evaluates the body if
# the return of the evaluted command is 0 (as opposed to non-zero
# as used by everyone else)
uninstall-local:
@ p="$(ompi_config_files)"; \
for file in $$p; do \
if test -f "$(DESTDIR)$(sysconfdir)/$$file"; then \
if test -f "$$file"; then d=; else d="$(srcdir)/"; fi; \
if diff "$(DESTDIR)$(sysconfdir)/$$file" "$$d$$file" > /dev/null 2>&1 ; then \
echo "rm -f $(DESTDIR)$(sysconfdir)/$$file" ; \
rm -f "$(DESTDIR)$(sysconfdir)/$$file" ; \
fi ; \
fi ; \
done