<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>