From c7cffaaa712f2bf9f7d36b5a2a1d1dc2fc570ec5 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 18 Sep 2014 11:25:26 +0200
Subject: [PATCH] Added notice about sudo -E

---
 user-doc/Installation.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 9a6c5aa99..3524a0d42 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -296,6 +296,9 @@ Then the PLUMED_PREFIX will be set equal to $HOME/opt.
 If the PLUMED_PREFIX is not set, it defaults to /usr/local.
 The install command should be executed with root permissions (e.g. "sudo make install")
 if you want to install PLUMED on a system directory.
+Notice that upon installation PLUMED currently needs to relink a library. If
+root user does not have access to compilers, "sudo -E make install" might solve
+the issue.
 An almost full copy of the compilation directory will
 be installed into $PLUMED_PREFIX/lib/plumed/ directory. A link to the proper
 PLUMED executable will be set up in $PLUMED_PREFIX/bin,
-- 
GitLab