From 9e23c5e3f6eb6ee6abc028484b176a7af366bf4c Mon Sep 17 00:00:00 2001 From: Kevin Buckley Date: Tue, 28 Mar 2017 20:43:03 -0400 Subject: [PATCH] openmpi.spec: also put the modulefile in /opt if install_in_opt==1 Thanks to Kevin Buckley for noticing the issue and supplying the patch. [skip ci] bot:notest Signed-off-by: Jeff Squyres --- contrib/dist/linux/openmpi.spec | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/contrib/dist/linux/openmpi.spec b/contrib/dist/linux/openmpi.spec index 370e5dd5fc..2a80af296b 100644 --- a/contrib/dist/linux/openmpi.spec +++ b/contrib/dist/linux/openmpi.spec @@ -163,6 +163,8 @@ # bets are off. So feel free to install it anywhere in your tree. He # suggests $prefix/doc. %define _defaultdocdir /opt/%{name}/%{version}/doc +# Also put the modulefile in /opt. +%define modulefile_path /opt/%{name}/%{version}/share/openmpi/modulefiles %endif %if !%{build_debuginfo_rpm} @@ -767,6 +769,10 @@ test "x$RPM_BUILD_ROOT" != "x" && rm -rf $RPM_BUILD_ROOT # ############################################################################# %changelog +* Tue Mar 28 2017 Jeff Squyres +- Reverting a decision from a prior changelog entry: if + install_in_opt==1, then even put the modulefile under /opt. + * Thu Nov 12 2015 Gilles Gouaillardet - Revamp packaging when prefix is /usr