[m-users.] Mercury Development Docker, and Bisecting Debugger?

[Fabrice Nicol]

I've published a Docker image at this link (in the Release section):

https://github.com/fabnicol/ubuntu4mercury

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


> 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.
> Fabrice Nicol
>
>
> Le mar. 21 déc. 2021 à 5:21 PM, <users-request at lists.mercurylang.org> 
> a écrit :
>
>     Send users mailing list submissions to
>     users at lists.mercurylang.org
>
>     To subscribe or unsubscribe via the World Wide Web, visit
>     https://lists.mercurylang.org/listinfo/users
>     or, via email, send a message with subject or body 'help' to
>     users-request at lists.mercurylang.org
>
>     You can reach the person managing the list at
>     users-owner at lists.mercurylang.org
>
>     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" <paul at bone.id.au>
>     To: Prolog Rules <prologrules at gmail.com>
>     Cc: users at lists.mercurylang.org
>     Subject: Re: [m-users.] Mercury Development Docker, and Bisecting
>             Debugger?
>     Message-ID: <20211221011356.GA16396 at sulfur>
>     Content-Type: text/plain; charset=us-ascii
>
>
>     Hi, I published a docker image here:
>     https://hub.docker.com/r/paulbone/mercury
>
>     It's built around the debian packages.  If you're using a
>     Debian/Ubuntu
>     system just use those directly http://dl.mercurylang.org/deb/
>
>     Pretty sure this is a slightly older version of Mercury. Updating
>     it is on
>     my TODO list ;-)
>
>     Good luck.
>
>
>     -- 
>     Paul Bone
>     http://paul.bone.id.au
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20220110/9a4683ab/attachment.html>