From 428b9330643cca6ca4069afc54923690876af918 Mon Sep 17 00:00:00 2001
From: Enrico
Date: Fri, 8 Jun 2018 10:14:18 +0200
Subject: [INSTALL] document opam --root option

---
 INSTALL.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index d8106bc..2c0769a 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -31,6 +31,17 @@ opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 opam install coq-mathcomp-ssreflect.dev -j3
 ```
 
+## Compilation and installation in a dedicated OPAM root
+
+If you want to install the library in a sedicated environment
+(lets name it `MC`) which
+will remain independed from your current OPAM setup you can:
+```
+opam init --root=$PWD/MC
+eval `opam config env --root=$PWD/MC`
+```
+After that the instructions above apply.
+
 ## Compilation and installation with make
 
 The instructions assume you are in the `mathcomp` directory and that
-- 
cgit v1.2.3