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

[Fabrice Nicol]

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:

https://github.com/fabnicol/gentoo4mercury.git

https://github.com/fabnicol/ubuntu4mercury.git


Docker pulls:

# docker pull fabnicol/gentoo4mercury:latest

# docker pull fabnicol/gentoo4mercury:latest


Fabrice

> 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/20220116/f891daf8/attachment.html>