<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p><font size="-1">I am sure quite a number of packages not
        supported in the distribution are easy to build and install into
        /usr/local/bin and such.</font></p>
    <p><font size="-1">It is not that it is easy to defeat the standard
        distribution and update procedures as that doing so puts that
        software out of sync with the standard update procedure. From
        then on the distribution update for cmake has no effect. I
        suspect there are fairly rigid rules on production computers
        against doing this.<br>
      </font></p>
    <p><font size="-1">I read an email below that said it is common that
        these kinds of out of distribution updates are required anyway.
        The only manual updates I have had to do outside the Ubuntu
        distribution packages (19.04) are for tbb and z3 which are not
        in the distribution anyway. I have had to install a number of
        additional packages from the distribution, but this is not the
        case under discussion.<br>
      </font></p>
    <p><font size="-1">For cmake then we are making a new, unique case,
        a case that I expect is against standard procedures for common
        production installations.</font></p>
    <p><font size="-1">If there are no pressing reasons for this manual
        requirement, it is on its face a bad choice to make. It is
        against how common distribution software is done and has been
        done for some time now.<br>
      </font></p>
    <p><font size="-1">Neil Nelson<br>
      </font></p>
    <div class="moz-cite-prefix"><font size="-1">On 10/29/19 8:55 PM,
        Chris Bieneman via llvm-dev wrote:<br>
      </font></div>
    <blockquote type="cite"
      cite="mid:F38063E4-05C9-46C5-8897-3B9E558128D8@me.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr"><font size="-1"><br>
        </font></div>
      <div dir="ltr"><font size="-1"><br>
        </font>
        <blockquote type="cite"><font size="-1">On Oct 29, 2019, at 6:14
            PM, Mehdi AMINI via llvm-dev <a class="moz-txt-link-rfc2396E" href="mailto:llvm-dev@lists.llvm.org"><llvm-dev@lists.llvm.org></a>
            wrote:<br>
          </font></blockquote>
      </div>
      <blockquote type="cite">
        <div dir="ltr">
          <div dir="ltr"><font size="-1"><br>
            </font>
            <div class="gmail_quote">
              <div dir="ltr" class="gmail_attr"><font size="-1">On Tue,
                  Oct 29, 2019 at 3:29 PM James Y Knight via llvm-dev
                  <<a href="mailto:llvm-dev@lists.llvm.org"
                    moz-do-not-send="true">llvm-dev@lists.llvm.org</a>>
                  wrote:<br>
                </font></div>
              <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
                <div dir="ltr"><font size="-1">CMake is extremely easy
                    for developers to download and build locally -- or
                    just download binaries for if you like, too.</font></div>
              </blockquote>
              <div><font size="-1"><br>
                </font></div>
              <div><font size="-1">Is there any script we can/would
                  provide to help with this? Or is it so simple that two
                  lines in the "getting started" instructions would be
                  enough?</font></div>
            </div>
          </div>
        </div>
      </blockquote>
      <div><font size="-1"><br>
        </font></div>
      <div><font size="-1">The instructions for building cmake are
          *very* simple: <a href="https://cmake.org/install/"
            moz-do-not-send="true">https://cmake.org/install/</a></font></div>
      <div><font size="-1"><br>
        </font></div>
      <div><font size="-1">We could easily link to that page from our
          docs.</font></div>
      <div><font size="-1"><br>
        </font></div>
      <div><font size="-1">-Chris</font></div>
      <br>
    </blockquote>
  </body>
</html>