<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> I have released an alternative Docker image based on Gentoo (amd64). The same companion tools have been added as in the Ubuntu-based image. Images have been pushed to Docker Hub. I hope one of these may come in handy at least for some users. Github Links: <a class="moz-txt-link-freetext" href="https://github.com/fabnicol/gentoo4mercury.git">https://github.com/fabnicol/gentoo4mercury.git</a> <a class="moz-txt-link-freetext" href="https://github.com/fabnicol/ubuntu4mercury.git">https://github.com/fabnicol/ubuntu4mercury.git</a> Docker pulls: # docker pull fabnicol/gentoo4mercury:latest # docker pull fabnicol/gentoo4mercury:latest Fabrice <blockquote type="cite" cite="mid:278aee9b-552d-d296-e77a-7fb015eaca93@gmail.com"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> I've published a Docker image at this link (in the Release section): <a class="moz-txt-link-freetext" href="https://github.com/fabnicol/ubuntu4mercury" moz-do-not-send="true">https://github.com/fabnicol/ubuntu4mercury</a> I finally opted for a Ubuntu-based Docker image, for simplicity. 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. 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. A development version of Emacs has been added from git sources, with tagging support for Mercury (using etags), alongside vim and nano. It has been checked that both compilers can rebuild themselves from downloaded sources within the image. Fabrice <div class="moz-cite-prefix"> </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 <div dir="auto"> </div> </div> </div> <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 : </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 <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> To subscribe or unsubscribe via the World Wide Web, visit <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> or, via email, send a message with subject or body 'help' to <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> You can reach the person managing the list at <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> When replying, please edit your Subject line so it is more specific than "Re: Contents of users digest..." Today's Topics: 1. Re: Mercury Development Docker, and Bisecting Debugger? (Paul Bone) 2. Re: Mercury Development Docker, and Bisecting Debugger? (Volker Wysk) 3. Re: Mercury Development Docker, and Bisecting Debugger? (Zoltan Somogyi) 4. Re: Mercury Development Docker, and Bisecting Debugger? (Volker Wysk) 5. Useful predicates for loops of IO actions (Volker Wysk) 6. Re: Useful predicates for loops of IO actions (Zoltan Somogyi) 7. Possiblt stupid list question.... (Sean Charles (emacstheviking)) 8. Re: Useful predicates for loops of IO actions (Volker Wysk) ---------------------------------------------------------------------- Message: 1 Date: Tue, 21 Dec 2021 12:13:56 +1100 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>> 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>> 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> Subject: Re: [m-users.] Mercury Development Docker, and Bisecting Debugger? Message-ID: <20211221011356.GA16396@sulfur> Content-Type: text/plain; charset=us-ascii 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> It's built around the debian packages. If you're using a Debian/Ubuntu 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> Pretty sure this is a slightly older version of Mercury. Updating it is on my TODO list ;-) Good luck. -- Paul Bone <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> </blockquote> </div> </blockquote> </blockquote> </body> </html>