<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>I've published a Docker image at this link (in the Release
      section): <br>
    </p>
    <p><a class="moz-txt-link-freetext" href="https://github.com/fabnicol/ubuntu4mercury">https://github.com/fabnicol/ubuntu4mercury</a></p>
    <p> I finally opted for a Ubuntu-based Docker image, for simplicity.
      <br>
    </p>
    <p>Users can rebuild the image from scratch themselves, from
      official sources (run build.sh as indicated in the README). The
      Dockerfile uses a bootstrapping compiler (from ROTD Jan. 9, 2022),
      yet rebuilds it from source for all grades, so that hypothetical
      security risks are reduced to a minimum.</p>
    <p>The Docker image also contains a version of the compiler built
      from Mercury github sources (master branch), at commit
      06f81f1cf0d339 (Jan 9, 2022), configured with
      --disable-most-grades.</p>
    <p>A development version of Emacs has been added from git sources,
      with tagging support for Mercury (using etags), alongside vim and
      nano.<br>
    </p>
    <p>It has been checked that both compilers can rebuild themselves
      from downloaded sources within the image.<br>
    </p>
    <p>Fabrice<br>
    </p>
    <div class="moz-cite-prefix"><br>
    </div>
    <blockquote type="cite"
cite="mid:CANTSrJv42kby0mVG40wrM2fzkwk353hsarX2Zhzr=HLL4RGi3A@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="auto">I've set up a Gentoo-based (amd64 branch) Docker
        image with a functional version of Mercury (current github dev
        code with a few weeks' lag) and common dev tools. I'll be
        uploading it to github in the first days of January just in case
        it should be of any use.
        <div dir="auto">Fabrice Nicol<br>
          <div dir="auto"><br>
          </div>
        </div>
      </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">Le mar. 21 déc. 2021 à 5:21
          PM, <<a href="mailto:users-request@lists.mercurylang.org"
            moz-do-not-send="true" class="moz-txt-link-freetext">users-request@lists.mercurylang.org</a>>
          a écrit :<br>
        </div>
        <blockquote class="gmail_quote" style="margin:0 0 0
          .8ex;border-left:1px #ccc solid;padding-left:1ex">Send users
          mailing list submissions to<br>
                  <a href="mailto:users@lists.mercurylang.org"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">users@lists.mercurylang.org</a><br>
          <br>
          To subscribe or unsubscribe via the World Wide Web, visit<br>
                  <a
            href="https://lists.mercurylang.org/listinfo/users"
            rel="noreferrer noreferrer" target="_blank"
            moz-do-not-send="true" class="moz-txt-link-freetext">https://lists.mercurylang.org/listinfo/users</a><br>
          or, via email, send a message with subject or body 'help' to<br>
                  <a href="mailto:users-request@lists.mercurylang.org"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">users-request@lists.mercurylang.org</a><br>
          <br>
          You can reach the person managing the list at<br>
                  <a href="mailto:users-owner@lists.mercurylang.org"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">users-owner@lists.mercurylang.org</a><br>
          <br>
          When replying, please edit your Subject line so it is more
          specific<br>
          than "Re: Contents of users digest..."<br>
          <br>
          <br>
          Today's Topics:<br>
          <br>
             1. Re: Mercury Development Docker, and Bisecting Debugger?<br>
                (Paul Bone)<br>
             2. Re: Mercury Development Docker, and Bisecting Debugger?<br>
                (Volker Wysk)<br>
             3. Re: Mercury Development Docker, and Bisecting Debugger?<br>
                (Zoltan Somogyi)<br>
             4. Re: Mercury Development Docker, and Bisecting Debugger?<br>
                (Volker Wysk)<br>
             5. Useful predicates for loops of IO actions (Volker Wysk)<br>
             6. Re: Useful predicates for loops of IO actions (Zoltan
          Somogyi)<br>
             7. Possiblt stupid list question.... (Sean Charles
          (emacstheviking))<br>
             8. Re: Useful predicates for loops of IO actions (Volker
          Wysk)<br>
          <br>
          <br>
----------------------------------------------------------------------<br>
          <br>
          Message: 1<br>
          Date: Tue, 21 Dec 2021 12:13:56 +1100<br>
          From: "Paul Bone" <<a href="mailto:paul@bone.id.au"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">paul@bone.id.au</a>><br>
          To: Prolog Rules <<a href="mailto:prologrules@gmail.com"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">prologrules@gmail.com</a>><br>
          Cc: <a href="mailto:users@lists.mercurylang.org"
            target="_blank" rel="noreferrer" moz-do-not-send="true"
            class="moz-txt-link-freetext">users@lists.mercurylang.org</a><br>
          Subject: Re: [m-users.] Mercury Development Docker, and
          Bisecting<br>
                  Debugger?<br>
          Message-ID: <20211221011356.GA16396@sulfur><br>
          Content-Type: text/plain; charset=us-ascii<br>
          <br>
          <br>
          Hi, I published a docker image here: <a
            href="https://hub.docker.com/r/paulbone/mercury"
            rel="noreferrer noreferrer" target="_blank"
            moz-do-not-send="true" class="moz-txt-link-freetext">https://hub.docker.com/r/paulbone/mercury</a><br>
          <br>
          It's built around the debian packages.  If you're using a
          Debian/Ubuntu<br>
          system just use those directly <a
            href="http://dl.mercurylang.org/deb/" rel="noreferrer
            noreferrer" target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">http://dl.mercurylang.org/deb/</a><br>
          <br>
          Pretty sure this is a slightly older version of Mercury.
          Updating it is on<br>
          my TODO list ;-)<br>
          <br>
          Good luck.<br>
          <br>
          <br>
          -- <br>
          Paul Bone<br>
          <a href="http://paul.bone.id.au" rel="noreferrer noreferrer"
            target="_blank" moz-do-not-send="true"
            class="moz-txt-link-freetext">http://paul.bone.id.au</a><br>
          <br>
          <br>
          <br>
        </blockquote>
      </div>
    </blockquote>
  </body>
</html>