From b8297affd1a7365ec0a77e2d1542e21dd7054805 Mon Sep 17 00:00:00 2001 From: David Feuer Date: Sun, 14 Mar 2021 21:36:45 -0400 Subject: [PATCH 1/3] Point out CONFIG_SITE issue in installation docs --- docs/introduction/howtoget.rst | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/docs/introduction/howtoget.rst b/docs/introduction/howtoget.rst index 2ecd3bbb3f32..726e7ef3be28 100644 --- a/docs/introduction/howtoget.rst +++ b/docs/introduction/howtoget.rst @@ -185,6 +185,13 @@ developed in the future. Docker container, you have to give extended privileges to this container, by passing option ``--privileged`` to the ``docker run`` command. +.. note:: + + Currently, the ``CONFIG_SITE`` environment variable must not be set during + the installation process, or the ``stdcompat`` package may be installed + wrong. See . + + Install OPAM ~~~~~~~~~~~~ @@ -429,6 +436,9 @@ command instead: * As a last resort, removing the ``_opam`` folder (as part of a ``git clean -dxf`` for example) allows to restart in a fresh environment. + * Currently, the ``CONFIG_SITE`` environment variable must not be set + during the installation process, or the ``stdcompat`` package may be + installed wrong. See . Compile ~~~~~~~ -- GitLab From 31027f2c24464846c52540ddf44057352dcb3261 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Fri, 9 Jul 2021 14:49:39 +0000 Subject: [PATCH 2/3] Apply 1 suggestion(s) to 1 file(s) --- docs/introduction/howtoget.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/introduction/howtoget.rst b/docs/introduction/howtoget.rst index 726e7ef3be28..52d75ad01984 100644 --- a/docs/introduction/howtoget.rst +++ b/docs/introduction/howtoget.rst @@ -189,7 +189,7 @@ developed in the future. Currently, the ``CONFIG_SITE`` environment variable must not be set during the installation process, or the ``stdcompat`` package may be installed - wrong. See . + wrong. See https://github.com/thierry-martinez/stdcompat/issues/13. Install OPAM -- GitLab From 0ce1c5e1546bf727188c3d48a98e1d796b5643a5 Mon Sep 17 00:00:00 2001 From: Arvid Jakobsson Date: Fri, 9 Jul 2021 14:52:00 +0000 Subject: [PATCH 3/3] Apply 1 suggestion(s) to 1 file(s) --- docs/introduction/howtoget.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/introduction/howtoget.rst b/docs/introduction/howtoget.rst index 52d75ad01984..09010dcf296e 100644 --- a/docs/introduction/howtoget.rst +++ b/docs/introduction/howtoget.rst @@ -438,7 +438,7 @@ command instead: * Currently, the ``CONFIG_SITE`` environment variable must not be set during the installation process, or the ``stdcompat`` package may be - installed wrong. See . + installed wrong. See https://github.com/thierry-martinez/stdcompat/issues/13. Compile ~~~~~~~ -- GitLab